✦ LIBER ✦

Modeling and formal verification of embedded systems based on a Petri net representation

✍ Scribed by Luis Alejandro Cortés; Petru Eles; Zebo Peng

Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 646 KB
Volume: 49
Category: Article
ISSN: 1383-7621
DOI: 10.1016/s1383-7621(03)00096-1

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Model and control holonic manufacturing

Model and control holonic manufacturing systems based on fusion of contract nets and Petri nets

✍ Fu-Shiung Hsieh 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 260 KB

NCES-based modelling and CTL-based verif

NCES-based modelling and CTL-based verification of reconfigurable embedded control systems

✍ Mohamed Khalgui 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 931 KB

in Germany, and it is supported by the Alexander von Humboldt foundation in Germany under the reference TUN1127196STP.) deals with automatic reconfigurations of safe embedded control systems following the component-based International Industrial Standard IEC61499 in which a Function Block (FB) is an

Observer based on-line fault diagnosis o

Observer based on-line fault diagnosis of continuous systems modeled as Petri nets

✍ K. Renganathan; Vidhyacharan Bhaskar 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 904 KB

Modeling and verification of real-time s

Modeling and verification of real-time systems based on equations

✍ Kazuhiro Ogata; Kokichi Futatsugi 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 358 KB

A Petri net-based object-oriented approa

A Petri net-based object-oriented approach for the modelling of hybrid productive systems

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

Design and implementation of a petri net

Design and implementation of a petri net based supervisor for a flexible manufacturing system

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