Modelling with hierarchical object Petri nets

Fundamenta Informaticae

Volumn 55, Issue 2, 2003, Pages 129-147

  Farwer, Berndt ^a   Misra, Kundan ^b  

^a UNIVERSITY OF HAMBURG   (Germany)

^b UNIVERSITY OF WARWICK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; LARGE SCALE SYSTEMS; OBJECT ORIENTED PROGRAMMING; SYNCHRONIZATION;

HIERARCHICAL OBJECTS;

PETRI NETS;

EID: 0037560154     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (18)

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.