scientific article; zbMATH DE number 1500562

zbMATH Open0959.68090MaRDI QIDQ4501583FDOQ4501583

Authors: Hanna Klaudel, Franck Pommereau 

Publication date: 6 May 2001

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

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

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)

Cited In (4)

• M-nets: a survey
• Synchronous and asynchronous communications in composable parametrized high-level Petri nets
• Title not available (Why is that?)
• Petri nets with causal time for system verification

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)