P/T-systems as abstractions of C/E-systems

A formal relation between Condition/Event-systems and Place/Transition-systems is presented. Concepts of net topology are used to construct and interconnect functional units of a C/E-system, synchronic distances are used to abstract from these functional units and get a P/T-system. A result on the relations between a C/E-system and its functional units regarding synchronic distances is proved.

[1]  Wolfgang Reisig,et al.  The Semantics of a Net is a Net , 1987 .

[2]  Manuel Silva.  Towards a synchrony theory for P/T nets , 1987 .

[3]  Wolfgang Reisig,et al.  Two Alterative Definitions of Synchronic Distance , 1980, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets.

[4]  Hartmann J. Genrich,et al.  A Dictionary of Some Basic Notions of Net Theory , 1979, Advanced Course: Net Theory and Applications.

[5]  Wolfgang Reisig,et al.  Place/Transition Systems , 1986, Advances in Petri Nets.

[6]  P. S. Thiagarajan,et al.  Elementary Net Systems , 1986, Advances in Petri Nets.

[7]  C. A. Petri.  Concepts of Net Theory , 1973, MFCS.

[8]  Karl Martin Schmidt-Reindl,et al.  Notations and terminology on Petri Net theory , 1987 .

[9]  Hartmann J. Genrich,et al.  Projections of C/E systems , 1985, Applications and Theory in Petri Nets.