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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (9)

• Title not available (Why is that?)
• Concurrency for Graph Grammars in a Petri net shell
• Efficiency of asynchronous systems and read arcs in petri nets
• Domain and event structure semantics for Petri nets with read and inhibitor arcs
• Symbolic unfolding of parametric stopwatch Petri nets
• GETGRATS
• Transforming dynamic condition response graphs to safe Petri nets
• Pre-nets, read ARCS and unfolding: A functorial presentation.
• 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)