Factorisation of transition systems
From MaRDI portal
Publication:1647774
DOI10.1007/s00236-017-0300-yzbMath1395.68196OpenAlexW2609291594MaRDI QIDQ1647774
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
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