Processes of Petri nets with range testing

MaRDI QIDQ5431919zbMATH OpenFDO

Authors Maciej Koutny, Jetty Kleijn

Publication date 2 January 2008

zbMATH Keywords

Petri netsinfinite processesoccurrence netstheory of concurrencycausality semanticsstep sequencesrange arcsweighted activator and inhibitor arcs

Mathematics Subject Classification ID

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

Recommendations

• Causality in extensions of Petri nets
• scientific article; zbMATH DE number 1927584
• Process semantics of general inhibitor nets
• Infinite Process Semantics of Inhibitor Nets
• On interval process semantics of Petri nets with inhibitor arcs

Cited in

(2)

• Causality in extensions of Petri nets
• A Petri net model for membrane systems with dynamic structure

This page was built for publication: Processes of Petri nets with range testing

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