Condensed state spaces for timed Petri nets

DOI10.1007/3-540-45740-2_8MaRDI QIDQ4535175zbMATH OpenFDO

Authors Søren Christensen, Thomas Mailund, Lars M. Kristensen

Publication date 13 June 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2075/20750101

Mathematics Subject Classification ID

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

Recommendations

• State space computation and analysis of Time Petri Nets
• scientific article; zbMATH DE number 5152608
• The tool TINA – Construction of abstract state spaces for petri nets and time petri nets
• A holistic state equation for timed Petri nets
• State class constructions for branching analysis of time Petri nets

Cited in

(12)

• CTL* model checking for time Petri nets
• Interval timed coloured Petri net: efficient construction of its state class space preserving linear properties
• Contraction of the ITCPN state space
• Tackling the infinite state space of a multimedia control protocol service specification
• scientific article; zbMATH DE number 5152608 (Why is no real title available?)
• Coloured Petri net scheduling models: Timed state space exploration shortages
• State class constructions for branching analysis of time Petri nets
• Reduced state space representation for unbounded vector state spaces
• The tool TINA – Construction of abstract state spaces for petri nets and time petri nets
• scientific article; zbMATH DE number 744061 (Why is no real title available?)
• Using zone graph method for computing the state space of a time Petri net
• Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN

This page was built for publication: Condensed state spaces for timed Petri nets

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