On Liveness of Subclasses of Petri Nets with Permission or Inhibitor Arcs
TRANSACTIONS- SOCIETY OF INSTRUMENT AND CONTROL ENGINEERS ; 31 , 10 ; 1722-1729
01.01.1995
8 pages
Aufsatz (Zeitschrift)
Unbekannt
DDC: | 629.8 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
On Liveness of Timed Petri Nets with Shared Resources Under the Earliest Firing Rule
British Library Online Contents | 1994
|On the Modeling Power of Free Firing Petri Nets with Single-Weighted Arcs
British Library Online Contents | 1994
|A liveness criterion for the GE-nets
TIBKAT | 1976
|British Library Online Contents | 2018
|