Colored Petri Net model with automatic parallelization on real-time multicore architectures

Wang, Chao; Feng, Xiaojing; Li, Xi; Zhou, Xuehai; Chen, Peng

doi:10.1016/j.sysarc.2013.08.016

Cited by 16 publications

(3 citation statements)

References 22 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The formal definition of a single module (MCTPN) is shown in Formula (4), and the connector between modules is in Formula (5). A detailed description of the function of each component will be discussed when the colored Petri net algorithm is described in detail in Section 3 [16,17].…”

Section: Concept Of Modular Colored Token Petri Net (Mctpn)mentioning

confidence: 99%

“…This paper uses an extended Petri net-a colored Petri net-to develop a city model for the dynamic simulation of vehicle traffic. Colored Petri net (CPN) distinguishes tokens using colors, where color is an identifier with a specific name [4,5]. This identifier can be the same for multiple tokens (e.g., "blue") or individuals as a registration number (each token has a different "color" as an identifier, e.g., 001, 002, 003, and so on) [6,7].…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Simulation in the GPenSIM Environment of the Movement of Vehicles in the City Based on Their License Plate Numbers

Kossowski,

Samolej,

Davidrajuh

2024

Electronics

View full text Add to dashboard Cite

This paper uses colored Petri nets (PN) to develop a model of vehicle movement in a city. The modeler defines the number and location of crossroads, the connections between them, and how many vehicles are at the given points of the network. The vehicles are recognized by their license plate numbers, and it is possible to determine where they start their journey and where they are going. The algorithm proposed in this paper suggests the shortest vehicle route based on Dijkstra’s algorithm. This study focuses on improving route planning by considering road usage, which is determined by the starting and ending locations of vehicles (as if traffic cameras were identifying license plates). This approach will lead to optimal control of traffic lights (or vehicle navigation) to minimize traffic jams and make good use of all roads. Additionally, this paper shares the results of preliminary simulations using both colored and uncolored Petri nets in the GPenSIM environment.

show abstract

Section: Concept Of Modular Colored Token Petri Net (Mctpn)mentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Simulation in the GPenSIM Environment of the Movement of Vehicles in the City Based on Their License Plate Numbers

Kossowski,

Samolej,

Davidrajuh

2024

Electronics

View full text Add to dashboard Cite

show abstract

“…Tavares et al [7] proposed a methodology for embedded hard real-time software synthesis with multiple operational modes based on a multiprocessor. Wang et al [8] proposed a dynamic scheduling scheme which aims at scheduling real-time tasks on multiprocessor system-on-chip platforms. Davis and Burns [9] introduced a survey of hard real-time scheduling for multiprocessor systems.…”

Section: Introductionmentioning

confidence: 99%

Architecture Modelling and Task Scheduling of an Integrated Parallel CNC System in Docker Containers Based on Colored Petri Nets

et al. 2019

View full text Add to dashboard Cite

With the diversification of product types and the development of complex CNC system functions, reconfigurable, and extensible CNC system must be developed to meet the needs of industrial production in the new era. To optimize the original architecture between the CNC system and the machine tool, and to improve the integration level of the industrial control system, an integrated parallel CNC system which could control multiple CNC machine tools based on high performance multi-core processor is proposed in this paper. Based on the virtualize container technology, the functional modules of the CNC system, such as the interpreter module and interpolation module, operate separately on each Docker containers. The system scheduling module uniformly schedules above functional modules and caches the data generated by each module to maximize the processing efficiency and resource utilization. For the modeling of system architecture, the colored Petri nets are used to establish the models of CNC system and task scheduling. Two strategies of task scheduling which based on task dependencies and data flow are presented to determine the priority of system function threads. According to the developed test platform, the real time of the virtual system environment, real-time system environment, and the communication module of integrated CNC are analyzed. Furthermore, test results show that the proposed integrated parallel CNC system has the ability of centralized control of two machine tools synchronously. INDEX TERMS Integrated parallel CNC system, docker containers, colored Petri nets, architecture modelling, task scheduling.

show abstract

Research on Petri Net System Parallel Subnet Partitioning Completeness Theory and Algorithm

Lǚ

2019

Wuhan Univ. J. Nat. Sci.

View full text Add to dashboard Cite

Colored Petri Net model with automatic parallelization on real-time multicore architectures

Cited by 16 publications

References 22 publications

Simulation in the GPenSIM Environment of the Movement of Vehicles in the City Based on Their License Plate Numbers

Simulation in the GPenSIM Environment of the Movement of Vehicles in the City Based on Their License Plate Numbers

Architecture Modelling and Task Scheduling of an Integrated Parallel CNC System in Docker Containers Based on Colored Petri Nets

Research on Petri Net System Parallel Subnet Partitioning Completeness Theory and Algorithm

Contact Info

Product

Resources

About