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

(15)

• A theory of implementation and refinement in timed Petri nets
• Reduction rules for time Petri nets
• Using integer time steps for checking branching time properties of time Petri nets
• scientific article; zbMATH DE number 1361125 (Why is no real title available?)
• scientific article; zbMATH DE number 1536566 (Why is no real title available?)
• scientific article; zbMATH DE number 1755138 (Why is no real title available?)
• scientific article; zbMATH DE number 1755150 (Why is no real title available?)
• scientific article; zbMATH DE number 1836392 (Why is no real title available?)
• scientific article; zbMATH DE number 1439078 (Why is no real title available?)
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Delay-Dependent Partial Order Reduction Technique for Time Petri Nets
• Using forward reachability analysis for verification of timed Petri nets
• A method for parametric verification of the behavior of time Petri nets
• The use of partial-order technique for verification of time Petri nets
• 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)