Paper Info
Title
Liveness, fairness, and recurrence in Petri nets
Abstract
thispaper, we will investigate the reverse direction ofthis implication. In particular, we will characterizea class of Petri nets for which liveness impliesrecurrence. Basically, this class is asymmetricchoice nets [7, 9] which is often also called extendedsimple nets [8, 6]. Since we extend the classemail: kindler@informatik.hu-berlin.de
Year
DOI
Venue
1999
10.1016/S0020-0190(99)00074-5
Inf. Process. Lett.
Keywords
Field
DocType
petri net,theory of computation,distributed systems,distributed system,concurrency,petri nets
Discrete mathematics,Petri net,Theory of computing,Concurrency,Computer science,Liveness,Theory of computation,Computation
Journal
Volume
Issue
ISSN
70
6
0020-0190
Citations 
PageRank 
References 
16
2.90
9
Authors
2
Name
Order
Citations
PageRank
Ekkart Kindler11219105.52
Wil Van Der Aalst2208941418.27