scientific article; zbMATH DE number 3974310

zbMATH Open0603.68061MaRDI QIDQ3740249FDOQ3740249

Authors: Eike Best, Agathe Merceron 

Publication date: 1985

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

Recommendations

• scientific article; zbMATH DE number 4028915
• scientific article; zbMATH DE number 4047138
• scientific article; zbMATH DE number 4085041
• scientific article; zbMATH DE number 1884420
• Towards a unified framework for decomposability of processes
• Free-Choice Petri Nets without Frozen Tokens, and Bipolar Synchronization Systems
• A theory for the semantics of stochastic and non-deterministic continuous systems
• On “Axiomatising Finite Concurrent Processes”
• scientific article; zbMATH DE number 17794
• Dynamic consistency in process algebra: from paradigm to ACP

zbMATH Keywords

concurrencyPetri netsoccurrence netsnon-sequential processesmarked netsD-continuous processes

Mathematics Subject Classification ID

Partial orders, general (06A06) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)

Cited In (3)

• The meaning of frozen tokens in live nets
• A unified approach for deciding the existence of certain petri net paths
• Title not available (Why is that?)

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