Abstract
A new kind of behaviour-preserving insertions of new transitions in Petri nets is proposed, and a method for computing such insertions using a complete unfolding prefix of the Petri net is developed. Moreover, as several transformations often have to be applied one after the other, the developed theory allows one to avoid (expensive) re-unfolding after each transformation, and instead use local modifications on the existing complete prefix to obtain a complete prefix of the modified net.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Chu, T.A.: Synthesis of Self-Timed VLSI Circuits from Graph-Theoretic Specifications. Ph.D. thesis, Lab. for Comp. Sci. MIT (1987)
Cohn, P.: Universal Algebra, 2nd edn. Reidel, Dordrecht (1981)
Engelfriet, J.: Branching processes of Petri nets. Acta Inf. 28, 575–591 (1991)
Esparza, J., Römer, S., Vogler, W.: An improvement of McMillan’s unfolding algorithm. FMSD 20(3), 285–310 (2002)
Khomenko, V.: Model Checking Based on Prefixes of Petri Net Unfoldings. Ph.D. thesis, School of Comp. Sci., Newcastle Univ. (2003)
Khomenko, V.: Behaviour-preserving transition insertions in unfolding prefixes. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol. 4546, pp. 204–222. Springer, Heidelberg (2007)
Khomenko, V.: Efficient automatic resolution of encoding conflicts using STG unfoldings. IEEE Trans. VLSI Syst. 17(7), 855–868 (2009); Special section on asynchronous circuits and systems
Khomenko, V.: A new type of behaviour-preserving transition insertions in unfolding prefixes. Tech. Rep. CS-TR-1189, School of Comp. Sci., Newcastle Univ. (2010), http://www.cs.ncl.ac.uk/publications/trs/papers/1189.pdf
Khomenko, V., Koutny, M., Vogler, V.: Canonical prefixes of Petri net unfoldings. Acta Inf. 40(2), 95–118 (2003)
Murata, T.: Petri nets: Properties, analysis and applications. Proc. of the IEEE 77(4), 541–580 (1989)
Rosenblum, L., Yakovlev, A.: Signal graphs: from self-timed to timed ones. In: Proc. Workshop on Timed Petri Nets, pp. 199–206. IEEE Comp. Soc. Press, Los Alamitos (1985)
Vanbekbergen, P., Catthoor, F., Goossens, G., De Man, H.: Optimized synthesis of asynchronous control circuits from graph-theoretic specifications. In: Proc. ICCAD 1990, pp. 184–187. IEEE Comp. Soc. Press, Los Alamitos (1990)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Khomenko, V. (2010). A New Type of Behaviour-Preserving Transition Insertions in Unfolding Prefixes. In: Ehrig, H., Rensink, A., Rozenberg, G., Schürr, A. (eds) Graph Transformations. ICGT 2010. Lecture Notes in Computer Science, vol 6372. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15928-2_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-15928-2_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-15927-5
Online ISBN: 978-3-642-15928-2
eBook Packages: Computer ScienceComputer Science (R0)