A decomposition theorem for finite persistent transition systems |
| |
| Authors: | Eike Best Philippe Darondeau |
| |
| Affiliation: | 1.Parallel Systems, Department of Computing Science,Carl von Ossietzky Universit?t Oldenburg,Oldenburg,Germany;2.INRIA, Centre Rennes-Bretagne Atlantique,Rennes Cedex,France |
| |
| Abstract: | In this paper, we consider finite labelled transition systems. We show that if such transition systems are deterministic,
persistent, and weakly periodic, then they can be decomposed in the following sense. There exists a finite set of label-disjoint
cycles such that any other cycle is Parikh-equivalent to a multiset of cycles from this set. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
