✦ LIBER ✦

A Petri Net-Based Model for Verification of Obligations and Accountability in Cooperative Systems

✍ Scribed by YuYue Du; ChangJun Jiang; MengChu Zhou

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A component-based Petri net model for sp

✍ Nasreddine Aoumeur; Gunter Saake 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 680 KB

A Fuzzy Petri Net Tool For Modeling and

✍ Koriem, S. M. 📂 Article 📅 2000 🏛 Oxford University Press 🌐 English ⚖ 337 KB

Modeling and formal verification of embe

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

Petri net-based workflow modeling for a

✍ Ning Yang; Zhenliang Lou; Xionghui Zhou 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 367 KB

A Petri net-based object-oriented approa

✍ Emilia Villani; Jean C. Pascal; Paulo E. Miyagi; Robert Valette 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 618 KB

Construction and performance analysis of

✍ Kichang Lee; Hanil Jeong; Chankwon Park; Jinwoo Park 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 402 KB