scientific article; zbMATH DE number 1759628

zbMATH Open0999.68150MaRDI QIDQ4536619FDOQ4536619

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

Publication date: 25 June 2002

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

Mathematics Subject Classification ID

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

Cited In (8)

• 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
• Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS

   Recommendations

• Domain and event structure semantics for Petri nets with read and inhibitor arcs 👍 👎
• Title not available (Why is that?) 👍 👎
• Interval semantics for Petri nets with inhibitor arcs 👍 👎
• On Interval Process Semantics of Petri Nets with Inhibitor Arcs 👍 👎
• Process semantics of general inhibitor 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)