scientific article; zbMATH DE number 1759626

zbMATH Open0999.68529MaRDI QIDQ4536617FDOQ4536617

Victor Khomenko, Maciej Koutny

Publication date: 28 November 2002

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

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 (3)

• Structure-based deadlock checking of asynchronous circuits
• Verification of bounded Petri nets using integer programming
• Directed Unfolding of Petri Nets

   Recommendations

• Verification of bounded Petri nets using integer programming 👍 👎
• Title not available (Why is that?) 👍 👎
• Model checking using net unfoldings 👍 👎
• Title not available (Why is that?) 👍 👎
• Deadlock detection-oriented unfolding of unbounded 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 Q4536617)