✦ LIBER ✦

Specification and analysis of parallel/distributed software and systems by Petri nets with transition enabling functions

✍ Scribed by Papelis, Y.E.; Casavant, T.L.

Book ID: 117871931
Publisher: IEEE
Year: 1992
Tongue: English
Weight: 940 KB
Volume: 18
Category: Article
ISSN: 0098-5589
DOI: 10.1109/32.126774

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Specification and performance analysis o

Specification and performance analysis of embedded systems with coloured petri nets

✍ L.P.M. Benders 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 765 KB

To analyze synchronization, concurrency, communication protocols and system performance, a system level specification is modelled in a coloured Petri net. A toolbox collects information for the implementation, e.g., processing times, waiting times, idle times, data accesses, processing requests. Thi

Stochastic Petri Net model of distribute

Stochastic Petri Net model of distributed process system with repair and its behavior analysis

✍ Yoshio Sugasawa; Masashi Katsumata; Atsushi Harada 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 280 KB

Investigating single-type structural ele

Investigating single-type structural elements of a component Petri net during component modeling and analysis of a complex system with parallelism

✍ E. A. Lukyanova, A. V. Derezaa 📂 Article 📅 2012 🏛 Springer US 🌐 English ⚖ 473 KB

[IEEE Comput. Soc 5th International Work

[IEEE Comput. Soc 5th International Workshop on Parallel and Distributed Real-Time Systems and 3rd Workshop on Object-Oriented Real-Time Systems - Geneva, Switzerland (1-3 April 1997)] Proceedings of 5th International Workshop on Parallel and Distributed Real-Time Systems and 3rd Workshop on Object-Oriented Real-Time Systems - Modeling and analysis of hybrid systems: a new approach integrating Petri nets and differential equations

✍ Nenninger, G.; Krebs, V. 📂 Article 📅 1997 🏛 IEEE Comput. Soc ⚖ 353 KB