Covering steps graphs of time Petri nets

DOI10.1016/J.ENTCS.2009.05.037MaRDI QIDQ5179058zbMATH OpenOpenAlexFDO

Authors H. Boucheneb, Kamel Barkaoui

Publication date 19 March 2015

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.1016/j.entcs.2009.05.037

zbMATH Keywords

covering steps graphstate class graph methodtimed Petri nets

Mathematics Subject Classification ID

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

Recommendations

• Composition/décomposition de réseaux de Pétri et de leurs graphes de couverture
• Covering step graph
• scientific article; zbMATH DE number 4209631
• Step coverability algorithms for communicating systems
• scientific article; zbMATH DE number 5587274

Cites work

• A more efficient time Petri net state space abstraction useful to model checking timed linear properties
• Applications and Theory of Petri Nets 2004
• Covering step graph
• CTL* model checking for time Petri nets
• Formal Modeling and Analysis of Timed Systems
• scientific article; zbMATH DE number 177237 (Why is no real title available?)
• scientific article; zbMATH DE number 1956600 (Why is no real title available?)
• scientific article; zbMATH DE number 1755150 (Why is no real title available?)
• On Interleaving in Timed Automata
• Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
• Partial-order reduction techniques for real-time model checking
• Stutter-invariant temporal properties are expressible without the next-time operator
• The tool TINA – Construction of abstract state spaces for petri nets and time petri nets

Cited in

(3)

• Step coverability algorithms for communicating systems
• Partial order reduction for checking soundness of time workflow nets
• scientific article; zbMATH DE number 5587274 (Why is no real title available?)

This page was built for publication: Covering steps graphs of time Petri nets

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