In: Sangiorgi, D.; de Simone, R.: Lecture Notes in Computer Science, Vol. 1466: Proceedings 9th International Conference on Concurrency Theory (CONCUR'98), Nice, France, September 1998, pages 565-580. Springer-Verlag, 1998.
Abstract: The paper considers the synthesis problem for elementary net systems with inhibitor arcs (ENI-systems) executed according to the a priori semantics. The relationship between nets and transition systems generated by them (TSENI) is established via the notion of a region. The general synthesis problem for ENI-systems was shown earlier (LNCS-1248); this paper optimizes the solution using only minimal regions and selected inhibitor arcs. The proposed method of eliminating arcs in ENI-systems is compared with that introduced earlier; it is shown that the two methods have similar effects.
Keywords: ENI systems, Petri nets, inhibitor arcs, regions, transition systems.