The consistent use of names and polymorphism in the definition of Object Petri Nets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1091, Issue , 1996, Pages 380-399

  Lakos, Charles ^a  

^a UNIVERSITY OF TASMANIA   (Australia)

Author keywords

Multiple levels of abstraction; Object orientation; Theory of high level petri nets

Indexed keywords

CALCULATIONS;

ANALYSIS TECHNIQUES; COLOURED PETRI NETS; HIGH-LEVEL PETRI NETS; MODELLING SYSTEMS; MULTIPLE LEVELS; OBJECT ORIENTATION; OBJECT PETRI NETS; OBJECT-ORIENTED CONCEPTS;

PETRI NETS;

EID: 84957641515     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61363-3_21     Document Type: Conference Paper

References (34)

1. G. Agha, S. Frølund, W.Y. Kim, R. Panwar, A. Patterson, and D. Sturman Abstraction and Modularity Mechanisms for Concurrent Computing Research Directions in Concurrent Object-Oriented Programming, G. Agha, P. Wegner, and A. Yonezawa (eds.), pp 3-21, MIT Press (1993).
2. G.A. Agha Actors: A Model of Concurrent Computation in Distributed Systems The MIT Press series in artificial intelligence, MIT Press (1986).
3. E. Battiston, A. Chizzoni, and F.D. Cindio Inheritance and Concurrency in CLOWN Proceedings of Workshop on Object-Oriented Programming and Models of Concurrency, Torino, Italy (1995).
4. E. Battiston and F. de Cindio Class Orientation and Inheritance in Modular Algebraic Nets Proceedings of IEEE International Conference on Systems, Man and Cybemetics2, pp 717-723, Le Touquet, France, IEEE (1993).
5. ŷ A Class of High-level Nets having Objects as Domains Advances in Petri Nets 1988, G. Rozenberg (ed.), Lecture Notes in Computer Science 340, pp 20-43, Springer-Verlag (1988).
6. M. Bever, K. Geihs, L. Heuser, M. Mühlhäuser, and A. Schill Distributed Systems, OSF DCE, and Beyond Proceedings of International DCE Workshop: DCE - the OSF distributed computing environment: Client/Server Model and Beyond, Lecture notes in computer science 731, Karlsruhe, Germany, Springer-Verlag (1993).
7. O. Biberstein and D. Buchs Structured Algebraic Nets with Object-Orientation Proceedings of Workshop on Object-Oriented Programming and Models of Concurrency, Torino, Italy (1995).
8. D. Buchs and N. Guelfi CO-OPN: A Concurrent Object Oriented Peîri Net Approach Proceedings of 12th International Conference on the Application and Theory of Petri Nets, Gjem, Denmark (1991).
9. D. Buchs and N. Guelfi Open Distributed Programming Using the Object Oriented Specification Formalism CO-OPN Proceedings of 5th International Conference on Putting into Practice Methods and Tools for Information System Design, Nantes (1992).
10. S. Christensen and N.D. Hansen Coloured Petri Nets Extended with Channels for Synchronous Communication Proceedings of 15th International Conference on the Application and Theory of Petri Nets, Lecture Notes in Computer Science 815, pp 159-178, Zaragoza, Springer-Verlag (1994).
11. P.A. Fishwick Computer Simulation: Growth Through Extension Proceedings of Modelling and Simulation (European Simulation Multiconference), pp 3-20, Barcelona, Society for Computer Simulation (1994).
12. S. Haddad A Reduction Theory for Coloured Nets. Advances in Petri Nets 1989, G. Rozenberg (ed.), Lecture Notes in Computer Science 424, pp 209-235, Springer-Verlag (1990).
13. K. Jensen Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use - Volume I: Basic Concepts EATCS Monographs in Computer Science, Vol. 26, Springer-Verlag (1992).
14. K. Jensen, S. Christensen, P. Huber, and M. Holla Design/CPN™: A Reference Manual MetaSoftware Corporation (1992).
15. C. Lakos and S. Christensen A General Systematic Approach to Arc Extensions for Coloured Petri Nets Proceedings of 15th International Conference on the Application and Theory of Petri Nets, Lecture Notes in Computer Science 815, pp 338-357, Zaragoza, Springer-Verlag (1994).
16. C. Lakos and C. Keen LOOPN++: A New Language for Object-Oriented Petri Nets Proceedings of Modelling and Simulation (European Simulation Multiconference), pp 369-374, Barcelona, Society for Computer Simulation (1994).
17. C.A. Lakos Object Petri Nets - Definition and Relationship to Coloured Nets Technical Report TR94-3, Computer Science Department, University of Tasmania (1994).
18. C.A. Lakos The Consistent Use of Names and Polymorphism to Achieve an Elegant Definition of Object Petri Nets Technical Report R95-12, Computer Science Department, University of Tasmania (1995).
19. C.A. Lakos From Coloured Petri Nets to Object Petri Nets Proceedings of 16th International Conference on the Application and Theory of Petri Nets, Lecture Notes in Computer Science 935, pp 278-297, Torino, Italy, Springer-Verlag (1995).
20. C.A. Lakos Pragmatic Inheritance Issues for Object Petri Nets Proceedings of TOOLS Pacific 1995, Melbourne, Australia, Prentice-Hall (1995).
21. B. Meyer Object-Oriented Software Construction Prentice Hall (1988).
22. B. Meyer Eiffel: The Language Prentice Hall (1992).
23. R. Milner Elements of Interaction Communications of the ACM, 36,1, pp 78-89 (1993).
24. R. Milner, J. Parrow, and D. Walker A Calculus of Mobile Processes, I Information and Computation, 100,1, pp 1-40(1992).
25. C.A. Petri "Forgotten" Topics of Net Theory Advances in Petri Nets 1986Lecture Notes in Computer Science, Springer-Verlag (1986).
26. W. Reisig Petri nets: An Introduction EATCS Monographs on Theoretical Computer Science, Vol. 4, Springer- Verlag (1985).
27. C. Sibertin-Blanc A Client-Server Protocol for the Composition of Petri Nets Proceedings of 14th International Conference on the Application and Theory of Petri Nets, Lecture Notes in Computer Science 691, pp 377-396, Chicago, Springer-Verlag (1993).
28. C. Sibertin-Blanc Cooperative Nets Proceedings of 15th International Conference on the Application and Theory of Petri Nets, Lecture Notes in Computer Science 815, pp 471-490, Zaragoza, Spain, Springer-Verlag (1994).
29. C. Sibertin-Blanc, N. Hameurlain, and P. Touzeau SYROCO: A C++ Implementation of Cooperative Objects Proceedings of Workshop on Object-Oriented Programming and Models of Concurrency, Torino, Italy (1995).
30. P.A. Swatman, P.M.C. Swatman, and R. Duke Electronic Data Interchange: A High-level Formal Specification in Object-Z Proceedings of 6th Australian Software Engineering Conference, pp 341-354, Sydney, Australia, Springer-Verlag (1991).
31. R. Valk Modelling Concurrency by Task/Flow EN Systems 3rd Workshop on Concurrency and Compositionality, 1991, E. Best, et al. (ed.), GMD-Studien 191, pp 207-215 (1991).
32. R. Valk Petri Nets as Dynamical Objects Proceedings of Workshop on Object-Oriented Programming and Models of Concurrency, Torino, Italy (1995).
33. P. Wegner Dimensions of Object-Based Language Design Proceedings of OOPSLA 87, pp 168-182, Orlando, Florida, ACM (1987).
34. P. Wegner Inheritance as an Incremental Modification Mechanism, or What Like Is and Isn't Like Proceedings of ECOOP '88 - European Conference on Object Oriented Programming, Lecture Notes in Computer Science 322, pp 55-77, Oslo, Norway, Springer Verlag (1988).