𝔖 Bobbio Scriptorium

✦ LIBER ✦

Distributed semantics for the -calculus based on Petri nets with inhibitor arcs

✍ Scribed by Nadia Busi; Roberto Gorrieri

Book ID: 113720670
Publisher: Elsevier Science
Year: 2009
Tongue: English
Weight: 496 KB
Volume: 78
Category: Article
ISSN: 1567-8326
DOI: 10.1016/j.jlap.2008.08.002

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Modeling and synthesis of supervisory co

Modeling and synthesis of supervisory control based on Petri nets for distributed objects. I. Interaction mechanism and the basic method

✍ A. A. Ambartsumyan 📂 Article 📅 2011 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 395 KB

[IEEE 2011 IEEE International Conference

[IEEE 2011 IEEE International Conference on Industrial Technology (ICIT 2011) - Auburn, AL, USA (2011.03.14-2011.03.16)] 2011 IEEE International Conference on Industrial Technology - On the bus priority dilemma: A Petri Net model with resource sharing and inhibitor arc

✍ Boukhentiche, Hamza; Abbas-Turki, Abdeljalil; El Moudni, Abdellah 📂 Article 📅 2011 🏛 IEEE ⚖ 972 KB