Comparative trace semantics of time Petri nets

DOI10.1134/S0361768815030020zbMATH Open1339.68183OpenAlexW872977860MaRDI QIDQ300337FDOQ300337

Authors: 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

Recommendations

• Automated Technology for Verification and Analysis
• Comparing Semantics Under Strong Timing of Petri Nets
• A trace semantics for Petri nets
• Formal Modeling and Analysis of Timed Systems
• A trace semantics for Petri Nets
• scientific article
• A partial trace semantics for Petri nets
• Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
• On the composition of time Petri nets
• The expressive power of time Petri nets

Mathematics Subject Classification ID

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

Cites Work

• Petri nets, event structures and domains. I
• The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
• Refinement of actions and equivalence notions for concurrent systems
• The non-sequential behaviour of Petri nets
• 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 (extended abstract)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Timed processes of timed Petri nets
• Formal Methods for the Design of Real-Time Systems
• Formal Modeling and Analysis of Timed Systems
• Time processes for time Petri nets
• An event structure semantics for general Petri nets

Cited In (9)

• Comparing Semantics Under Strong Timing of Petri Nets
• Testing equivalences of time Petri nets
• True concurrent equivalences in time Petri nets
• A trace semantics for Petri Nets
• Symbolic timed trace equivalence
• Formal Modeling and Analysis of Timed Systems
• Title not available (Why is that?)
• `True concurrency' semantics for time Petri nets with weak time and persistent atomic policies
• Title not available (Why is that?)

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

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