scholarly journals A Survey of Control Structures for Reconfigurable Petri Nets

2015 ◽  
Vol 03 (02) ◽  
pp. 20-28 ◽  
Author(s):  
Julia Padberg ◽  
Kathrin Hoffmann
Keyword(s):  
Petri Nets ◽  
Control Structures

scholarly journals Modelling of secondary cooling system with a distributed architecture, using Coloured Petri nets

2019 ◽  
Author(s):  
Carlos Alberto Rojas Gallardo ◽  
Ruth Edmy Cano Buitrón ◽  
José Isidro García Melo
Keyword(s):  
Petri Nets ◽  
Mechanical Engineering ◽  
Structural Model ◽  
Cooling System ◽  
Coloured Petri Nets ◽  
Secondary Cooling ◽  
Cooling Systems ◽  
Control Structures ◽  
Distributed Structure

Currently, cooling systems adjust their control structures with the objective of satisfying the demands of different applications. In consequence, the centralized structure frequently used in this type of applications has evolved towards a distributed structure to increase the quality of response to the current demands of the market. However, a correct specification of this type of structure demands several challenges to be overcome, such as the management of specialized resources, integration methods, coordination of independent subsystems, clarity of information, and increased dynamics of systems. This study addressed the modelling of the secondary cooling system that is located in the refrigeration laboratory of the School of Mechanical Engineering at the Universidad del Valle in Cali, Colombia. A distributed structure was considered by the integration of several modelling tools, such as Coloured Petri nets. Using the structural model and successive refinements, the system behaviour representation was obtained.

Synthesis of Deadlock-Free Control Structures using Petri-Nets

1991 ◽  
Vol 24 (8) ◽  
pp. 445-450
Author(s):  
W. Seiche ◽  
D. Abel ◽  
H. Rake
Keyword(s):  
Petri Nets ◽  
Control Structures

On Partial Languages

1981 ◽  
Vol 4 (2) ◽  
pp. 427-498
Author(s):  
Jan Grabowski
Keyword(s):  
Petri Nets ◽  
Parallel Execution ◽  
Control Structures

The paper studies the behavior of control structures of algorithms designed for (partly) parallel execution. A generalization of Peterson’s computation sequence set, the partial language, is discussed, which reflects the concurrency of events. In particular, the families of partial languages definable by Petri nets and by safe Petri nets are investigated with respect to closedness under certain operations. Trace languages (Mazurkiewicz) and path expressions (Campbell and Habermann) are included in the considerations.

Application of Colored Petri Nets for Verification of Scenario Control Structures in UCM Notation

2017 ◽  
Vol 51 (7) ◽  
pp. 489-497
Author(s):  
N. V. Vizovitin ◽  
V. A. Nepomniaschy ◽  
A. A. Stenenko
Keyword(s):  
Petri Nets ◽  
Colored Petri Nets ◽  
Control Structures

scholarly journals VERIFICATION OF UCM MODELS WITH SCENARIO CONTROL STRUCTURES USING COLOURED PETRI NETS

2016 ◽  
Author(s):  
Nikolay Vizovitin ◽  
◽  
Valery Nepomniaschy ◽  
Alexander Stenenko ◽  
◽  
...  
Keyword(s):  
Petri Nets ◽  
Coloured Petri Nets ◽  
Control Structures
Sign in / Sign up

Export Citation Format

Share Document