An open petri net modelling and analysis environment in matlab

International Mediterranean Modelling Multiconference, I3M

Volumn , Issue , 2006, Pages 123-128

  Mušič, Gašper ^a   Löscher, Thomas ^b   Gradisar, Dejan ^c  

^a UNIVERSITY OF LJUBLJANA   (Slovenia)

^b VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

^c JO EF STEFAN INSTITUTE   (Slovenia)

Author keywords

Modelling; Petri nets; Production systems; Simulation; Software tools

Indexed keywords

CODE GENERATION; GRAPHIC USER INTERFACE; MATLAB ENVIRONMENT; PETRI NET MODELS; PRODUCTION SYSTEM; SIMULATION; SUPERVISORY CONTROL;

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SIMULATION; MATLAB; MODELS;

PETRI NETS;

EID: 84870213166     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. Bause, F. and P. S. Kritzinger (2002). Stochastic Petri Nets, An Introduction to the Theory. Vieweg Verlag. Braunschweig/ Wiesbaden, Germany.
2. Breitenecker, F. (2005). ARGESIM comparisons of modelling and simulation techniques and tools-simulation benchmarks. Simulation News Europe (44/45), 47.50.
3. Gradisar, D. and G. Music (2006). Automated Petri-net modelling based on production management data. Mathematical and Computer Modelling of Dynamical Systems, in press.
4. Löscher, T., D. Gradisar, F. Breitenecker and G. Music (2006). Timed Petri net simulation in Matlab: A production cell case study. In: Proceedings 5th MATHMOD. Vol. II. Vienna.
5. Moody, J. O. and P. J. Antsaklis (2000). Petri net supervisors for DES with uncontrollable and unobservable transitions. IEEE Transactions on Automatic Control 45(3), 462-476.
6. Murata, T. (1989). Petri nets: Properties, analysis and applications. Proceedings of the IEEE 77, 541-580.
7. Music, G. and D. Matko (1999). Petri net based control of a modular production system. In: Proceedings of the IEEE International Symposium on Industrial Electronics. Vol. 3. pp. 1383-1388. Bled, Slovenia.
8. Music, G. and D. Matko (2005). Combined synthesis/ verication approach to programmable logic control of a production line. In: IFAC World Congress 2005. Prague, Czech Republic.
9. Music, G., D. Gradisar and D. Matko (2005). IEC 61131-3 compliant control code generation from discrete event models. In: Proceedings of the 2005 IEEE International Symposium on Intelligent Control and 2005 Mediterranean Conference on Control and Automation. pp. 346-351. Limassol, Cyprus.
10. Music, G., D. Matko and B. Zupancic (2000). Modelling synthesis and simulation of supervisory process control systems. Mathematical and Computer Modelling of Dynamical Systems 6, 169-189.
11. TGI group (2006). Petri nets tool database. In: http://www.informatik. uni-hamburg.de/TGI/PetriNets/tools/db.html. University of Hamburg, Germany.
12. Wortmann, H. (1995). Comparison of information systems for engineer-to-order and make-to-stock situations. Computers in Industry 26(3), 261-271.
13. Yamalidou, E., J. O. Moody, P. J. Antsaklis and M. D. Lemmon (1996). Feedback control of Petri nets based on place invariants. Automatica 32(1), 15-28.