✦ LIBER ✦

Model checking workflow net based on Petri net

✍ Scribed by Zhou Conghua; Chen Zhenyu

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Hierarchical Colored Petri Nets based co

✍ Feng Zhou; Rui-Feng Bo; Hong-Zhong Huang; Dan Ling; Qiang Miao 📂 Article 📅 2006 🏛 Springer-Verlag 🌐 English ⚖ 525 KB

Sequential and Distributed Model Checkin

✍ Alexander Bell; Boudewijn R. Haverkort 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 285 KB

Supply chain workflow modelling using XM

✍ R.Y.K. Fung; Y.M. Au; Z.B. Jiang; HenryC.W. Lau 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 474 KB

Applying Petri-net-based reduction appro

✍ Li Xi-zuo; Han Gui-ying; Kim Sun-ho 📂 Article 📅 2006 🏛 Wuhan University 🌐 English ⚖ 706 KB

Petri net-based workflow modelling and a

✍ Ming Dong; F. Frank Chen 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 971 KB

Modeling Petri Net Based Systems by Net

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