Definitions of Petri Net. Part I

Waldemar Korczynski

Pedagogical University, Kielce

Summary.

In the paper the classical definition of Petri net is described. The article also contains some theorems needed for proving equivalences of these definitions with other definitions of Petri net as relational algebras. See [3], [4] and other.

MML Identifier: FF_SIEC

Contents (PDF format)

Bibliography

[1] Czeslaw Bylinski. Some basic properties of sets. Journal of Formalized Mathematics, 1, 1989.

[2] Waldemar Korczynski. Some elementary notions of the theory of Petri nets. Journal of Formalized Mathematics, 2, 1990.

[3] Waldemar Korczynski. Definitions of Petri net. Part II. Journal of Formalized Mathematics, 4, 1992.

[4] Waldemar Korczynski. Definitions of Petri net. Part III. Journal of Formalized Mathematics, 4, 1992.

[5] Andrzej Trybulec. Tarski Grothendieck set theory. Journal of Formalized Mathematics, Axiomatics, 1989.

[6] Edmund Woronowicz. Relations and their basic properties. Journal of Formalized Mathematics, 1, 1989.