scientific article; zbMATH DE number 1836398

MaRDI QIDQ4782080zbMATH OpenFDO

Authors Anders Hellgren, Bengt Lennartson, M. Fabian

Publication date 6 April 2003

zbMATH Keywords

compositionPetri netsprioritised synchronous

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Supervisory Control of Petri Nets with Language Specifications
• Supervisory control of concurrent systems. A Petri net structural approach.
• Synthesis of nets with inhibitor arcs
• The ins and outs of Petri net composition
• Synthesis of inhibitor-reset Petri nets: algorithmic and complexity issues

Cited in

(2)

• Prioritized Composition With Exclusion and Generation for the Interaction and Control of Discrete Event Systems
• Masked prioritized synchronization for interaction and control of discrete event systems

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