scientific article; zbMATH DE number 1759628

zbMATH Open0999.68150MaRDI QIDQ4536619FDOQ4536619

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)

• 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

(11)

• Title not available (Why is no real title available?)
• Concurrency for Graph Grammars in a Petri net shell
• Efficiency of asynchronous systems and read arcs in petri nets
• GETGRATS: a summary of scientific results (with annotated bibliography)
• 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
• Transforming dynamic condition response graphs to safe Petri nets
• Pre-nets, read ARCS and unfolding: A functorial presentation.
• Reconfigurable Petri nets with transition priorities and inhibitor arcs
• Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS

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)