On Preserving Structural and Behavioural Properties by Composing Net Systems on Interfaces

• Autorzy: Bernardinello L. , Monticelli E. , Pomello L.
• Języki publikacji: EN

Abstrakty

EN

We study several properties of an operation which combines two net systems by identifying local states and synchronizing events according to morphisms towards an interface. We propose this operation as a tool for modular system design, where different components are required to comply with a shared interface, or protocol of communication. We prove results on the preservation of structural properties, expressed as invariants, and of behavioural properties, in particular of deadlock-freeness.

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2007
• Tom: Vol. 80, nr 1-3
• Strony: 31--47
• Opis fizyczny: bibliogr. 15 poz., wykr.

Twórcy

autor

Bernardinello L.

autor

Monticelli E.

autor

Pomello L.

• DISCo-Universita degli Studi di Milano-Bicocca, Via Bicocca degli Arcimboldi 8, I-20126 Milano, Italy,

Bibliografia

• [1] Bednarczyk,M., Bernardinello, L., Caillaud, B., Pawlowski,W., Pomello, L.: Modular System Development with Pullbacks, in: Applications and Theory of Petri Nets 2003 (W. van der Aalst, E. Best, Eds.), vol. 2679 of LNCS, Springer-Verlag, 2003, 140-160.
• [2] Bednarczyk, M. A., Borzyszkowski, A. M., Somła, R.: Finite Completeness of Categories of Petri Nets, Fundamenta Informaticae, 43(1-4), 2000, 21-48.
• [3] Bernardinello, L., Ferigato, C., Pomello, L.: Towards modular synthesis of EN systems, in: Synthesis and Control of Discrete Event Systems (B. Caillaud, P. Darondeau, L. Lavagno, X. Xie, Eds.), Kluwer Academic Publishers, 2002, 103-113.
• [4] Best, E., Devillers, R., Koutny, M.: Petri Net Algebra, EATCS Monographs on Theoretical Computer Science, Springer-Verlag, 2001.
• [5] Dimitrovici, C., Hummert, U., Petrucci, L.: Semantics, composition and net properties of algebraic high-level nets, in: Advances in Petri Nets 1991, vol. 524 of LNCS, Springer, 1992, 93-117.
• [6] Ehrig, H., Hoffmann, K., Padberg, J.: Transformations of Petri Nets., Electr. Notes Theor. Comput. Sci., 148(1), 2006, 151-172.
• [7] Fabre, E.: On the construction of pullbacks for safe Petri nets, in: Petri Nets and Other Models of Concurrency-ICATPN 2006 (S. Donatelli, P. Thiagarajan, Eds.), vol. 4024 of LNCS, Springer, 2006, 166-180.
• [8] Girault, C., Valk, R.: Petri Nets for Systems Engineering, A Guide to Modelling, verification, and applications, Springer-Verlag, 2003.
• [9] Meseguer, J., Montanari, U.: Petri Nets Are Monoids, Information and computation, 88(2), October 1990, 105-155.
• [10] Nielsen, M., Rozenberg, G., Thiagarajan, P.: Elementary transition systems, Theoretical Computer Science, 96(1), 1992, 3-32.
• [11] Padberg, J., Urbasek, M.: Rule-Based Refinement of Petri Nets: A Survey, in: Advances in Petri Nets: Petri Net Technologies for Modeling Communication Based Systems (H. Ehrig, W. Reisig, G. Rozenberg, H. Weber, Eds.), vol. 2472 of LNCS, Springer, 2003, 161-196.
• [12] Pomello, L., Bernardinello, L.: Formal tools for modular system development, in: Applications and Theory of Petri Nets 2004 (J. Cortadella,W. Reisig, Eds.), vol. 3099 of LNCS, Springer-Verlag, 2004, 77-96.
• [13] Pomello, L., Rozenberg, G., Simone, C.: A Survey of Equivalence Notions for Net Based Systems, in: Advances in Petri Nets 1992 (G. Rozenberg, Ed.), vol. 609 of LNCS, Springer-Verlag, 1992, 410-472.
• [14] Reisig, W., Rozenberg, G., Eds.: Lectures on Petri Nets I: Basic Models, vol. 1491 of LNCS - Advances in Petri nets, Springer-Verlag, 1998.
• [15] Winskel, G.: Petri Nets, Algebras, Morphisms and Compositionality, Inf. & Comp., 72(3), 1987, 197-238.