A causal semantic for time Petri nets

DOI10.1016/S0304-3975(99)00114-0zbMath0951.68095OpenAlexW2144938038WikidataQ128100515 ScholiaQ128100515MaRDI QIDQ1575828

Tuomas Aura, Johan Lilius

Publication date: 22 August 2000

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

Full work available at URL: https://doi.org/10.1016/s0304-3975(99)00114-0

zbMATH Keywords

time Petri nets

Mathematics Subject Classification ID

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

Related Items

Semantic domains of timed event structures ⋮ Formal verification of real-time systems with preemptive scheduling ⋮ Branching Processes of Timed Petri Nets ⋮ `True concurrency' semantics for time Petri nets with weak time and persistent atomic policies ⋮ ``Truly concurrent and nondeterministic semantics of discrete-time Petri nets ⋮ Testing equivalences of time Petri nets ⋮ A timed semantics of Orc ⋮ When are timed automata weakly timed bisimilar to time Petri nets? ⋮ Symbolic unfolding of parametric stopwatch Petri nets ⋮ Unifying behavioral equivalences of timed transition systems ⋮ Combining free choice and time in Petri nets ⋮ Realizability of Schedules by Stochastic Time Petri Nets with Blocking Semantics ⋮ A causal semantic for time Petri nets

Cites Work

• Sequential and concurrent behaviour in Petri net theory
• Branching processes of Petri nets
• Model checking using net unfoldings
• A causal semantic for time Petri nets
• Recoverability of Communication Protocols--Implications of a Theoretical Study
• Timed processes of Timed Petri Nets
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A causal semantic for time Petri nets