Petri nets with localities and testing

DOI10.1007/978-3-642-13675-7_3MaRDI QIDQ3569859zbMATH OpenOpenAlexFDO

Authors Maciej Koutny, Jetty Kleijn

Publication date 22 June 2010

Published in Applications and Theory of Petri Nets (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-13675-7_3

zbMATH Keywords

testingcausalityboundednessPetri netsGALS systemsprocesseslocalitiesmembrane systemsplace/transition netscoverability treebarb-eventsrange arcs

Mathematics Subject Classification ID

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

Recommendations

• Membrane Computing
• Process semantics for membrane systems
• Petri nets for biologically motivated computing
• Local time membrane systems and time Petri nets
• Localities in systems with a/sync communication

Cited in

(6)

• Verification of membrane systems with delays via Petri nets with delays
• Localities in systems with a/sync communication
• 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
• Petri nets for biologically motivated computing
• Tissue Systems and Petri Net Synthesis

This page was built for publication: Petri nets with localities and testing

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