The Synthesis Problem for Elementary Net Systems with Inhibitor Arcs
Marta Pietkiewicz-Koutny · Fundamenta Informaticae · 1999
We investigate the synthesis problem for the Elementary Net Systems with Inhibitor Arcs (ENI-systems) executed according to the a-priori semantics. We characterise transition systems generated by ENI-systems, called TSENI transition systems, by adapt