Journal of Formalized Mathematics
Volume 4, 1992
University of Bialystok
Copyright (c) 1992
Association of Mizar Users
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
The terminology and notation used in this paper have been
introduced in the following articles
[5]
[1]
[6]
[2]
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.
Received January 31, 1992
[
Download a postscript version,
MML identifier index,
Mizar home page]