scientific article; zbMATH DE number 1500562

MaRDI QIDQ4501583zbMATH OpenFDO

Authors Hanna Klaudel, Franck Pommereau

Publication date 6 May 2001

zbMATH Keywords

Petri box calculusM-nets

Mathematics Subject Classification ID

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

Recommendations

• Synchronous and asynchronous communications in composable parametrized high-level Petri nets
• scientific article; zbMATH DE number 2064221
• Tutorial and Survey Articles: An introduction to Petri Nets
• M-nets: An algebra of high-level Petri-nets, with an application to the semantics of concurrent programming languages

Cited in

(8)

• Petri nets with causal time for system verification
• M-nets: a survey
• The asynchronous committee meeting problem
• Asynchronous communication of Petri nets and the refinement of transitions
• Synchronous and asynchronous communications in composable parametrized high-level Petri nets
• Symmetric and asymmetric asynchronous interaction
• Specification of asynchronous component systems with modal I/O-Petri nets
• scientific article; zbMATH DE number 2064221 (Why is no real title available?)

Describes a project that uses

Uses Software

• M-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 Q4501583)