Comparative trace semantics of time Petri nets

DOI10.1134/S0361768815030020MaRDI QIDQ300337zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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; zbMATH DE number 4143457
• 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

Cites work

• scientific article; zbMATH DE number 5506906 (Why is no real title available?)
• scientific article; zbMATH DE number 1302042 (Why is no real title available?)
• Abstract processes of place/transition systems
• An event structure semantics for general 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
• Formal Methods for the Design of Real-Time Systems
• Formal Modeling and Analysis of Timed Systems
• On causal semantics of Petri nets (extended abstract)
• Petri nets, event structures and domains. I
• Refinement of actions and equivalence notions for concurrent systems
• The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
• The non-sequential behaviour of Petri nets
• Time processes for time Petri nets
• Timed processes of timed Petri nets

Cited in

(9)

• scientific article; zbMATH DE number 5506896 (Why is no real title available?)
• Comparing Semantics Under Strong Timing of Petri Nets
• `True concurrency' semantics for time Petri nets with weak time and persistent atomic policies
• Formal Modeling and Analysis of Timed Systems
• True concurrent equivalences in time Petri nets
• scientific article; zbMATH DE number 1534580 (Why is no real title available?)
• A trace semantics for Petri Nets
• Symbolic timed trace equivalence
• Testing equivalences of time Petri nets

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)