Journal of Formalized Mathematics
Volume 2, 1990
University of Bialystok
Copyright (c) 1990 Association of Mizar Users

Some Elementary Notions of the Theory of Petri Nets

Waldemar Korczynski
Warsaw University, Bialystok
Supported by RPBP.III-24.C1.


Some fundamental notions of the theory of Petri nets are described in Mizar formalism. A Petri net is defined as a triple of the form $\langle {\rm places},\,{\rm transitions},\,{\rm flow} \rangle$ with places and transitions being disjoint sets and flow being a relation included in ${\rm places} \times {\rm transitions}$.

MML Identifier: NET_1

The terminology and notation used in this paper have been introduced in the following articles [2] [1] [3] [4]

Contents (PDF format)


[1] Czeslaw Bylinski. Some basic properties of sets. Journal of Formalized Mathematics, 1, 1989.
[2] Andrzej Trybulec. Tarski Grothendieck set theory. Journal of Formalized Mathematics, Axiomatics, 1989.
[3] Zinaida Trybulec. Properties of subsets. Journal of Formalized Mathematics, 1, 1989.
[4] Edmund Woronowicz. Relations and their basic properties. Journal of Formalized Mathematics, 1, 1989.

Received August 10, 1990

[ Download a postscript version, MML identifier index, Mizar home page]