|
|||||
|
|
Liveness, fairness, and recurrence in Petri nets |
|
| Authors: | Ekkart Kindler Wil van der Aalst |
| Affiliation: | a Humboldt-Universität zu Berlin, Institut für Informatik, D-10099 Berlin, Germany;b Eindhoven University of Technology, Department of Mathematics and Computing Science, P.O. Box 513, 5600 MB Eindhoven, The Netherlands |
| Abstract: | |
| Keywords: | Concurrency Distributed systems Petri nets Theory of computation |
| 本文献已被 ScienceDirect 等数据库收录！ | |