scientific article; zbMATH DE number 2112982

zbMath1082.68074MaRDI QIDQ4824481

A. V. Yakovlev, Maciej Koutny, Victor Khomenko

Publication date: 1 November 2004

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Petri netsasynchronous circuitsautomated synthesis

Mathematics Subject Classification ID

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

Related Items (4)

Merged processes: a new condensed representation of Petri net behaviour ⋮ Generation of synchronizing state machines from a transition system: a region-based approach ⋮ STG decomposition strategies in combination with unfolding ⋮ A Practical Approach to Verification of Mobile Systems Using Net Unfoldings

Uses Software

• Chaff
• Petrify

This page was built for publication: