scientific article; zbMATH DE number 1390093

MaRDI QIDQ4934360zbMATH OpenFDO

Authors I. B. Virbitskaite, E. A. Pokozy

Publication date 12 October 2000

zbMATH Keywords

safe time Petri nets

Mathematics Subject Classification ID

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

Recommendations

• The use of partial-order technique for verification of time Petri nets
• scientific article; zbMATH DE number 1439078
• scientific article; zbMATH DE number 1755150
• scientific article; zbMATH DE number 1361125
• Applications and Theory of Petri Nets 2004

Cited in

(10)

• A method for parametric verification of the behavior of time Petri nets
• Using forward reachability analysis for verification of timed Petri nets
• scientific article; zbMATH DE number 1836392 (Why is no real title available?)
• scientific article; zbMATH DE number 1536566 (Why is no real title available?)
• Delay-Dependent Partial Order Reduction Technique for Time Petri Nets
• scientific article; zbMATH DE number 1755138 (Why is no real title available?)
• Using integer time steps for checking branching time properties of time Petri nets
• scientific article; zbMATH DE number 1755150 (Why is no real title available?)
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Verifying time Petri nets by linear programming

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