✦ LIBER ✦

Soundness analysis of compositional model of time-based petri nets

✍ Scribed by Hong Zheng; Yue Jiang

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Compositional schedulability analysis of

✍ Dianxiang Xu; Xudong He; Yi Deng 📂 Article 📅 2002 🏛 IEEE 🌐 English ⚖ 452 KB

Analysis of discrete-time stochastic pet

✍ W. M. P. Van Der Aalst; K. M. Van Hee; H. A. Reijers 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 533 KB

Analysis of Petri net performance models

✍ Jonathan Billington; Bill Henderson 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 171 KB

Reachability analysis of real-time syste

✍ Wang, J.; Deng, Y.; Xu, G. 📂 Article 📅 2000 🏛 IEEE 🌐 English ⚖ 285 KB

Research and Application of Time Workflo

✍ Hui Pang; Zong-de Fang; Hong-yan Li; Xiao-hui Yang 📂 Article 📅 2011 🏛 Elsevier 🌐 English ⚖ 359 KB

Colored timed Petri nets for modeling an

✍ NaiQi Wu; MengChu Zhou 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 248 KB