scientific article; zbMATH DE number 1390093

zbMATH Open0945.68139MaRDI QIDQ4934360FDOQ4934360

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

Publication date: 12 October 2000

Title of this publication is not available (Why is that?)

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

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)

Cited In (10)

• Using forward reachability analysis for verification of timed Petri nets
• Title not available (Why is that?)
• Title not available (Why is that?)
• Delay-Dependent Partial Order Reduction Technique for Time Petri Nets
• Title not available (Why is that?)
• Using integer time steps for checking branching time properties of time Petri nets
• Title not available (Why is that?)
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Verifying time Petri nets by linear programming
• A method for parametric verification of the behavior 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 Q4934360)