References

1. Ajmone Marsan, M., Balbo, G., Bobio, A., Chiola, G., Conte, G. and Cumani, A. (1985), "On Petri nets with stochastic timing", Int. Workshop on Timed Petri Nets, Torino, pp. 80-87.

2. Ajmone Marsan, M. (1990), "Stochastic Petri nets: An elementary introduction", in Rozenberg, G.: Lecture Notes in Computer Science, Vol. 424, Advances in Petri Nets 1989, pp. 1-29, Springer-Verlag, Berlin.

3. Antsaklis, P.J. and Moody, J.O. (1998) Supervisory Control of Discrete Event Systems Using Petri Nets, Kluwer Academic Publishers.

4. Bacelli, F., Cohen, G., Olsder, G.J. and Quadrat, J.P. (1992), Synchronization and Linearity. An Algebra for Discrete Event Systems, John Wiley and Sons, New York. online pdf

5. Bolch, G., Greiner, S., de Meer, H. and Trivedi, K. (1998). Queueing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications, John Wiley and Sons, New York.

6. Cao, X.R. and Ho, Y.C. (1990), "Models of discrete event dynamic systems", IEEE Control Systems Magazine, Vol. 10, pp. 69-75.

7. Cassandras, C.G. (1993), Discrete Event Systems: Modeling and Performance Analysis, Irwin.

8. Cassandras, C.G., Lafortune, S. and Olsder, G.J. (1995), "Introduction to the modelling, control and optimization of discrete event systems", in Isidori, A. (Ed.), Trends in Control - A European Perspective, Springer-Verlag, pp. 217-292.

9. Cassandras, C.G., and Lafortune, S. (2008) Introduction to Discrete Event Systems, Second Edition, Springer, New York.

10. Cohen, G., Gaubert, S. and Quadrat, J.P. (1998), "Max-plus algebra and system theory: where we are and where to go now", IFAC Conf. on System Structure and Control, Nantes.

11. David, R. et Alla, H. (1992), Du Grafcet aux réseaux de Petri (2e édition), Hermes, Paris.

12. David, R. and Alla, H. (1994), "Petri nets for modeling of dynamic systems - A survey", Automatica, Vol. 30, pp. 175-202.

13. David, R. and Alla, H. (2005), Discrete, Continuous, and Hybrid Petri nets, Springer-Verlag, Berlin-Heidelberg.

14. Desrochers, A.A. and Al-Jaar, R.Y. (1993), Petri Nets for Automated Manufacturing Systems: Modeling, Control and Performance Analysis, Rensselaer Polytechnic Institute.

15. Dijkstra, E. W. (1968), "Co-operating sequential processes", in Genyus, F. (ed.) Programming Languages, New York Academic, pp. 43-112. online pdf

16. Haas, P. J. (2002), Stochastic Petri Nets. Modelling, Stability, Simulation, Springer-Verlag New York Berlin Heidelberg.

17. Ho, Y.C. and Cassandras, C.G. (1983), "A new approach to the analysis of discrete event dynamic systems", Automatica, Vol. 19, pp. 149-167.

18. Jeng, M.D. and DiCesare, F. (1995) "Synthesis using resource control nets for modelling shared-resource systems", IEEE Trans. on Robotics and Automation, Vol. 11, pp. 317–327.

19. Lindemann, C. (1998), Performance Modelling with Deterministic and Stochastic Petri Nets. John Wiley and Sons, Chichester.

20. Martinez, J. and Silva, M. (1982), "A simple and fast algorithm to obtain all invariants of a generalized Petri net", in Girault, C. and Reisig, W. (Eds.), Application and Theory of Petri Nets, Informatik Fachberichte 52, Springer, pp. 301-310.

21. The MathWorks Inc., Creating Graphical User Interfaces, Natick, Massachusetts, 2005.

22. The MathWorks Inc., MATLAB Programming, Natick, Massachusetts, 2005.

23. Mortensen, K.H. (2003), Petri Nets Tools and Software, http://www.informatik.uni-hamburg.de/TGI/PetriNets/.

24. Murata, T. (1989), "Petri nets: properties, analysis and applications", Proc. IEEE, Vol. 77, pp. 541-580. online pdf

25. Pastravanu, O. (1997), Discrete Event Systems. Qualitative Techniques in a Petri Net Framework (in Romanian), Matrix Rom Publishing House, Bucharest.

26. Petri, C.A (1962), Kommunikation mit Automaten, Institut für Instrumentelle Mathematik Bonn, Schriften des IIM Nr. 2.

27. Reisig, W. (1985), Petri Nets - An Introduction, Springer-Verlag.

28. Sinclair, J.B. (2002). Simulation of Computer Systems and Computer Networks: A Process-Oriented Approach, online pdf.

29. Trivedi, K. (2000). Computer Science Applications, John Wiley & Sons, New York.

30. Zhou, M.C. and DiCesare, F. (1993), Petri Net Synthesis for Discrete Event Control of Manufacturing Systems, Kluwer, Boston.

31. Zurawski, R. and Zhou, M.C. (1994), "Petri nets and industrial applications: A tutorial", IEEE Trans. on Ind. Electronics, Vol. 41, No. 6, pp. 567-583.

Our Works on Petri Net Toolbox

1. Lefter, C., Mahulea, C., Matcovschi, M.H. and Pastravanu, O., "Instruments for topology-based analysis in Petri Net Toolbox", Periodica Politechnica Timisoara, Transactions on Automatic Control and Computer Science, vol. 49 (63), pp. 153-158, 2004.

2. Lefter, C., C. Popescu, I. Podaru. "The integration of the Petri Net toolbox with Simulink", 8th International Symposium on Automatic Control and Computer Science - SACCS 2004, October 23 - 24, 2004, Iasi, Romania, CD-ROM, 6 pg, 2004.

3. Mahulea, C., T. Asaftei, M.H. Matcovschi, "Manufacturing Systems Analysis and Design. Qualitative Versus Quantitative Techniques in a Petri Net Setting", Buletinul Institutului Politehnic din Iasi, Automatic Control and Computer Science Section, Tome LV (LIX), Fasc. 4, pp. 35 - 46, 2009.

4. Mahulea, C., L. Bârsan, and Pastravanu, O., "MATLAB tools for Petri-net-based approaches to flexible manufacturing systems". In: (F.G. Filip, I. Dumitrache, S. Iliescu, Eds.) Large Scale Systems: Theory and Applications 2001, Proceedings volume from the 9th IFAC / IFORS / IMACS / IFIP Symposium on Large Scale Systems LSS 2001, Bucharest, Romania, 18-20 July 2001, Elsevier Science, pp. 184-189, 2001.

5. Mahulea, C.,Matcovschi, M.H., Pastravanu, O., "Role of animation în teachware for Control Engineering - A case study", Annals of the University of Craiova, nr.27, vol. I, pg. 296-301, 2003.

6. Matcovschi, M.H., Mahulea, C., "Generalized Stochastic Petri Nets in Performance Evaluation for Queueing Networks", ECIT’2002 and ROSYCS’2002 Joint Conference , Iasi, July 17-20, 2002.

7. Matcovschi, M.H., Mahulea, C., Lefter, C., Pastravanu, O., "Petri Net Toolbox in Control Engineering Education", 2006 IEEE Conf. on Computer-Aided Control Systems Design (CACSD 2006), Munchen, Germany, pp. 2298-2303, 2006.

8. Matcovschi, M.H., Mahulea, C., Pastravanu, O., "Exploring structural properties of Petri nets in MATLAB", Buletinul Institutului Politehnic din Iasi, tom XLVII (LI), fasc. 1-4, sectia AUTOMATICA SI CALCULATOARE, pg. 15-25, 2001

9. Matcovschi, M.H., Mahulea, C. and Pastravanu, O., "Computer Tools for Linear Systems over Max-Plus Algebra", Periodica Politechnica Timisoara, Transactions on Automatic Control and Computer Science, vol. 47 (61), pp. 97-102, 2002.

10. Matcovschi, M.H., Mahulea, C. and Pastravanu, O., "Petri Net Toolbox for MATLAB", 11th Mediterranean Conference on Control and Automation MED'03, Rhodes, Greece, 2003.

11. Matcovschi, M.H., Mahulea, C. and Pastravanu, O., "Modeling, Simulation and Analysis of Petri Nets in MATLAB", The 14th International Conference On Control Systems And Computer Science - CSCS14, July 2-5, 2003, Bucharest, Romania, vol. 1, pp. 106-111, 2003.

12. Matcovschi, M.H., C. Popescu, Pastravanu, O., "A new approach to hybrid system simulation: Development of a Simulink library for Petri Net models" , Control Engineering and Applied Informatics, vol. 7, nr. 4, pp. 55-62, 2005.

13. Pastravanu, O., Matcovschi, M.H. and Mahulea, C., "Petri Net Toolbox - Teaching Discrete Event Systems under MATLAB", In: Advances in Automatic Control, (Mihail Voicu, Ed.), Kluwer Academic Publishers, Boston/Dordrecht/London, pp. 247-258, 2004.

14. Pastravanu, O., Matcovschi, M.H. and Mahulea, C. (2002), Applications of Petri Nets in the Study of Discrete Event Systems (in Romanian), Gh. Asachi Publishing House, Iasi.