Synthesis problem for Petri nets with localities

DOI10.1007/978-3-642-29072-5_7MaRDI QIDQ2889615zbMATH OpenOpenAlexFDO

Authors Maciej Koutny, Marta Pietkiewicz-Koutny

Publication date 8 June 2012

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://eprint.ncl.ac.uk/fulltext.aspx?url=182919/735EFC7B-5BFC-4C81-96B8-9C92FE9D22D3.pdf&pub_id=182919

zbMATH Keywords

synthesisconflictlocalityPetri netanalysistheory of regionstransition systemtheory of concurrencynet-typestep-firing policystep-sequence semantics

Mathematics Subject Classification ID

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

Recommendations

• Synthesis of Petri nets with localities
• Transition Systems of Elementary Net Systems with Localities
• Synthesis of Petri nets with whole-place operations and localities
• Localities in systems with a/sync communication
• Adding a/sync places to the synthesis procedure for whole-place operations nets with localities

Cited in

(11)

• Synthesis of Petri nets with whole-place operations and localities
• The synthesis problem of Petri nets
• Synthesis of Petri nets with localities
• Localities in systems with a/sync communication
• scientific article; zbMATH DE number 3902049 (Why is no real title available?)
• Signal set tissue systems and overlapping localities
• Adding a/sync places to the synthesis procedure for whole-place operations nets with localities
• Tissue Systems and Petri Net Synthesis
• Catalytic and communicating Petri nets are Turing complete
• 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.
• Transition Systems of Elementary Net Systems with Localities

This page was built for publication: Synthesis problem for Petri nets with localities

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