scientific article; zbMATH DE number 1759628

MaRDI QIDQ4536619zbMATH OpenFDO

Authors Paolo Baldan, Nadia Busi, Andrea Corradini, G. Michele Pinna

Publication date 25 June 2002

Mathematics Subject Classification ID

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

Recommendations

• Domain and event structure semantics for Petri nets with read and inhibitor arcs
• scientific article; zbMATH DE number 1435983
• Interval semantics for Petri nets with inhibitor arcs
• On interval process semantics of Petri nets with inhibitor arcs
• Process semantics of general inhibitor nets

Cited in

(13)

• Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS
• Interval semantics for Petri nets with inhibitor arcs
• Domain and event structure semantics for Petri nets with read and inhibitor arcs
• Symbolic unfolding of parametric stopwatch Petri nets
• Reconfigurable Petri nets with transition priorities and inhibitor arcs
• Efficiency of asynchronous systems and read arcs in petri nets
• scientific article; zbMATH DE number 1361506 (Why is no real title available?)
• GETGRATS: a summary of scientific results (with annotated bibliography)
• Concurrency for Graph Grammars in a Petri net shell
• scientific article; zbMATH DE number 1435983 (Why is no real title available?)
• scientific article; zbMATH DE number 7215282 (Why is no real title available?)
• Pre-nets, read ARCS and unfolding: A functorial presentation.
• Transforming dynamic condition response graphs to safe Petri nets

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