✦ LIBER ✦

Specification of a batch plant using process algebra and petri nets

✍ Scribed by Petter Falkman; Bengt Lennartson; Michael Tittus

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Petri net-Digraph models for automating

✍ Rajagopalan Srinivasan; Venkat Venkatasubramanian 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 620 KB

Requirements specification and analysis

✍ Shen, V.R.L.; Feipei Lai 📂 Article 📅 1998 🏛 IEEE 🌐 English ⚖ 142 KB

Real-time scheduling of batch systems us

✍ Michel dos Santos Soares; Stéphane Julia; Jos Vrancken 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 502 KB

The specification and design of hard rea

✍ J.S. Sagoo; D.J. Holding 📂 Article 📅 1990 🏛 Elsevier Science ⚖ 556 KB

A conceptual approach to modeling the pr

✍ H. Li; P. E. D. Love; A. Gunasekaran 📂 Article 📅 1999 🏛 Springer US 🌐 English ⚖ 88 KB

A petri nets based design of cognitive r

✍ Christoph Spiegel; Alexander Viessmann; Admir Burnic; Christian Kocks; Andreas W 📂 Article 📅 2009 🏛 Elsevier ⚖ 371 KB