✦ LIBER ✦

Enzymatic competition: Modeling and verification with timed hybrid petri nets

✍ Scribed by Sylvie Troncale; Jean-Paul Comet; Gilles Bernot

Publisher: Elsevier Science
Year: 2009
Tongue: English
Weight: 338 KB
Volume: 42
Category: Article
ISSN: 0031-3203
DOI: 10.1016/j.patcog.2008.09.019

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Modeling job shop scheduling with batche

Modeling job shop scheduling with batches and setup times by timed Petri nets

✍ Hehua Zhang; Ming Gu 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 810 KB

Modelling and verification of real-time

Modelling and verification of real-time software using interpreted petri nets

✍ F. Arendt; B. Klühe 📂 Article 📅 1990 🏛 Elsevier Science ⚖ 695 KB

Petri net model with fuzzy timing and fu

Petri net model with fuzzy timing and fuzzy-metric temporal logic

✍ Yi Zhou; Tadao Murata 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 321 KB 👁 2 views

This paper is concerned with a Petri net model having fuzzy timing and fuzzy real-time temporal logic. In an earlier paper, we introduced a Petri net model with four fuzzy set theoretic functions of time but no algorithms were given for computing the two important operators called, earliest and late

Augmented timed petri nets for modeling,

Augmented timed petri nets for modeling, simulation, and analysis of robotic systems with breakdowns : Kurapati Venkatesh, Mehdi Kaighobadi, MengChu Zhou, and Reggie J. Caudill, pp. 289–301

📂 Article 📅 1994 🏛 Society of Manufacturing Engineers 🌐 English ⚖ 134 KB