Publications

1. Folosirea conceptelor proiectarii orientate pe obiecte la inplementarea formalismului regulilor de productie pentru dezvoltarea unui nucleu de sistem expert, ELSE Software, nr.5, p. 19-34, 1994, M. Brezovan;
2. A Multitasking Kernel for Real Time Systems, International Conference on Control Systems and Computer Science, Bucharest, 1995, p. 262-270, D.D. Burdescu, M. Brezovan.
3. Utilizarea tehnicilor bazate pe retele Petri pentru proiectarea sistemelor flexibile de fabricatie, ELSE Software, nr.6, p. 39-45, 1995, M. Brezovan;
4. Constructia unui procesor orientat pe obiecte pentru limbajul AHPL, ELSE Software, nr.9, p. 171-190, 1996, M. Brezovan;
5. A Tasks Multiplexer for Real Time Applications, International Symposium on Systems Theory, Robotics, Computers and Process Informatics, Craiova, 1996, p. 15-21, M. Brezovan;
6. Integrating Composed Data Types in Petri Nets, Annals of the University of Craiova, nr. 21, p. 235-243, 1997, M. Brezovan;
7. Inference Algorithms for Implementing of Timed High Level Petri Net Semantics, Annals of the University of Craiova, nr. 21, p. 244-252, 1997, M. Brezovan;
8. Refinements in Timed High Level Petri Nets, Annals of the University of Craiova, nr. 22, p. 203-212, 1998, M. Brezovan;
9. The Semantics of Timed High Level Petri Nets, Annals of the University of Craiova, nr. 22, p. 213-220, 1998, M. Brezovan;
10. A Formal Definition of Hierarchical High Level Petri Nets, International Symposium on Systems Theory, Robotics, Computers and Process Informatics, Craiova, 1998, p. 212-220, M. Brezovan;
11. Timed High Level Petri Nets for Discrete Event System Control, International Conference on Control Systems and Computer Science, Bucharest, 1999, p. 358-364, M. Brezovan, D.D. Burdescu.
12. Non-Hierarchical High Level Petri Net Equivalent with a Hierarchical High Level Petri Net, Annals of the University of Craiova, nr. 24, p. 85-91, 2000, M. Brezovan; PDF
13. Control of Flexible Manufactutring Systems Using High Level Petri Nets and Rule Based Systems, International Conference of Quality, Automation and Robotics, Cluj Napoca, 2000, p. 379-385, M. Brezovan, C. Badica; PDF
14. A Case Study in Diagnosing a Dynamic System using Logic Programming, International Conference of Quality, Automation and Robotics, Cluj Napoca, 2000, p. 303-309, C. Badica, M. Brezovan, M. Badica;
15. Formal Syntax and Dynamic semantics of Hierarchical High Level Petri Nets, Annals of the University of Craiova, nr. 25, p. 95-105, 2001, M. Brezovan; PDF
16. Algorithms for High Level Petri Nets Simulation and Rule-Based Systems, Acta Universitaris Cibiniensis, vol. XLIII, p. 33-39, 2001, D.D. Burdescu, M. Brezovan; PDF
17. High Level Petri Nets and Rule Based Systems for Discrete Event System Modelling, International Journal of Smart Engineering System Design, vol. 3, p. 81-97, 2001, D.D. Burdescu, M. Brezovan; PDF
18. Algorithms for Intrepreted Hierarchical High Level Petri Nets, International Conference on Development and Application Systeme, Suceava, 2002, p. 28-36, M. Brezovan, D.D. Burdescu; PDF
19. Active Control for Discrete Event System Using High Level Petri Nets and Rule-Based Systems, International Congress on Sound and Vibrations, Orlando, Florida, 2002, D.D. Burdescu, M. Brezovan. ZIP