Region Based Synthesis of P/T-Nets and Its Potential Applications

This talk is an informal presentation of ideas put forward by Badouel, Bernardinello, Caillaud and me 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 ideas are theirs as much as mine. 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.

[1]  Philippe Darondeau,et al.  Theory of Regions , 1996, Petri Nets.

[2]  Madhavan Mukund.  Petri Nets and Step Transition Systems , 1992, Int. J. Found. Comput. Sci..

[3]  Wolfgang Reisig,et al.  Lectures on Petri Nets I: Basic Models , 1996, Lecture Notes in Computer Science.

[4]  Philippe Darondeau,et al.  Dualities Between Nets and Automata Induced by Schizophrenic Objects , 1995, Category Theory and Computer Science.

[5]  N. Chernikova.  Algorithm for finding a general formula for the non-negative solutions of a system of linear equations , 1964 .

[6]  Faron Moller,et al.  Checking Regular Properties of Petri Nets , 1995, CONCUR.

[7]  B. Caillaud.  Bounded Petri-net synthesis techniques and their applications to the distribution of reactive automata , 1999 .

[8]  Philippe Darondeau,et al.  Deriving Unbounded Petri Nets from Formal Languages , 1998, CONCUR.

[9]  Philippe Darondeau,et al.  On the Petri net realization of context-free graphs , 2001, Theor. Comput. Sci..

[10]  Luca Bernardinello.  Proprietes algebriques et combinatoires des regions dans les graphes, et leurs applications a la synthese de reseaux , 1998 .

[11]  Manfred Droste,et al.  Petri nets and automata with concurrency relations—an adjunction , 1993 .

[12]  Philippe Darondeau,et al.  Polynomial Algorithms for the Synthesis of Bounded Nets , 1995, TAPSOFT.

[13]  W. Murray Wonham,et al.  Think Globally, Act Locally: Decentralized Supervisory Control , 1991, 1991 American Control Conference.