scientific article; zbMATH DE number 3902049

zbMATH Open0565.68056MaRDI QIDQ3680288FDOQ3680288

Authors: Hans-Dieter Burkhard 

Publication date: 1984

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

Recommendations

• Concurrency, Synchronization, and Conflicts in Petri Nets
• Modeling Petri Nets by Local Action Systems1 1Partially supported by the EC TMR Network GETGRATS (General Theory of Graph Transformation Systems) and Esprit Working Group APPLIGRAPH through Universitaire Instelling Antwerpen.
• Synthesis problem for Petri nets with localities
• Decentralised control of continuous Petri nets
• Synthesis of Petri nets with localities
• Petri nets, traces, and local model checking
• Petri nets, traces, and local model checking
• scientific article; zbMATH DE number 3978396
• scientific article; zbMATH DE number 512938

zbMATH Keywords

distributed controlconcurrency

Mathematics Subject Classification ID

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

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