𝔖 Bobbio Scriptorium

✦ LIBER ✦

Modelling the semantics of multitasking facilities in Concurrent C using Petri nets

✍ Scribed by Abdulaziz Boujarwah; Nadia Al-Seif; Kassem Saleh

Book ID: 108030688
Publisher: Elsevier Science
Year: 1996
Tongue: English
Weight: 780 KB
Volume: 38
Category: Article
ISSN: 0950-5849
DOI: 10.1016/0950-5849(95)01039-4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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 2006 International Conference of t

[IEEE 2006 International Conference of the IEEE Engineering in Medicine and Biology Society - New York, NY, USA (2006.08.30-2006.09.3)] 2006 International Conference of the IEEE Engineering in Medicine and Biology Society - Modelling and Simulation of the TLR4 Pathway with Coloured Petri Nets

✍ Taubner, C.; Mathiak, B.; Kupfer, A.; Fleischer, N.; Eckstein, S. 📂 Article 📅 2006 🏛 IEEE ⚖ 381 KB

[IEEE 2004 IEEE International Conference

[IEEE 2004 IEEE International Conference on Information Reuse and Integration, 2004. IRI 2004. - Las Vegas, NV, USA (Nov. 8-10, 2004)] Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004. IRI 2004. - Using petri nets to verify access policies in mandatory access control model

✍ Yixin Jiang, ; Chuang Lin, ; Zhen Chen, ; Hao Yin, 📂 Article 📅 2004 🏛 IEEE 🌐 English ⚖ 526 KB