scientific article; zbMATH DE number 2112982

MaRDI QIDQ4824481zbMATH OpenFDO

Authors Victor Khomenko, Maciej Koutny, Alex Yakovlev

Publication date 1 November 2004

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)

Recommendations

• Publication:5480167
• On the complexity of consistency and complete state coding for signal transition graphs
• Component refinement and CSC-solving for STG decomposition
• Scientific article; zbMATH DE number 2112981
• Foundations of Software Science and Computational Structures

Cited in

(8)

• scientific article; zbMATH DE number 2112981 (Why is no real title available?)
• STG decomposition strategies in combination with unfolding
• On the complexity of consistency and complete state coding for signal transition graphs
• Resolution of encoding conflicts by signal insertion and concurrency reduction based on STG unfoldings
• Merged processes: a new condensed representation of Petri net behaviour
• Avoiding irreducible CSC conflicts by internal communication
• A Practical Approach to Verification of Mobile Systems Using Net Unfoldings
• Generation of synchronizing state machines from a transition system: a region-based approach

Describes a project that uses

Uses Software

• Chaff
• Petrify

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