Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis

Raymond R. Devillers. Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis. Fundamenta Informaticae, 183(1-2):1-31, 2021. [doi]

Abstract

Abstract is missing.