Compositional generation of home states in free choice nets |
| |
| Authors: | Prof. Eike Best Ludmila Cherkasova Jörg Desel |
| |
| Affiliation: | (1) Institut für Informatik, UniversitÄt Hildesheim, D-3200 Hildesheim, Germany;(2) Institute of Informatics Systems, USSR Academy of Sciences, USSR;(3) Institut für Informatik, Technische UniversitÄt München, München, Germany;(4) Present address: Hewlett Packard, 1501 Page Mill Road, 94303-0969 Palo Alto, California, CA, USA |
| |
| Abstract: | Free choice nets are a class of Petri nets which allow the modelling of concurrency and nondeterministic choice, but with the restriction that choices cannot be influenced externally. Home states are initial states which lead to a strongly connected state graph, that is, a home state can be reached from any of its successor states. The main result of this paper characterises the home states of a well-formed free choice net compositionally by recourse to its decomposition into T-components. |
| |
| Keywords: | Petri nets Free choice nets Reversibility Home states Compositionality |
| 本文献已被 SpringerLink 等数据库收录！ |
|
