scientific article; zbMATH DE number 1755150

MaRDI QIDQ4535185zbMATH OpenFDO

Authors Wojciech Penczek, Agata Półrola

Publication date 13 June 2002

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1390093
• The use of partial-order technique for verification of time Petri nets
• A more efficient time Petri net state space abstraction useful to model checking timed linear properties
• CTL* model checking for time Petri nets
• scientific article; zbMATH DE number 1361125

Cited in

(8)

• CTL* model checking for time Petri nets
• Using integer time steps for checking branching time properties of time Petri nets
• scientific article; zbMATH DE number 1390093 (Why is no real title available?)
• Covering steps graphs of time Petri nets
• Delay-Dependent Partial Order Reduction Technique for Time Petri Nets
• Interval Abstraction Refinement for Model Checking of Timed-Arc Petri Nets
• The use of partial-order technique for verification of time Petri nets
• On-the-fly TCTL model checking for 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 Q4535185)