Separation of Control and Data Flow in High-Level Petri Nets: Transforming Dual Flow Nets into Object Petri Nets

• Autorzy: Farwer B. , Varea M.
• Języki publikacji: EN

Abstrakty

EN

This paper summarises two approaches, Dual Flow Nets (DFN) and Object Petri Nets (OPN), and offers a translation mechanism between them. While the DFN model tackles the separation of control and data flow computing aspects, the OPN model has a more generalised structure. The separation between control and data flow can enhance the readability of models, and allows different tools to operate on distinct parts of the model. The aim of this paper is to show how the modelling based on control/data-flow analysis can benefit from an object-based Petri net approach. Tool support and a translation mechanism that is faithful are presented, giving an extra dimension (hierarchy) to the existing paradigm of control and data flow interacting in a model. Our methodology provides a comprehensive separation of these two parts, which can be used to feed analysis or synthesis tools, while still being able to reason about both parts through formal methods of verification.

Słowa kluczowe

EN

Dual Flow Nets (DFN); object Petri-net; transformation

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2006
• Tom: Vol. 72, nr 1-3
• Strony: 123--137
• Opis fizyczny: wykr., bibliogr. 21 poz.

Twórcy

autor

Farwer B.

autor

Varea M.

• University of Hamburg, Department of Computer Science, Vogt-Kölln-str. 30, D-22527 Hamburg,

Bibliografia

• [1] L. A. Cortés, P. Eles, and Z. Peng. Verification of Embedded Systems using a Petri Net based Representation. In Proc. of the 13th International Symposium on System Level Synthesis (ISSS), pages 149-155, Madrid, Spain, 20-22 2000.
• [2] B. Farwer. Comparing concepts of object Petri net formalisms. Fundamenta Informaticae, 47(3-4):247-258, 2001.
• [3] B. Farwer, S. Kalvala, and K. Misra. Controller synthesis for object Petri nets. In Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, pages 432-451. LNCS 2885. Springer-Verlag, 2003.
• [4] B. Farwer and M. Köhler. Mobile object-net systems and their processes. Fundamenta Informaticae, 60(1-4):113-129, 2004.
• [5] B. Farwer and M. Leuschel. Model checking object Petri nets in Prolog. In Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming, pages 20-31. ACM Press, 2004.
• [6] B. Farwer and K. Misra. Modelling with hierarchical object Petri nets. Fundamenta Informaticae, 55(2):129-147, 2003.
• [7] B. Farwer, D. Moldt, and F. Garc´ıa-Vallés. An approach to modelling FMS with dynamic object Petri nets. In Proceedings of the 2002 IEEE International Conference on Systems, Man and Cybernetics., pages 1-6, Hammamet, Tunisia, 2002.
• [8] K. Jensen. Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use. EATCS Monographs in Theoretical Computer Science, 3(Practical Use), 1997.
• [9] K. Jensen and G. Rozenberg, editors. High-level Petri Nets: Theory and Application, 1991.
• [10] O. Kummer, F. Wienberg, and M. Duvigneau. The reference net workshop RENEW (home page). http://www.renew.de.
• [11] O. Labbani, J.-L. Dekeyser, and P. Boulet. Mode-automata based methodology for scade. In M. Morari and L. Thiele, editors, Hybrid Systems: Computation and Control: 8th International Workshop, HSCC 2005, LNCS 3414, pages 386-401. Springer-Verlag, 2005.
• [12] C. A. Lakos. Object Petri nets-definition and relationship to coloured nets. Technical report, TR94-3, Computer Science Department, University of Tasmania, 1994.
• [13] I. A. Lomazova. Nested Petri nets - a formalism for specification of multi-agent distributed systems. In H.-D. Burkhard, L. Czaja, H.-S. Nguyen, and P. Starke, editors, Concurrency Specification and Programming (CSP'99), Proceedings, pages 127-140. University of Warsaw, 1999.
• [14] T. Murata. Petri Nets: Properties, Analysis and Applications. Proceedings IEEE, 77(4):541-580, 1989.
• [15] Z. Peng and K. Kuchcinski. Automated Transformation of Algorithms into Register-Transfer Level Implementations. IEEE Transaction on Computer-Aided Design of Integrated Circuits and Systems, 13(2):150-166, 1994.
• [16] R. Valk. Petri nets as token objects. An introduction to elementary object nets. In J. Desel and M. Silva, editors, Applications and Theory of Petri Nets 1998. Proceedings, volume 1420, pages 1-25. Springer-Verlag, 1998.
• [17] R. Valk. Relating different semantics for object Petri nets. Technical report, FBI-HH-B-266/00, Fachbereich Informatik, Universit¨at Hamburg, 2000.
• [18] R. Valk and C. Girault, editors. Petri Nets for Systems Engineering - A Guide to Modeling, Verification, and Applications. Springer-Verlag, 2003.
• [19] M. Varea, B. M. Al-Hashimi, L. A. Cortés, P. Eles, and Z. Peng. Symbolic Model Checking of Dual Transitions Petri Nets. In X International Symposium on Hardware/Software Codesign (CODES), pages 43-48, 2002.
• [20] M. Varea. Modelling and Verification of Embedded Systems based on Petri Net oriented Representations. PhD thesis, UK, 2003.
• [21] M. Varea, B. M. Al-Hashimi, L. A. Cortés, P. Eles, and Z. Peng. Dual Flow Nets: Modelling the Control/Data-Flow Relationship in Embedded Systems. ACM Transactions on Embedded Computing Systems (TECS), 2005.