scientific article; zbMATH DE number 3974310

MaRDI QIDQ3740249zbMATH OpenFDO

Authors Eike Best, Agathe Merceron

Publication date 1985

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)

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

Cited in

(3)

• A unified approach for deciding the existence of certain petri net paths
• The meaning of frozen tokens in live nets
• scientific article; zbMATH DE number 4028915 (Why is no real title available?)

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)