Grzegorz Bancerek, Mitsuru Aoki, Akio Matsumoto, and Yasunari Shidama
submitted an article entitled:
"Processes in Petri nets"
(MML identifier: PNPROC_1)
to the Mizar Mathematical Library. The preprint of the article is
available at:
http://mizar.uwb.edu.pl/JFM/Preprints.html
-----
Library Committee of the Association of Mizar Users