𝔖 Bobbio Scriptorium

✦ LIBER ✦

Formal analysis of the alternating bit protocol by temporal Petri nets

✍ Scribed by Suzuki, I.

Book ID: 117872192
Publisher: IEEE
Year: 1990
Tongue: English
Weight: 831 KB
Volume: 16
Category: Article
ISSN: 0098-5589
DOI: 10.1109/32.60315

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 32nd Midwest Symposium on Circuits

[IEEE 32nd Midwest Symposium on Circuits and Systems - Champaign, IL, USA (14-16 Aug. 1989)] Proceedings of the 32nd Midwest Symposium on Circuits and Systems - Specification and verification of the alternating bit protocol by temporal Petri nets

✍ Suzuki, I. 📂 Article 📅 1990 🏛 IEEE ⚖ 402 KB

[IEEE Comput. Soc Fourth International W

[IEEE Comput. Soc Fourth International Workshop on Petri Nets and Performance Models PNPM91 - Melbourne, Vic., Australia (2-5 Dec. 1991)] Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91 - Performance Petri net analysis of communications protocol software by delay-equivalent aggregation

✍ Woodside, C.M.; Yao Li, 📂 Article 📅 1991 🏛 IEEE Comput. Soc ⚖ 815 KB

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Modeling and Analysis of Timed Systems Volume 5215 || Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets

✍ Cassez, Franck; Jard, Claude 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg ⚖ 460 KB

Analysis of probabilistic behavior of th

Analysis of probabilistic behavior of the system with nonregeneration points interpreted as Petri net by Markov renewal processes

✍ Yoshio Sugasawa; Koichi Murata; Yoshio Kurabayashi 📂 Article 📅 1985 🏛 John Wiley and Sons 🌐 English ⚖ 449 KB

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Modeling and Analysis of Timed Systems Volume 2791 || Using Zone Graph Method for Computing the State Space of a Time Petri Net

✍ Larsen, Kim Guldstrand; Niebert, Peter 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 235 KB

[IEEE Proceedings of the Second Internat

[IEEE Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004. - Beijing, China (Sept. 28-30, 2004)] Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004. - Using relation algebra for the analysis of petri nets in a CASE tool based approach

✍ Fronk, A. 📂 Article 📅 2004 🏛 IEEE ⚖ 587 KB