Bibliography

1

J.L. Peterson, ``Petri Nets Theory and The Modeling of Systems'', Prentice-Hall, N.J., 1981.

2

T. Murata, ``Petri Nets: Properties, analisys and applications'', Proc. IEEE, vol 77, pp. 541-579, Apr. 1989.

3

Mu Der Jeng and Frank DiCesare, ``A Review of Synthesis for Petri Nets with Applications to Automated Manufacturing Systems'', IEEE Transc. on systems, man, and cybernetics, vol 23, no.1, January/February 1993.

4

Fred D.J. Browden; ``Modelling Time in Petri Nets''; July, 1996.

5

Fred D.J. Browden; ``Role-Based Extended Petri Net Modelsand their Applications''; International Congress on Modelling and Simulation, 1995, Newcastle, Australia.

6

Holger Giese, Jörg Graf and Guido Wirtz; ``Modeling Sofware Systems with Object Coordination Nets''< Intitut für Informatik; Westfälische Wilhelms-Universität, Germany, 1998.

7

Stefan Schöf, Michael Sonnenschein, Ralf Wietin, ``High-level Modeling with THORNs''; Oldenbuger Forschungs- und Entwicklungsinstitut für Informatik-Werkzeuge- und Systeme (OFFIS); Escherweg 2. D-26121 Oldenburg (Germany).

8

Patrick Lam; ``A Petri Net Simulator in Java - Design document'', February, 1999, http://www.sable.mcgill.ca/~plam/petri,

9

Wass.€M.; ``Predator-A Hierarchical Petri Net Editor''; MSc Degree Thesis, Departement od Computing, Imperial College of Science, Technology and Medicine; University of London; September 2001.

10

K. Jensen, ``A Brief Introduction to Coloured Petri Nets'', Computer Science Department, University of Aarthus, Denmark.

11

K. Jensen, ``An Introduction to the Theorical Aspects of Coloured Petri Nets'', In: J.W. de Bakker W.-P. de Roever G. Rozenberg (eds.): A Decade of Concurrency, Lecture in Computer Science Vol. 803, pp. 230-272, Springer-Verlag, 1994.

12

E. Clarke, O. Grumberg, and D. Long; ``Verifications Tools for Finite-State Concurrent Systems', In: J.W. de Bakker, W.-P. de Roever G. Rozenberg (eds.): A Decade of Concurrency, Lecture Notes in Computer Science Vol. 803, pp. 124-175, Springer-Verlag, 1994.

13

Bohuslav Krena, Tomás Vojnar; ``Type Analysis in Object-Oriented Petri Nets; Department of Computer Science and Engineering, FEECS, Technical University of Brno, Czech Republic.

14

Charles Lakos; ``On the Abstraction of Coloured Petri Nets''; Proceedings of 18th International Conference on the Aplications and Theory of Petri Nets 1997, Lecture Notes in Computer Science 1248, Springer-Verlg, pp. 42-61, 1997.

15

C.A. Petri ``Forgotten Topics of Net Theory''; Advances in Petri Nets 1986-Part 2, W. Brauer, W. Reising, and G. Rozenberg (eds.), Lecture Notes in Computer Science 255, Springer-Verlag, 1996.

16

C. Ramchandani; ``Analysis of Asynchronous Concurrent Systems''; Thesis Degree of Doctor of Philosophy, Department of Electrical Engineering, Massachusetts Institute of Technology; February 1974.

17

J. Wang; ``Timed Petri Nets, Theory and Aplication''; Kluwer Academic Publishers; 1998.

18

M. Ajmone Marsan, A. Bobbio, and S. Donatelli; ``Petri Nets in Performance Analysis: An Introduction''; Lectures on Petri Nets I: Basic Models, W. Reising, and G. Rozenberg (eds.), Lecture Notes in Computer Science 1491, Springer-Verlag, 1998.

19

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, Springer-Verlag, 1993.

20

J. Parrow; ''Interaction Diagrams''; In: J.W. de Bakker, W.-P. de Roever G. Rozenberg (eds.): A Decade of Concurrency, Lecture Notes in Computer Science Vol. 803, pp. 477-529, Springer-Verlag, 1994.

21

Wil c.d. Aalst; ``The Applications of Petri Nets to Workflow Management''; Department of Mathematics and Computing Science, Eindhoven University of Technology; http://wwwis.win.tue.nl/~wsinwa/jcsc/jcsc.html; Nov. 1997.

22

Jörg Desel and Wolfgang Reisig; ``Place/Transition Petri Nets''; Lectures on Petri Nets I: Basic Models, W. Reising, and G. Rozenberg (eds.), Lecture Notes in Computer Science 1491, Springer-Verlag, 1998.

23

D. Leu, M. Silva, J.M. Colom, and T. Murata; ``Interrelationships amoung various concepts of fairness for Petri nets''; in Proc. 31th. Midwest Symposium Circuits and Systems'', 1988.

24

P.S. Thiagarajan and K. Voss, ``A fresh look at free choice nets'', Inform. Contr. Vol 61, no. 2, pp. 85-113, May 1984.

25

F.E. Hohn, ``Elementary Matrix Algebra'', Macmillan, Ney York, 1958.

26

Johnsonbaugh and T. Murata, ``Petri nets and marked graph-mathematical model of concurrent computation''; The American Math. Monthly, vol. 89, no. 8, pp.552-566, Oct. 1982.

27

P. Huber, K. Jensen, R.M. Shapiro; ``Hierarchies in coloured Petri nets'', Advances in Petri Nets 1990, Lecture Notes in Computer Science 483, Springer-Verlag, 1990.

28

K. Jensen; ``Coloured Petri nets: A hight level languaje for system design and analysis'', Advances in Petri Nets 1990, Lecture Notes in Computer Science 483, Springer-Verlag, 1990.

29

G. Cinsneros; ``Configurable REC''; ACM SIGPLAN Notices, Vol. 59, No. 5, May 1994.

30

http://www.daimi.au.dk/PetriNets/tools/db.html

31

http://www.salon.com/tech/col/garf/2001/01/08/bad_java /index1.html

32

Simson L. Garfinkel, Michael K. Mahoney; ``NeXTSTEP Programming, Step one: Object-Oriented Applications''; TELOS, Springer-Verlag, 1993.

33

Manuales de referencia de Cocoa; Apple Inc. 2000.

34

James Martin, James J. Odell; ``Métodos Orientados a Objetos, Consideraciones prácticas''; Prentice Hall, 1997.

35

Noriega Ponce, Alfonzo; ``Un ambiente para el desarrollo de controladores lgicos programables en computadoras personales''; Tesis M.C, CINVESTAV, Ing. Eléctrica, México D.F., 1992.

36

Valdemar González Avila, ``Simulación con Redes de Petri'', Tesis de M.C., CINVESTAV, Ing. Eléctrica, CINVESTAV, 1993, México, D.F.

37

G.J. Holzmann; ``Design and Validation of Computer Protocols''; Prentice Hall, 1991.

38

H.J. Schneider and A.I. Wasserman; ``Automated Tools for Information Systems Designs'', Edit. North Holland, 1991.