scientific article; zbMATH DE number 4001493

MaRDI QIDQ4727439zbMATH OpenFDO

Authors Jacques Vautherin, G. Memmi

Publication date 1985

zbMATH Keywords

flowsPredicate/Transition Nets

Mathematics Subject Classification ID

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

Recommendations

• Publication:5748895
• scientific article; zbMATH DE number 4035160
• Unifying Petri Net Semantics with Token Flows
• A compositional dataflow semantics for Petri nets
• scientific article; zbMATH DE number 1231615
• P-Semiflow Computation with Decision Diagrams
• Representing CCS programs by finite predicate-transition nets

Cited in

(5)

• Computing with multiple discrete flows
• Stochastic Petri net based modeling of emergency medical rescue processes during earthquakes
• A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets
• scientific article; zbMATH DE number 4053029 (Why is no real title available?)
• Petri nets and algebraic specifications

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