Comparative trace semantics of time Petri nets

DOI10.1134/S0361768815030020zbMath1339.68183OpenAlexW872977860MaRDI QIDQ300337

D. I. Bushin, I. B. Virbitskaite

Publication date: 27 June 2016

Published in: Programming and Computer Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s0361768815030020

Mathematics Subject Classification ID

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

Related Items (2)

`True concurrency' semantics for time Petri nets with weak time and persistent atomic policies ⋮ Testing equivalences of time Petri nets

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• An event structure semantics for general Petri nets
• Petri nets, event structures and domains. I
• Branching processes of Petri nets
• Contextual Petri nets, asymmetric event structures, and processes
• Domain and event structure semantics for Petri nets with read and inhibitor arcs
• Abstract processes of place/transition systems
• On Causal Semantics of Petri Nets
• The non-sequential behaviour of Petri nets
• Timed processes of Timed Petri Nets
• Formal Methods for the Design of Real-Time Systems
• Formal Modeling and Analysis of Timed Systems
• Refinement of actions and equivalence notions for concurrent systems

This page was built for publication: Comparative trace semantics of time Petri nets