scientific article; zbMATH DE number 5152608

MaRDI QIDQ3437252zbMATH OpenFDO

Authors Louchka Popova-Zeugmann

Publication date 14 May 2007

Full work available at URL https://eudml.org/doc/209443

zbMATH Keywords

reachability graph

Mathematics Subject Classification ID

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

Recommendations

• State space computation and analysis of Time Petri Nets
• Reduction rules for time Petri nets
• scientific article; zbMATH DE number 1755141
• scientific article; zbMATH DE number 2104635
• Shrinking of time Petri nets
• Narrowing Petri net state spaces using the state equation
• COMPLEXITY REDUCTION FOR OPTIMIZATION OF DETERMINISTIC TIMED PETRI-NET SCHEDULING BY TRUNCATION
• A more efficient time Petri net state space abstraction useful to model checking timed linear properties

Cited in

(10)

• Quantitative evaluation of time-dependent Petri nets and applications to biochemical networks
• Reduction rules for time Petri nets
• Narrowing Petri net state spaces using the state equation
• Contraction of the ITCPN state space
• scientific article; zbMATH DE number 1337891 (Why is no real title available?)
• scientific article; zbMATH DE number 1755141 (Why is no real title available?)
• 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 2104635 (Why is no real title available?)
• State space computation and analysis of Time Petri Nets

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 Q3437252)