Abstract
The aim of this work is the modeling and verification of concurrent systems that are subject to dynamic changes by using extensions of Petri nets. In previous studies, we have introduced net rewriting systems and a subclass of these called reconfigurable nets. In a net rewriting system, a system configuration is described as a Petri net and a change in configuration is described as a graph rewriting rule. A reconfigurable net is a net rewriting system where a change in configuration amounts to a modification in the flow relations of the places in the domain of the involved rule in accordance with this rule, independently of the context in which this rewriting applies. In both models, the enabling of a rule depends only on the net topology. Here we introduce marked-controlled net rewriting systems and marked-controlled reconfigurable nets where the enabling of a rule also depends on the net marking. We show an implementation of marked-controlled reconfigurable nets with Petri nets. Even though the expressiveness of both models is the same, with marked-controlled reconfigurable nets, we can easily and directly model systems that change their structure dynamically. It may be more efficient to directly implement the methods of verification of properties of Petri nets on the marked-controlled reconfigurable nets model.
This work has been partially supported by CICYT TIC 2001-2705-C03-01, by Acción Integrada Hispano-Alemana HA2001-0059 and by Proyecto de Investigación UPV 7176.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Asperti, A., Busi, N.: Mobile Petri Nets. Technical report UBLCS-96-10, University of Bologna, Italy (1996)
Badouel, E., Darondeau, P., Tokmakoff, A.: Modelling Dynamic Agents Systems with Cooperating Automata. In: Proc. Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA 1999), USA, pp. 11–17 (1999)
Badouel, E., Llorens, M., Oliver, J.: Modelling Concurrent Systems: Reconfigurable Nets. In: Proc. Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA 2003), USA, vol. IV, pp. 1568–1574 (2003)
Baldan, P.: Modelling Concurrent Computations: From Contextual Petri Nets to Graph Grammars. PhD Thesis, University of Pisa TD-1/00 (2000)
Buscemi, M., Sassone, V.: High-level Petri nets as type theories in the Join calculus. In: Honsell, F., Miculan, M. (eds.) FOSSACS 2001. LNCS, vol. 2030, pp. 104–120. Springer, Heidelberg (2001)
Corradini, A.: Concurrent Computing: From Petri Nets to Graph Grammars. In: Invited talk at the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation. ENTCS, vol. 2, Elsevier, Amsterdam (1995), http://www.elsevier.nl/locate/entcs/volume2.html
Dufourd, C., Finkel, A., Schnoebelen, P.: Reset nets between decidability and undecidability. In: Larsen, K.G., Skyum, S., Winskel, G. (eds.) ICALP 1998. LNCS, vol. 1443, pp. 103–115. Springer, Heidelberg (1998)
Engelfriet, J., Leih, G., Rozenberg, G.: Net Based Description of Parallel Objectbased Systems, or POTs and POPs. In: de Bakker, J.W., Rozenberg, G., de Roever, W.-P. (eds.) REX 1990. LNCS, vol. 489, pp. 229–273. Springer, Heidelberg (1991)
Fournet, C., Gonthier, G., Lévy, J., Maranget, L., Rémy, D.: A Calculus of Mobile Agents. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol. 1119, pp. 406–421. Springer, Heidelberg (1996)
Gradit, P., Vernadat, F., Azéma, P.: Layered Δ-Net Specification of a Workshop. In: Proc. Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA 1999), USA, vol. VI, pp. 2808–2814 (1999)
Llorens, M., Oliver, J.: Sistemas de Reescritura de Redes. In: XI Jornadas de Concurrencia, Benicassim, Castellón (Spain), pp. 237–250 (2003)
Llorens, M.: Redes Reconfigurables. Modelización y Verificación. Phd thesis, Departamento de Sistemas Informáticos y Computación, Universidad Politécnica de Valencia, Spain (2003)
Llorens, M., Oliver, J.: Structural and Dynamic Changes in Concurrent Systems: Reconfigurable Nets. IEEE Transactions on Computers 53(9), 1147–1158 (2004)
Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes. Journal of Information and Computation 100(1), 1–77 (1992)
Murata, T.: Petri Nets: Properties, Analysis and Applications. Proc. of the IEEE 77(4), 541–580 (1989)
Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice-Hall, Englewood Cliffs (1981)
Schneider, H.: Graph Grammars as a Tool to Define the Behavior of Processes Systems: From Petri Nets to Linda. In: Proc. 5th Int. Conf. on Graph Grammars and their Application to Computer Science, Williamsburg, USA, pp. 7–12 (1994)
Valk, R.: Self-modifying Nets, a Natural Extension of Petri Nets. In: Ausiello, G., Böhm, C. (eds.) ICALP 1978. LNCS, vol. 62, pp. 464–476. Springer, Heidelberg (1978)
Valk, R.: Generalizations of Petri Nets. In: Gruska, J., Chytil, M.P. (eds.) MFCS 1981. LNCS, vol. 118, pp. 140–155. Springer, Heidelberg (1981)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Llorens, M., Oliver, J. (2004). Introducing Structural Dynamic Changes in Petri Nets: Marked-Controlled Reconfigurable Nets. In: Wang, F. (eds) Automated Technology for Verification and Analysis. ATVA 2004. Lecture Notes in Computer Science, vol 3299. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30476-0_26
Download citation
DOI: https://doi.org/10.1007/978-3-540-30476-0_26
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23610-8
Online ISBN: 978-3-540-30476-0
eBook Packages: Springer Book Archive