✦ LIBER ✦

Using Petri nets to verify acyclic rule-based system

✍ Scribed by Zhijun Ding; Meiqin Pan; Changjun Jiang; Yaojun Han

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Asynchronous system synthesis based on d

✍ Shang, D.; Burns, F.; Koelmans, A.; Yakovlev, A.; Xia, F. 📂 Article 📅 2004 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 492 KB

A Rule-Based Expert System with Colored

✍ Chen, C. S.; Lin, C. H.; Tsai, H. Y. 📂 Article 📅 2002 🏛 IEEE 🌐 English ⚖ 368 KB

A rule-based expert system with colored

✍ Chao-Shun Chen; Chia-Hung Lin; Hung-Ying Tsai 📂 Article 📅 2002 🏛 IEEE 🌐 English ⚖ 622 KB

The use of mathematical programming to v

✍ Daniel E. O'Leary; Joanne Schaffer 📂 Article 📅 1996 🏛 Springer US 🌐 English ⚖ 658 KB

A petri-net-based synthesis methodology

✍ K.S. Cheung; T.Y. Cheung; K.O. Chow 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 314 KB

A Systematic Approach to the Petri Net B

✍ Antonino Mazzeo; Nicola Mazzocca; Stefano Russo; Valeria Vittorini 📂 Article 📅 1997 🏛 Springer US 🌐 English ⚖ 252 KB