scientific article; zbMATH DE number 1759626

zbMATH Open0999.68529MaRDI QIDQ4536617FDOQ4536617

Authors: Victor Khomenko, Maciej Koutny 

Publication date: 28 November 2002

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

Recommendations

• Verification of bounded Petri nets using integer programming
• scientific article; zbMATH DE number 1863174
• Model checking using net unfoldings
• scientific article; zbMATH DE number 1361125
• Deadlock detection-oriented unfolding of unbounded Petri nets

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)

Cited In (5)

• Structure-based deadlock checking of asynchronous circuits
• Verification of bounded Petri nets using integer programming
• Deadlock detection-oriented unfolding of unbounded Petri nets
• Directed Unfolding of Petri Nets
• Model checking using net unfoldings

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