𝔖 Bobbio Scriptorium
✦   LIBER   ✦

An algebraic characterization of independence of Petri net processes

✍ Scribed by Józef Winkowski

Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
201 KB
Volume
88
Category
Article
ISSN
0020-0190

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An axiomatization of the algebra of Petr
An axiomatization of the algebra of Petri net concatenable processes
✍ Vladimiro Sassone 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 867 KB

The concatenable processes of a Petri net N can be characterized abstractly as the arrows of a symmetric monoidal category ~(N). However, this is only a partial axiomatization, since it is based on a concrete, ad hoe chosen, category of symmetries Sym N. In this paper we give a completely abstract

Processes of timed Petri nets
Processes of timed Petri nets
✍ Józef Winkowski 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 286 KB

Processes of timed Petri nets are represented by labelled partial orders with some extra features. These features re ect the execution times of processes and allow to combine processes sequentially and in parallel, which leads to some algebras. The processes can be represented either without specify