Thiagarajan, P. S. ; Voss, K. (1984) A fresh look at free choice nets Information and Control, 61 (2). pp. 85-113. ISSN 0019-9958
Full text not available from this repository.
Official URL: http://www.sciencedirect.com/science/article/pii/S...
Related URL: http://dx.doi.org/10.1016/S0019-9958(84)80052-2
Abstract
A subclass of Petri nets called live and safe free choice nets (LSFC nets) is studied. LSFC nets model distributed systems that can exhibit both nonsequential and nondeterministic behaviours. It is shown that the restricted combination of concurrency and choice as represented by LSFC nets leads to a number of attractive system properties. It is also shown, through examples, that a "less" restrictive combination of concurrency and choice destroys these properties.
| Item Type: | Article |
|---|---|
| Source: | Copyright of this article belongs to Elsevier Science. |
| ID Code: | 50503 |
| Deposited On: | 25 Jul 2011 11:43 |
| Last Modified: | 25 Jul 2011 11:43 |
Repository Staff Only: item control page
