✦ LIBER ✦

A Petri net based formal model of Hypermedia

✍ Scribed by Zhang Ling

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Modeling and formal verification of embe

✍ Luis Alejandro Cortés; Petru Eles; Zebo Peng 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 646 KB

Model checking workflow net based on Pet

✍ Zhou Conghua; Chen Zhenyu 📂 Article 📅 2006 🏛 Wuhan University 🌐 English ⚖ 430 KB

A multimedia synchronization model based

✍ Yongquan Liang; Zhongzhi Shi 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 433 KB

Extended abstract Petri nets: A constrai

✍ Gurdeep S. Hura 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 687 KB

Modeling Petri Net Based Systems by Net

✍ Milan Urbášek 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 855 KB

Synthesis a Petri net based control mode

✍ Ali A. Pouyan; Heydar Toossian Shandiz; Soheil Arastehfar 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 632 KB