Modelling with Hierarchical Object Petri Nets

• Autorzy: Farwer B. , Misra K.
• Języki publikacji: EN

Abstrakty

EN

Fehling's hierarchical Petri nets are a net modelling framework based on refinement and abstraction of nets. Object Petri nets are a Petri net-based method of encapsulation. We bring these two domains together in the new concept of hierarchical object Petri nets. Defining hierarchical object Petri nets forces us to consider what it means to preserve synchronisation when abstracting or refining an object Petri net. The goal is to provide a sound theoretical basis for building computer tools to develop high-level Petri net models following the nets-within-nets paradigm.

Słowa kluczowe

EN

Petri net; hierarchical Petri nets; modelling

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2003
• Tom: Vol. 55, nr 2
• Strony: 129--147
• Opis fizyczny: bibliogr. 18 poz.

Twórcy

autor

Farwer B.

autor

Misra K.

• Universität Hamburg Fachbereich Informatik Vogt-Kölln-Str. 30 D-22527 Hamburg, Germany,

Bibliografia

• [1] Abramsky, S.: Interaction categories (Extended abstract), Theory and Formal Methods 1993: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods (G. L. Burn, S. J. Gay, M. D. Ryan, Eds.), Workshops in Computer Science, Springer-Verlag, 1993.
• [2] Abramsky, S., Gay, S., Nagarajan, R.: Interaction Categories and the Foundations of Typed Concurrent Programming, in: Deductive Program Design: Proceedings of the 1994 Marktoberdorf International Summer School (M. Broy, Ed.), NATO ASI Series F, Springer-Verlag, 1996
• [3] Agha, G., DeCindio, F., Rozenberg, G., Eds.: Concurrent Object-Oriented Programming and Petri Nets, Number 2001 in Lecture Notes in Computer Science, Springer, 2001.
• [4] Brown, C.: Linear Logic and Petri Nets: Categories, Algebra and Proof, Ph.D. Thesis, AI Laboratory, Department of Computer Science, University of Edinburgh, 1991.
• [5] Brown, C., Gurr, D.: Refinement and simulation of nets—a categorical characterization, Lecture Notes in Computer Science, 616, 1992.
• [6] Brown, C., Gurr, D., de Paiva, V.: A linear specification language for Petri nets, Technical Report 363, Computer Science Department, Aarhus University, 1991.
• [7] Farwer, B.: A Linear Logic View of Object Petri nets, Fundamenta Informaticae, 37, 1999, 225-246. [8] Farwer, B., Misra, K.: Object net modification using LLPNs, Presented at the Linear Logic workshop of the Federated Logic Conference FLoC-LL, July 2002, Revised version to appear in: Proceedings of the International Conference on Perspectives of System Informatics, Novosibirsk, July 2003.
• [9] Fehling, R.: A Concept of Hierarchical Petri nets with Building Blocks, in: Advances in Petri nets (G. Rozenberg, Ed.), vol. 674 of Lecture Notes in Computer Science, Springer-Verlag, 1993, 148-168.
• [10] Hong, J., Bae, D.: HOONets: Hierarchical Object-Oriented Petri nets for System Modeling and Analysis, Technical report, Korea Advanced Institute of Science and Technology, November 1998.
• [11] Kis, T., Neuendorf, K.-P., Xirouchakis, P.: Scheduling with Chameleon Nets, Proceedings of the Workshop on Petri Nets in System Engineering (PNSE’97) (B. Farwer, D. Moldt, M.-O. Stehr, Eds.), Universität Hamburg, 1997.
• [12] Milner, R.: Communication and Concurrency, Prentice Hall, Cambridge, 1989.
• [13] Misra, K.: On LPetri nets, Proceedings of 13th European Summer School on Logic, Language and Information (K. Streignitz, Ed.), European Association for Logic, Language and Information—FoLLI, European Association for Logic, Language and Information—FoLLI, May 2001.
• [14] Valk, R.: Petri Nets as Token Objects. An Introduction to Elementary Object Nets, Applications and Theory of Petri Nets 1998. Proceedings (J. Desel, M. Silva, Eds.), 1420, Springer-Verlag, 1998.
• [15] Valk, R.: Reference and Value Semantics for Object Petri Nets, in: Colloquium on Petri Net Technologies for Modelling Communication Based Systems (H. Weber, H. Ehrig, W. Reisig, Eds.), Fraunhofer Institute for Software and Systems Engineering ISST, Berlin, 1999, 169-188.
• [16] Valk, R.: Relating Different Semantics for Object Petri nets, Technical Report B-226-00, TGI – Theoretical Foundations of Computer Science Group, Computer Science, University of Hamburg, June 2000.
• [17] Valk, R.: Concurrency in Communicating Object Petri nets, in: Concurrent Object-Oriented Programming and Petri Nets (G. Agha, F. de Cindio, G. Rozenberg, Eds.), Lecture Notes in Computer Science, Springer-Verlag, 2001, 164-195.
• [18] Valk, R., Girault, C., Eds.: Petri Nets for Systems Engineering – A Guide to Modeling, Verification, and Applications, Springer-Verlag, 2003.