𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Timing and liveness in continuous Petri nets

✍ Scribed by C. Renato Vázquez; Manuel Silva

Publisher
Elsevier Science
Year
2011
Tongue
English
Weight
481 KB
Volume
47
Category
Article
ISSN
0005-1098

No coin nor oath required. For personal study only.

✦ Synopsis

Fluidification constitutes a relaxation technique for studying discrete event systems through fluidified approximated models, thus avoiding the state explosion problem. Moreover, the class of continuous models thus obtained may be interesting in itself. In Petri nets, fluidification leads to the so-called continuous Petri nets, which are technically hybrid models. Under infinite server semantics, timing a continuous Petri net model preserves the liveness property, but the converse is not necessarily true, and if the autonomous net model is not live, the timing may transform it into a live model. In this paper, we investigate the conditions on the firing rates of timed continuous models that make a given continuous system live.

📜 SIMILAR VOLUMES

On commoner's liveness theorem and super
On commoner's liveness theorem and supervisory policies that enforce liveness in free-choice Petri nets
✍ Ramavarapu S. Sreenivas 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 613 KB

A Petri net (PN) (Pe::erson, 1981;Reisig, 1985) is said to be live if it is possible to fire any transition from every reachable marking, although not: necessarily immediately. A free-choice Petri net (FCPN) is a PN, where every arc from a place to a transition is either t~e unique output arc from t

Fuzzy time semirings and fuzzy-timing co
Fuzzy time semirings and fuzzy-timing colored Petri nets
✍ Fuming Wu 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 219 KB 👁 2 views

We define a time scale as a linear-ordered commutative monoid LOC-monoid, for . short , which generalized the continuous time scale. Using some existing operations in fuzzy set theory, we equip our fuzzy time model with the algebraic structure of a semiring. This semiring structure provides a conven