Synthesis problem for Petri nets with localities

DOI10.1007/978-3-642-29072-5_7zbMATH Open1350.68203OpenAlexW198354393MaRDI QIDQ2889615FDOQ2889615

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

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

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)

Cited In (8)

• The synthesis problem of 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.
• Catalytic and communicating Petri nets are Turing complete
• Transition Systems of Elementary Net Systems with Localities
• Title not available (Why is that?)
• Signal set tissue systems and overlapping localities
• Synthesis of Petri Nets with Whole-Place Operations and Localities
• Tissue Systems and Petri Net Synthesis

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)