scientific article; zbMATH DE number 1755141

MaRDI QIDQ4535175zbMATH OpenFDO

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

Publication date 13 June 2002

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
• scientific article; zbMATH DE number 1956600

Cited in

(12)

• scientific article; zbMATH DE number 5152608 (Why is no real title available?)
• Coloured Petri net scheduling models: Timed state space exploration shortages
• The tool TINA – Construction of abstract state spaces for petri nets and time petri nets
• Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN
• Reduced state space representation for unbounded vector state spaces
• scientific article; zbMATH DE number 2088667 (Why is no real title available?)
• Interval timed coloured Petri net: efficient construction of its state class space preserving linear properties
• Contraction of the ITCPN state space
• scientific article; zbMATH DE number 744061 (Why is no real title available?)
• CTL* model checking for time Petri nets
• scientific article; zbMATH DE number 1956600 (Why is no real title available?)
• Formal Modeling and Analysis of Timed Systems

This page was built for publication:

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