Petri nets for modeling of dynamic systems -- a survey

DOI10.1016/0005-1098(94)90024-8zbMath0800.93022OpenAlexW1519324376MaRDI QIDQ1317176

René David, Hassane Alla

Publication date: 13 March 1994

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0005-1098(94)90024-8

Mathematics Subject Classification ID

General systems (93A10)

Related Items

Individuals, populations and fluid approximations: a Petri net based perspective ⋮ Intelligent transportation systems -- Enabling technologies ⋮ Petri nets for the design and operation of manufacturing systems ⋮ Reconfigurable timed graphs for the design of optimal scheduling in uncertain environments based on transition-timed Petri net ⋮ Robust path tracking control of mobile robot via dynamic Petri recurrent fuzzy neural network ⋮ Introducing probabilities in statecharts to specify reactive systems for performance analysis ⋮ Logical models of discrete even systems: a comparative exposition ⋮ A survey of siphons in Petri nets ⋮ A contribution to the validation of grafcet controlled systems ⋮ Piecewise deterministic Markov processes represented by dynamically coloured Petri nets ⋮ Petri net models of flexible and automated manufacturing systems: a survey

Cites Work

• Coloured Petri nets and the invariant-method
• Analysis of Petri nets by stepwise refinements
• Asymptotic continuous Petri nets
• Parallel program schemata
• Synthesis of feedback control logic for a class of controlled Petri nets
• Performance evaluation of job-shop systems using timed event-graphs
• Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item