✦ LIBER ✦

A petri-net-based synthesis methodology for use-case-driven system design

✍ Scribed by K.S. Cheung; T.Y. Cheung; K.O. Chow

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Design and implementation of a petri net

✍ Meng Chu Zhou; Frank Dicesare; Daryl L. Rudolph 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 982 KB

A Petri net-based simulation tool for th

✍ Dong-Soon Yim; Thomas A. Barta 📂 Article 📅 1994 🏛 Society of Manufacturing Engineers 🌐 English ⚖ 936 KB

A Petri net design of FPGA-based control

✍ Chang-Kuo Chen 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 595 KB

Scoresynth: a system for the synthesis o

✍ Haus, G.; Sametti, A. 📂 Article 📅 1991 🏛 IEEE 🌐 English ⚖ 569 KB

Using a Petri-Net-Based Approach for the

✍ M. Uzam; H. Jones; I. Yücel 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 412 KB

A new approach to supervisor design with

✍ G. Cansever; I. B. Kucukdemiral 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 342 KB