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.III24.C1.
Summary.

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)
Bibliography
 [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]