scientific article; zbMATH DE number 1361124

zbMATH Open0940.68089MaRDI QIDQ4270058

Author name not available (Why is that?)

Publication date: 10 November 1999

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

zbMATH Keywords

high-level Petri nets

Mathematics Subject Classification ID

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

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• General composition for high level Petri nets and its properties 👍 👎
• Compositional analysis of Petri nets 👍 👎
• Generalizing the compositions of Petri nets modules 👍 👎
• Compositional Reachability in Petri Nets 👍 👎
• Composition/décomposition de réseaux de Pétri et de leurs graphes de couverture 👍 👎
• Asynchronous composition of high level Petri Nets: A quantitative approach 👍 👎
• A class of composable high level Petri nets 👍 👎
• High undecidability of weak bisimilarity for Petri 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 Q4270058)