scientific article; zbMATH DE number 1836398

zbMATH Open1009.68091MaRDI QIDQ4782080FDOQ4782080

Authors: Anders Hellgren, Bengt Lennartson, M. Fabian 

Publication date: 6 April 2003

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

compositionPetri netsprioritised synchronous

Mathematics Subject Classification ID

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

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)