๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Preservation of liveness in hierarchical petri nets

โœ Scribed by Sadatoshi Kumagai; Shinzo Kodama; Kohkichi Tsuji; Youichi Nakamura

Book ID
112079244
Publisher
John Wiley and Sons
Year
1990
Tongue
English
Weight
735 KB
Volume
73
Category
Article
ISSN
1042-0967

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Timing and liveness in continuous Petri
Timing and liveness in continuous Petri nets
โœ C. Renato Vรกzquez; Manuel Silva ๐Ÿ“‚ Article ๐Ÿ“… 2011 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 481 KB

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-

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