Problem of analysis, modelling and design of complex systems with parallelism and hierarchical structure. Net methods to solve the problem. Definition and classification of Petri nets.
Informal introduction into modelling by Petri nets I: C/E Petri nets, P/T Petri nets. Petri nets with inhibitors.
Informal introduction into modelling by Petri nets II: high-level Petri nets, coloured Petri nets, hierarchical Petri nets.
Structures, systems and parametrized systems of Petri nets. Statics and dynamics of Petri nets. Markings, and the reachability set of a PN-system. Reachability graph.
Petri nets properties: boundedness, liveness, deadlock-freeness, reversibility, conservativeness. The reachability problem. State analysis of Petri nets.
Structure analysis of Petri nets. The fundamental equation. P-invariants, T-invariants, net components. Dual nets.
Special types of Petri nets: automata nets, synchronization nets, free-choice nets.
Synthesis of safe, live and reversible Petri nets. Hiearachization via substitution of places and transitions.
Petri net languages, their relation to Chomsky hierarchy.
High Level Petri Nets (HLPN).
Coloured Petri Nets (CPN), the most used version of HLPN.
CPN nonhierarchical; structure and dynamics.
CPN hierarchical. Substitution and invocation of places and
transitions. Fusing of places and transitions.
Informal introduction into modelling by Petri nets I: C/E Petri nets, P/T Petri nets. Petri nets with inhibitors.
Informal introduction into modelling by Petri nets II: high-level Petri nets, coloured Petri nets, hierarchical Petri nets.
Structures, systems and parametrized systems of Petri nets. Statics and dynamics of Petri nets. Markings, and the reachability set of a PN-system. Reachability graph.
Petri nets properties: boundedness, liveness, deadlock-freeness, reversibility, conservativeness. The reachability problem. State analysis of Petri nets.
Structure analysis of Petri nets. The fundamental equation. P-invariants, T-invariants, net components. Dual nets.
Special types of Petri nets: automata nets, synchronization nets, free-choice nets.
Synthesis of safe, live and reversible Petri nets. Hiearachization via substitution of places and transitions.
Petri net languages, their relation to Chomsky hierarchy.
High Level Petri Nets (HLPN).
Coloured Petri Nets (CPN), the most used version of HLPN.
CPN nonhierarchical; structure and dynamics.
CPN hierarchical. Substitution and invocation of places and
transitions. Fusing of places and transitions.