𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Improving UML with Petri nets

✍ Scribed by Luciano Baresi; Mauro Pezzè


Book ID
108498410
Publisher
Elsevier Science
Year
2001
Tongue
English
Weight
160 KB
Volume
44
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Modeling with enhanced prioritized Petri
✍ Sheng-Uei Guan; Sok-Seng Lim 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 496 KB

Recently, many researchers have their attention focused on interactive temporal models, like the extended ®nite state machines or the extended Petri net models. One of the recent mechanisms proposed for synchronization is known as the prioritized Petri net, P-Net, which is implemented in the distrib

Improvement of a petri net-controlled mu
✍ Hideki Murakoshi; Yasunori Dohi 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 892 KB

## Abstract This paper proposes a method of reducing the overhead and improving the speed of the Petri net‐controlled multiprocessor system. The authors have previously proposed a Petri net‐controlled multiprocessor system in which direct control of such operations as synchronization and exclusive