Structure theory of equal conflict systems

DOI10.1016/0304-3975(95)00124-7zbMath0872.68132OpenAlexW2060514783MaRDI QIDQ672877

Enrique Teruel, Manuel Silva

Publication date: 28 February 1997

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(95)00124-7

zbMATH Keywords

equal conflict net systemsplace/transition net systems

Mathematics Subject Classification ID

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

Related Items (15)

On liveness and boundedness of asymmetric choice nets ⋮ Basic server semantics and performance monotonicity of continuous Petri nets ⋮ Individuals, populations and fluid approximations: a Petri net based perspective ⋮ Petri nets for the design and operation of manufacturing systems ⋮ On the Reversibility of Live Equal-Conflict Petri Nets ⋮ A New Property of Choice-Free Petri Net Systems ⋮ Characterizing Liveness Monotonicity for Weighted Petri Nets in Terms of Siphon-Based Properties ⋮ {SC}*ECS: A class of modular and hierarchical cooperating systems ⋮ On the Reversibility of Well-Behaved Weighted Choice-Free Systems ⋮ On the fluidization of Petri nets and marking homothecy ⋮ Structure theory of multi-level deterministically synchronized sequential processes ⋮ Steady-state performance evaluation of continuous mono-T-semiflow Petri nets ⋮ Extensible structural analysis of Petri net product lines ⋮ Efficient synthesis of weighted marked graphs with circular reachability graph, and beyond ⋮ On fluidization of discrete event models: Observation and control of continuous Petri nets

Cites Work

• Reachability in cyclic extended free-choice systems
• A theory of bipolar synchronization scheme
• Net theory and applications. Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979. Ed. by Wilfried Brauer
• Deterministic buffer synchronization of sequential processes
• A polynomial-time algorithm to decide liveness of bounded free choice nets
• Traps characterize home states in free choice systems
• A note on transition systems
• Complexity of some problems in Petri nets
• A fresh look at free choice nets
• The Orderly Resolution of Memory Access Conflicts Among Competing Channel Processes
• Properties and performance bounds for closed free choice synchronized monoclass queueing networks
• Application and theory of Petri nets 1992. 13th international conference, Sheffield, UK, June 22--26, 1992. Proceedings
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Structure theory of equal conflict systems