-
2
-
-
0007674854
-
An Environment for Object-Oriented Conceptual Programming Based on PROT Nets
-
Rozenberg (Hrsg.): LNCS 340, Springer, Berlin
-
Baldassari, M.; Bruno, G.: An Environment for Object-Oriented Conceptual Programming Based on PROT Nets. In: Rozenberg (Hrsg.): Advances in Petri Nets. LNCS 340, Springer, Berlin 1988, S. 20-43.
-
(1988)
Advances in Petri Nets
, pp. 20-43
-
-
Baldassari, M.1
Bruno, G.2
-
3
-
-
38849129180
-
Inheritance and Concurrency in CLOWN
-
Agha, G.; de Cindio, F. (Hrsg.): Turin
-
Battiston, E.; Chizzoni, A.; De Cindio, F.: Inheritance and Concurrency in CLOWN. In: Agha, G.; de Cindio, F. (Hrsg.): Proceedings of the 1st Workshop on Object-Oriented Programming and Models of Concurrency within the 16th International Conference on Application and Theory of Petri Nets. Turin 1995.
-
(1995)
Proceedings of the 1st Workshop on Object-Oriented Programming and Models of Concurrency Within the 16th International Conference on Application and Theory of Petri Nets
-
-
Battiston, E.1
Chizzoni, A.2
De Cindio, F.3
-
5
-
-
85037506041
-
-
Rozenberg (Hrsg.): LNCS 340, Springer, Berlin
-
Battiston, E.; De Cindio, F.; Mauri, G.: OBJSA Nets. In: Rozenberg (Hrsg.): Advances in Petri Nets. LNCS 340, Springer, Berlin 1988.
-
(1988)
Advances in Petri Nets
-
-
Battiston, E.1
De Cindio, F.2
Mauri, G.3
Nets, O.4
-
10
-
-
0027882118
-
Cooperative Objects: A Concurrent Petri Net Based Object-Oriented Language
-
IEEE, New York
-
Bastide, R.; Palanque, P.: Cooperative Objects: a Concurrent Petri Net Based Object-Oriented Language. In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Le Touquet 1993. Vol. 3, IEEE, New York 1993, S. 286-291.
-
(1993)
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, le Touquet 1993
, vol.3
, pp. 286-291
-
-
Bastide, R.1
Palanque, P.2
-
13
-
-
0345209794
-
-
Spektrum, Heidelberg u. a
-
Baumgarten, B.: Petri-Netze. Spektrum, Heidelberg u. a. 1996.
-
(1996)
Petri-Netze
-
-
Baumgarten, B.1
-
14
-
-
0007678372
-
COOPN/2: A Specification Language for Distributed Systems Engineering
-
Swiss Federal Institute of Technology, Lausanne
-
Biberstein, O.; Buchs, D.; Guelfi, N.: COOPN/2: A Specification Language for Distributed Systems Engineering. Technical Report 96/167, Swiss Federal Institute of Technology, Lausanne, 1996.
-
(1996)
Technical Report 96/167
-
-
Biberstein, O.1
Buchs, D.2
Guelfi, N.3
-
16
-
-
84976766949
-
The Entity Relationship Model - Towards a Unified View of Data
-
Chen, P.: The Entity Relationship Model - Towards a Unified View of Data. In: ACM Transactions on Database Systems, 1 (1976) 1, S. 9-36.
-
(1976)
ACM Transactions on Database Systems
, vol.1
, Issue.1
, pp. 9-36
-
-
Chen, P.1
-
18
-
-
85037513439
-
HOOD Nets
-
Rozenberg (Hrsg.): LNCS 524, Springer, Berlin
-
Di Giovanni, R.: HOOD Nets. In: Rozenberg (Hrsg.): Advances in Petri Nets 1991. LNCS 524, Springer, Berlin 1991, S. 140-160.
-
(1991)
Advances in Petri Nets 1991
, pp. 140-160
-
-
Di Giovanni, R.1
-
22
-
-
0022188648
-
Principles of OBJ2
-
ACM
-
Futatsugi, K.; Goguen, J. A.; Jouannaud, J. P.; Meseguer, J.: Principles of OBJ2. In: Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages. ACM, 1985, S. 52-66.
-
(1985)
Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages
, pp. 52-66
-
-
Futatsugi, K.1
Goguen, J.A.2
Jouannaud, J.P.3
Meseguer, J.4
-
23
-
-
0027885265
-
MOBY - A Tool for High Level Petri Nets with Objects
-
IEEE, New York
-
Fleischhack, H.; Lichtblau, U.: MOBY - A Tool for High Level Petri Nets with Objects. In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Le Touquet/France 1993. IEEE, New York 1993, S. 644-649.
-
(1993)
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, le Touquet/France 1993
, pp. 644-649
-
-
Fleischhack, H.1
Lichtblau, U.2
-
26
-
-
0019612794
-
Database Description with SDM: A Semantic Data Model
-
Hammer, M.; McLeod, D.: Database Description with SDM: A Semantic Data Model. In: ACM Transaction on Database Systems, 6 (1981) 3, S. 351-386.
-
(1981)
ACM Transaction on Database Systems
, vol.6
, Issue.3
, pp. 351-386
-
-
Hammer, M.1
McLeod, D.2
-
27
-
-
0042291578
-
Specification and simulation with ExSpect
-
Lauer, Peter E. (Hrsg.): Springer, Berlin, u. a
-
[HeRV93] Hee, K. M. v.; Rambags, P. M. P.; Verkoulen, P.A. C.: Specification and simulation with ExSpect. In: Lauer, Peter E. (Hrsg.): Functional Programming, Concurrency, Simulation and Automated Reasoning. International Lecture Series 1991-1992, Springer, Berlin, u. a. 1993, S. 296-328.
-
(1993)
Functional Programming, Concurrency, Simulation and Automated Reasoning. International Lecture Series 1991-1992
, pp. 296-328
-
-
Hee, K.M.V.1
Rambags, P.M.P.2
Verkoulen, P.A.C.3
-
29
-
-
84856856033
-
-
1997-10-20, Abruf am 1998-11-30
-
Janousek, V.: PNtalk Project, http:// www.fee.vutbr.cz/UIVT/homes/janousek/ pntalk/pntalk.html, 1997-10-20, Abruf am 1998-11-30.
-
PNtalk Project
-
-
Janousek, V.1
-
30
-
-
0042291577
-
Using An Object-Oriented Diagram Techinque for the Design of Information Systems
-
Sol, H. G.; van Hee, K. M. (Hrsg.): Elsevier Science Publishers E.V., North-Holland
-
[KaSc91] Kappel, G.; Schrefl, M.: Using An Object-Oriented Diagram Techinque For The Design Of Information Systems. In: Sol, H. G.; van Hee, K. M. (Hrsg.): Dynamic Modelling of Information Systems. Elsevier Science Publishers E.V., North-Holland 1991, S. 121-164.
-
(1991)
Dynamic Modelling of Information Systems
, pp. 121-164
-
-
Kappel, G.1
Schrefl, M.2
-
31
-
-
85037507716
-
Macronet- A Simple, yet Expressive and Flexible Formalism for Business Modelling
-
Zaragoza, Spain
-
Keller, R. K.; Shen, X.; Bochmann, G. v.: Macronet- A Simple, yet Expressive and Flexible Formalism for Business Modelling. In: Proceedings of the Workshop on Computer-Supported Cooperative Work, Petri Nets and Related Formalisms during the 15th International Conference on Application and Theory of Petri Nets. Zaragoza, Spain 1994, S. 51-55.
-
(1994)
Proceedings of the Workshop on Computer-Supported Cooperative Work, Petri Nets and Related Formalisms during the 15th International Conference on Application and Theory of Petri Nets
, pp. 51-55
-
-
Keller, R.K.1
Shen, X.2
Bochmann, G.V.3
-
32
-
-
85037497834
-
Informatik
-
Spaniol, O.; Krückeberg, F. (Hrsg.): Düsseldorf
-
Krückeberg, F.: Informatik. In: Spaniol, O.; Krückeberg, F. (Hrsg.): Lexikon Informatik und Kommunikationstechnik, Düsseldorf 1990, S. 297-299.
-
(1990)
Lexikon Informatik und Kommunikationstechnik
, pp. 297-299
-
-
Krückeberg, F.1
-
34
-
-
5044238040
-
Object Oriented Modelling with Object Petri Nets
-
LNCS, Springer, Berlin
-
Lakos, C. A.: Object Oriented Modelling with Object Petri Nets. In: Advances in Petri Nets. LNCS, Springer, Berlin 1997.
-
(1997)
Advances in Petri Nets
-
-
Lakos, C.A.1
-
36
-
-
4243928601
-
-
Forschungsbericht 95-34, FB Informatik, Technische Universität Berlin
-
Löwe, M.; Wikarski, D.; Han, Y.: Higher-Order Object Nets and their Application to Workflow Modeling. Forschungsbericht 95-34, FB Informatik, Technische Universität Berlin, 1995.
-
(1995)
Higher-order Object Nets and Their Application to Workflow Modeling
-
-
Löwe, M.1
Wikarski, D.2
Han, Y.3
-
37
-
-
0041289810
-
Object Coloured Petri Nets - A Formal Technique for Object Oriented Modelling
-
Farwer, B.; Moldt, D.; Stehr, M.-O. (Hrsg.): Fachbereich Informatik, Universität Hamburg
-
Maier, C.; Moldt, D.: Object Coloured Petri Nets - a Formal Technique for Object Oriented Modelling. In: Farwer, B.; Moldt, D.; Stehr, M.-O. (Hrsg.): Petri Nets in System Engineering, Modelling, Verification and Validation. Fachbereich Informatik, Universität Hamburg, 1997, S. 11-19.
-
(1997)
Petri Nets in System Engineering, Modelling, Verification and Validation
, pp. 11-19
-
-
Maier, C.1
Moldt, D.2
-
38
-
-
85037503706
-
-
Shaker, Aachen
-
Marx, T.: NETCASE. Shaker, Aachen 1998.
-
(1998)
NETCASE
-
-
Marx, T.1
-
40
-
-
85037517447
-
-
OWiS Software GmbH: OTW 2 Abruf am 1998-11-30
-
OWiS Software GmbH: OTW 2. http://www.otw.de/, Abruf am 1998-11-30.
-
-
-
-
44
-
-
0003511049
-
-
Prentice-Hall, Englewood Cliffs New Jersey
-
Rumbaugh J.; Blaha, M.; Premerlani, W.; Eddy, F.; Lorensen, W.: Object-Oriented Modelling and Design. Prentice-Hall, Englewood Cliffs New Jersey 1991.
-
(1991)
Object-oriented Modelling and Design
-
-
Rumbaugh, J.1
Blaha, M.2
Premerlani, W.3
Eddy, F.4
Lorensen, W.5
-
45
-
-
85037521672
-
-
ConForM Group Available Software, 1997-08-16, Abruf am 1998-11-30
-
Buffo, M.: ConForM Group Available Software, http://lglwww.epfl.ch/ Conform/soft.html, 1997-08-16, Abruf am 1998-11-30.
-
-
-
Buffo, M.1
-
46
-
-
84956866670
-
Efficient Simulation of THOR Nets
-
LNCS 935, Springer, Berlin
-
Schöf, S.; Sonnenschein, M.; Wieting, R.: Efficient Simulation of THOR Nets. In: Proceedings of the 16th International Conference on Application and Theory of Petri Nets, Torino 1995. LNCS 935, Springer, Berlin 1995, S. 412-431.
-
(1995)
Proceedings of the 16th International Conference on Application and Theory of Petri Nets, Torino 1995
, pp. 412-431
-
-
Schöf, S.1
Sonnenschein, M.2
Wieting, R.3
-
49
-
-
0039636654
-
-
Bericht Nr. 185/96 (FBI-HH-B-185/96), Fachbereich Informatik, Universität Hamburg
-
Valk, R.: On Processes of Object Petri Nets. Bericht Nr. 185/96 (FBI-HH-B-185/96), Fachbereich Informatik, Universität Hamburg, 1996.
-
(1996)
On Processes of Object Petri Nets
-
-
Valk, R.1
-
51
-
-
85037520206
-
-
1997-04-28, Abruf am 1998-11-30
-
Wietig, R.: DNS: Distributed Net Simulation. http://offis.OFFIS.Uni-Oldenburg. DE/projekte/DNS/, 1997-04-28, Abruf am 1998-11-30.
-
DNS: Distributed Net Simulation
-
-
Wietig, R.1
|