Object Petri nets: Using the nets-within-nets paradigm

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

Volumn 3098, Issue , 2004, Pages 819-848

  Valk, Rüdiger ^a  

^a UNIVERSITY OF HAMBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS; SEMANTICS;

DYNAMICAL BEHAVIOURS; FORMAL SEMANTICS; INTERACTION MECHANISMS; MODELLING TECHNIQUES; NETS-WITHIN-NETS; OBJECT ORIENTED MODELLING; OBJECT PETRI NETS; REAL-WORLD OBJECTS;

PETRI NETS;

EID: 35048824812     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27755-2_23     Document Type: Article

References (73)

1. Rumbaugh, J., Jacobson, I., Booch, G.: The unified modeling language reference manual: The definitive reference to the UML from the original designers. Addison-Wesley object technology series. Addison-Wesley, Reading, Mass. (1999)
2. Jessen, E., Valk, R.: Rechensysteme: Grundlagen der Modellbildung. Springer-Verlag, Berlin (1987)
3. Valk, R.: Modelling of task flow in systems of functional units. 124, Universität Hamburg, Fachbereich Informatik (1987)
4. Valk, R.: Nets in computer organisation. In Brauer, W., Reisig, W., Rozenberg, G., eds.: Lecture Notes in Computer Science: Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part I, Proceedings of an Advanced Course, Bad Honnef, September 1986. Volume 254., Springer-Verlag (1987) 377-396
5. Valk, R.: On processes of object Petri nets. Fachbereichsbericht 185, Fachbereich Informatik, Universität Hamburg (1996)
6. Valk, R.: Petri nets as token objects - an introduction to elementary object nets. In Desel, J., Silva, M., eds.: Application and Theory of Petri Nets 1998, Proceedings 15th International Conference, Lisbon, Portugal. Volume 1420 of Lecture Notes in Computer Science., Springer-Verlag (1998) 1-25
7. Valk, R.: Concurrency in communicating object Petri nets. [73] 164-195
8. Valk, R.: Reference and value semantics for object Petri nets. In: Proceedings of Colloquium on Petri Net Technologies for Modelling Communication Based Systems, October 21-22, 1999, Fraunhofer Gesellschaft, ISST (1999) 169-187
9. Valk, R.: Relating different semantics for object Petri nets, formal proofs and examples. Technical Report FBI-HH-B-226, University of Hamburg, Department for Computer Science Report/00 (2000)
10. Valk, R.: Mobile and distributed object versus central referencing. In Grabowski, Jens, Heymer, Stefan, eds.: Proceedings of 10. GI-ITG- Fachgespräch FBT 2000: Formale Beschreibungstechniken für verteilte Systeme, Lübeck, June 2000, Aachen, Shaker Verlag (2000) 7-27
11. Kummer, O.: Referenznetze. Logos Verlag (2002)
12. Wienberg, F.: Informations- und prozesorientierte Modellierung verteilter Systeme auf der Basis von Feature-Structure-Netzen. Dissertation, Universität Hamburg, Fachbereich Informatik (2001)
13. Kummer, O., Wienberg, F., Duvigneau, M.: Renew - The Reference Net Workshop. http://renew.de/ (2004)
14. Farwer, B.: Linear Logic Based Calculi for Object Petri Nets. Logos Verlag, ISBN 3-89722-539-5, Berlin (2000)
15. Farwer, B.: Modelling protocols by object-based Petri nets. In Czaja, L., ed.: Concurrency Specification and Programming (CSP'01), Proceedings, University of Warsaw (2001) 87-96 published in Fundamenta Informaticae, 2002.
16. Farwer, B.: Comparing concepts of object Petri net formalisms. Fundamenta Informaticae 47 (2001) 247-258
17. Farwer, B., Lomazova, I.: A systematic approach towards object-based Petri net formalisms. In Bjorner, D., Zamulin, A., eds.: Perspectives of System Informatics, Proceedings of the 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, LNCS 2244. Springer-Verlag (2001) 255-267
18. Farwer, B.: A multi-region linear logic based calculus for dynamic Petri net structures. Fundamenta Informaticae 43 (2000) 61-79
19. Farwer, B.: A linear logic view of object Petri nets. Fundamenta Informaticae 37 (1999) 225-246
20. Köhler, M.: Mobile object net systems: Petri nets as active tokens. Technical Report 320, Universität Hamburg, Fachbereich Informatik, Vogt-Kölln Str. 30, 22527 Hamburg, Germany (2002)
21. Köhler, M., Rölke, H.: Concurrency for mobile object net systems. Fundamenta Informaticae 54 (2003)
22. v. Lüde, R., Moldt, D., Valk, R.: Sozionik: Modellierung soziologischer Theorie. Lit-Verlag (2003)
23. Cabac, L., Moldt, D., Rölke, H.: A proposal for structuring Petri net-based agent interaction protocols. In van der Aalst, W., Best, E., eds.: Proc. of 24nd International Conference on Application and Theory of Petri Nets 2003 (ICATPN 2003), Eindhoven, NL. Volume 2679 of Lecture Notes in Computer Science., Springer-Verlag (2003) 102-120
24. Köhler, M., Moldt, D., Rölke, H.: Modelling mobility and mobile agents using nets within nets. In van der Aalst, W., Best, E., eds.: Proc. of 24nd International Conference on Application and Theory of Petri Nets 2003 (ICATPN 2003), Eindhoven, NL, Berlin Heidelberg New York, to be published in Lecture Notes in Computer Science, Springer-Verlag (2003)
25. Battiston, E., De Cindio, F., Mauri, G.: Objsa nets: A class of high-level nets having objects as domains. In Rozenberg, G., ed.: Advances in Petri Nets 1988. Volume 340 of Lecture Notes in Computer Science., Springer-Verlag (1988) 20-43
26. Battiston, E., Chizzoni, A., Cindio, F.D.: Clown as a testbed for concurrent object-oriented concepts. [73] 131-163
27. Buchs, D., Guelfi, N.: Co-opn: A concurrent object oriented Petri net approach. In: Application and Theory of Petri Nets, 12th International Conference, IBM Deutschland (1991) 432-454
28. Christensen, S., Damgaard Hansen, N.: Coloured Petri nets extended with channels for synchronous communication. Technical Report DAIMI PB-390, Aarhus University (1992)
29. Biberstein, O.: CO-OPN/2: An Object-Oriented Formalism for the Specification of Concurrent Systems. Ph.d. thesis, University of Geneva (1997)
30. Biberstein, O., Buchs, D., Guelfi, N.: Object-oriented nets with algebraic specifications: The co-opn/2 formalism. [73] 73-130
31. Lakos, C.A.: Object Petri nets - definition and relationship to coloured Petri nets. Technical Report 94-3, Computer Science Department, University of Tasmania (1993)
32. Lakos, C.A.: From coloured Petri nets to object Petri nets. In: Proceedings of the 16th International Conference on the Application and Theory of Petri Nets, Turin, Italien. Volume 935 of Lecture Notes in Computer Science., Springer-Verlag (1995) 278-297 http://www.cs.adelaide.edu.au/users/charles/.
33. Lakos, C.A.: The role of substitution places in hierarchical coloured Petri nets. Technical Report 93-7, Computer Science Department, University of Tasmania (1993)
34. Lakos, C.A.: Pragmatic inheritance issues for object Petri nets. In: Proceedings of TOOLS Pacific 1995, Melbourne, Australien, Prentice-Hall (1995) 309-321 http: //www.cs.adelaide.edu.au/users/charles/.
35. Sibertin-Blanc, C.: Cooperative nets. In Valette, R., ed.: Application and Theory of Petri Nets 1994, Proceedings 15th International Conference, Zaragoza, Spain. Volume 815 of Lecture Notes in Computer Science., Springer-Verlag (1994) 471-490
36. Sibertin-Blanc, C.: Cooperative objects: Principles, use and implementation. [73] 216-246
37. Sibertin-Blanc, C.: Syroco: A c++ implementation of cooperative objects. Workshop on Petri Nets and Object-Oriented Models of Concurrency (1995) Überarbeitete Version.
38. Project, T.M.: Project homepage. http://www.tik.ee.ethz.ch/∼moses/ (2002)
39. Češka, M., Janoušek, V., Vojnar, T.: Pntalk - a computerized tool for object oriented Petri nets modelling. In Pichler, F., Moreno-Diaz, R., eds.: 6th International Workshop on Computer Aided Systems Theory (EUROCAST'97), Las Palmas de Gran Canaria. Volume 1333 of Lecture Notes in Computer Science., Springer-Verlag (1997) 591-610
40. Goldberg, A., Robinson, D.: Smalltalk-80: The Language. Addison-Wesley (1989)
41. PNtalk: Project homepage. http://www.fee.vutbr.cz/UIVT/homes/janousek/ pntalk/ (2002)
42. Janoušek, V.: Synchronous interactions of objects in object oriented Petri nets. In: Proceedings of MOSIS'99. (1999) 73-80 http://www.fee.vutbr.cz/∼janousek/.
43. Philippi, S.: OOPr/T-modelle - ein Pr/T-netz basierter Ansatz zur objektorientierten Modellierung. In Desel, J., Oberweis, A., eds.: 6. Workshop Algorithmen und Werkzeuge für Petrinetze, J.W. Goethe-Universität, Institut für Wirtschaft-informatik, Frankfurt am Main (1999) 36-41
44. Philippi, S.: Seamless object-oriented software development on a formal base. In: Workshop on Software Engineering and Petri-Nets, 21st International Conference on Application and Theory of Petri-Nets, Aarhus. (2000) http://www. uni-koblenz.de/∼philippi/.
45. Giese, H., Graf, J., Wirtz, G.: Closing the gap between object-oriented modeling of structure and behavior. In France, R., Rumpe, B., eds.: The Second International Conference on The Unified Modeling Language (UML'99). Volume 1723 of Lecture Notes in Computer Science., Springer-Verlag (1999) 534-549
46. OCoN: Project homepage. http://wwwmath.uni-muenster.de/cs/u/versys/ research/ocon/ (2002)
47. Basten, T., van der Aalst, W.M.: Inheritance of behavior. Journal of Logic and Algebraic Programming 47 (2001) 47-145
48. Schöf, S., Sonnenschein, M., Wieting, R.: Efficient simulation of Thor nets. In De Michealis, G., Diaz, M., eds.: Proceeding of the 16th International Conference on Application and Theory of Petri Nets, Turin. Volume 935 of Lecture Notes in Computer Science., Springer-Verlag (1995) 412-431
49. Köster, F., Schöf, S., Sonnenschein, M., Wieting, R.: Modelling of a library with thorns. [73] 375-390
50. Han, Y.: Software Infrastructure for Configurable Workflow Systems; A Model-Driven Approach Based on Higher-Order Object Nets and Corba. Wissenschaft und Technik Verlag, Berlin (1997) Dissertation an der TU Berlin.
51. 2: An object based Petri net programming notation. [73] 247-275
52. Agarwal, R., Bruno, G., Pescarmona, M.: Object-oriented extensions for Petri nets. Petri Net Newsletter 60 (2001) 26-41
53. Petri, C.: Introduction to general net theory. In Brauer, W., ed.: Net Theory and Applications: Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, 1979. Volume 84 of Lecture Notes in Computer Science., Springer-Verlag (1979) 1-19
54. Best, E., Fernández, C.: Nonsequential Processes. A Petri Net View. Volume 13. Springer Verlag EATCS Monographs on Theoretical Computer Science (1988)
55. Cohen, M., March, J., Olsen, J.: A garbage can model of organizational choice. Administrative Science Quarterly 17 (1972) 1-25
56. Masuch, M., LaPotin, P.: Beyond Garbage Cans: An AI Model of Organizational Choice. Administrtive Science Quarterly 36 (1989) 38-67
57. Köhler, M., Farwer, B.: Mobile object-net systems and their processes. In: Proceedings of the International Workshop on Concurrency, Specification, and Programming, CS&P 2003. (2003) 134-149
58. Köhler, M.: Mobile object net systems. In: 10. Workshop Algorithmen und Werkzeuge für Petrinetze, Universität Eichstätt (2003) 51-60
59. Köhler, M.: Object Petri nets: Definitions, properties and related models. Technical Report 329, Universität Hamburg, Fachbereich Informatik, Vogt-Kölln Str. 30, 22527 Hamburg, Germany (2003)
60. Köhler, M.: Decidability problems for object Petri nets. In Gesellschaft für Informatik, ed.: Informatiktage 2003. Fachwissenschaftlicher Informatik-Kongreß, Konradin Verlag (2003)
61. Köhler, M., Rölke, H.: Modelling sandboxes for mobile agents using nets within nets. In Busi, N., Martinelli, F., eds.: Workshop on Issues in Security and Petri Nets (WISP'03) at the International Conference on Application and Theory of Petri Nets 2003, University of Eindhoven (2003)
62. Köhler, M., Moldt, D., Rölke, H.: Modelling mobility and mobile agents using nets within nets. In v. d. Aalst, W., Best, E., eds.: Proceedings of the International Conference on Application and Theory of Petri Nets 2003. Volume 2679 of Lecture Notes in Computer Science., Springer-Verlag (2003) 121-140
63. Köhler, M., Rölke, H.: Formal analysis of multi-agent systems: The bucket-chain example. Technical Report to appear, University of Hamburg, Department for Computer Science Report/04 (2004)
64. Moldt, D., Rölke, H.: Pattern based workflow design using reference nets. In van der Aalst, W., ter Hofstede, A., Weske, M., eds.: Proc. of International Conference on BUSINESS PROCESS MANAGEMENT, Eindhoven, NL, Berlin Heidelberg New York, to be published in Lecture Notes in Computer Science, Springer-Verlag (2003)
65. Cabac, L., Moldt, D., Rölke, H.: A proposal for structuring petri net-based agent interaction protocols. In: Lecture Notes in Computer Science: 24th International Conference on Application and Theory of Petri Nets, Eindhoven, Netherlands, June 2003. (2003)
66. Farwer, B., Leuschel, M.: Model checking object Petri nets in Prolog. Technical Report DSSE-TR-2003-4, Declarative Systems and Software Engineering Group, School of Electronics and Computer Science, University of Southampton, SO17 1BJ, UK (2003)
67. Farwer, B., Misra, K.: Dynamic modification of system structures using LLPNs. In: Perspectives Of System Informatics, Proceedings of the 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, LNCS 2890. Springer-Verlag (2003) 274-293
68. Fehling, R.: A concept of hierarchical Petri nets with building blocks. In Rozeǹberg, G., ed.: Advances in Petri Nets 1993. LNCS 674, Springer-Verlag (1993) 148-168
69. Farwer, B., Misra, K.: Modelling with hierarchical object Petri nets. Fundamenta Informaticae 55 (2003) 129-147
70. Köhler, M., Moldt, D., Rölke, H., Valk, R.: Structuring of complex socionic systems using reference nets. Technical Report FBI-HH-B-248, University of Hamburg, Department for Computer Science Report/03 (2003)
71. Ezpeleta, J., Moldt, D.: A proposal for flexible testing of deadlock control strategies in resource allocation systems. In Pahlavani, Z., ed.: Proceedings of International Conference on Computational Intelligence for Modelling Control and Automation, in Vienna, Austria, 12-14 February. (2003)
72. Ezpeleta, J., Valk, R.: Modelling assembly systems using object Petri nets and deadlock avoidance. Technical Report to appear, University of Hamburg, Department for Computer Science Report/04 (2004)
73. Agha, G., De Cindio, F., Rozenberg, G., eds.: Advances in Petri Nets: Concurrent Object-Oriented Programming and Petri Nets. Volume 2001 of Lecture Notes in Computer Science. Springer-Verlag (2001)