scientific article; zbMATH DE number 1836392

MaRDI QIDQ4782071zbMATHFDO

Authors A. Lüder, Hans-Michael Hanisch

Publication date 27 November 2002

zbMATH Keywords

discrete event systemssafe Petri net

Mathematics Subject Classification ID

Production models (90B30) Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Partial order behaviour and structure of Petri nets
• A compositional partial order semantics for Petri net components
• Executions: A new partial-order semantics of Petri nets
• Synthesis of Petri nets from finite partial languages
• Modular construction and partial order semantics of Petri nets
• Petri Net Synthesis for Restricted Classes of Nets
• Publication:4934360
• scientific article; zbMATH DE number 4074503
• The synthesis of Petri nets from path-automatic specifications
• Partial-order process algebra (and its relation to Petri nets)

Cited in

(2)

• Modeling and synthesis for supervisory control on Petri nets for distributed objects. II. A supervisor synthesis method for a set of general form sequences
• Applications and Theory of Petri Nets 2004

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4782071)