In: Nielsen, M.; Simpson, D.: Lecture Notes in Computer Science, Vol. 1825: 21st International Conference on Application and Theory of Petri Nets (ICATPN 2000), Aarhus, Denmark, June 2000, pages 16-23. Springer-Verlag, 2000.
Abstract: This paper gives an informal presentation of ideas for solving various types of P/T-net synthesis problems, with hints at the potential role of net synthesis in distributed software and distributed control. The lead is to start from Ehrenfeucht and Rozenberg's axiomatic characterization of behaviours of elementary nets, based on regions, to adapt the characterization to P/T-nets in line with Mukund's extended regions with integer values, and to profit from algebraic properties of graphs and languages for converting decision problems about regions to linear algebra.
Back to the Petri Nets Bibliography