\SC\^: a class of modular and hierarchical cooperating systems

DOI10.1007/3-540-61363-3_24MaRDI QIDQ4633176zbMATH OpenOpenAlexFDO

Authors L. Recalde, E. Teruel, Manuel Silva

Publication date 2 May 2019

Published in Application and Theory of Petri Nets 1996 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61363-3_24

zbMATH Keywords

incidence matrixinduction hypothesispolynomial timesequential processstrong connectedness

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1820089
• Modular Analysis of Petri Nets
• Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
• scientific article; zbMATH DE number 4035157
• PETRI NETS AND STEP TRANSITION SYSTEMS

Cites work

• A fresh look at free choice nets
• Deterministic buffer synchronization of sequential processes
• scientific article; zbMATH DE number 4035161 (Why is no real title available?)
• scientific article; zbMATH DE number 4085041 (Why is no real title available?)
• Properties and performance bounds for closed free choice synchronized monoclass queueing networks
• Structure theory of equal conflict systems

Cited in

(2)

• On the Reversibility of Live Equal-Conflict Petri Nets
• Structure theory of multi-level deterministically synchronized sequential processes

This page was built for publication: \(\{\mathrm{SC}\}^\ast\mathrm{ECS}\): a class of modular and hierarchical cooperating systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4633176)