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.
Similar content being viewed by others
References
Best E., Darondeau P., Wimmel H.: Making Petri nets safe and free of internal transitions. Fundamenta Informaticae 80, 75–90 (2007)
Best, E., Esparza, J., Wimmel, H., Wolf, K.: Separability in conflict-free Petri nets. In: Virbitskaite, I., Voronkov, A. (eds.) Proc. PSI’2006. LNCS, vol. 4378, pp. 1–18. Springer (2006)
Chen, W.K.: Applied Graph Theory. North-Holland, Amsterdam (1971)
Commoner F., Holt A.W., Even S., Pnueli A.: Marked directed graphs. J. Comput. Syst. Sci. 5(5), 511–523 (1971)
Darondeau P.: Equality of languages coincides with isomorphism of reachable state graphs for bounded and persistent petri Nets. Inf. Process. Lett. 94, 241–245 (2005)
Desel, J., Esparza, J.: Free choice Petri nets. In: Cambridge Tracts in Theoretical Computer Science, 242 pp. ISBN:0-521-46519-2 (1995)
Grabowski J.: The decidability of persistence for vector addition systems. Inf. Process. Lett. 11(1), 20–23 (1980)
Keller, R.M.: A fundamental theorem of asynchronous parallel computation. In: Parallel Processing. LNCS, vol. 24, pp. 102–112. Springer (1975)
Landweber L.H., Robertson E.L.: Properties of conflict-free and persistent Petri nets. JACM 25(3), 352–364 (1978)
Yamasaki H.: On weak persistency of Petri nets. Inf. Process. Lett. 13(3), 94–97 (1981)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Best, E., Darondeau, P. A decomposition theorem for finite persistent transition systems. Acta Informatica 46, 237–254 (2009). https://doi.org/10.1007/s00236-009-0095-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00236-009-0095-6