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.

Extensions of Elementary Cause-Effect Structures

2021 ◽  
Vol 179 (2) ◽  
pp. 93-111
Author(s):  
Ludwik Czaja
Keyword(s):  
Characteristic Feature ◽  
Petri Nets ◽  
Algebraic System ◽  
Formal System ◽  
Parallel Execution

Cause-effect structures are objects of a formal system devised for modeling, testing and verifying properties of tasks, where parallel execution of actions is the most characteristic feature. This is an algebraic system called a quasi-semiring. In this paper elementary cause-effect structures, a system behaviourally equivalent to 1-safe Petri nets, are extended by the following features: weighted edges, multi-valued nodes having capacities (counterpart of place/transition Petri nets), inhibitors and a model of time. The extensions are accomplished by modifying the notion of state and semantics, but leaving unchanged structure of the quasi-semiring expressions.

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

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 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 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