Factorisation of transition systems

DOI10.1007/s00236-017-0300-yzbMath1395.68196OpenAlexW2609291594MaRDI QIDQ1647774

Raymond Devillers

Publication date: 26 June 2018

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00236-017-0300-y

Mathematics Subject Classification ID

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

Related Items

Articulation of Transition Systems and Its Application to Petri Net Synthesis, Efficient synthesis of weighted marked graphs with circular reachability graph, and beyond, Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis

Cites Work

• Petri net synthesis
• Comparing transition systems with independence and asynchronous transition systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item