Modeling and analysis of discrete event systems using a Petri net component

Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics

Volumn , Issue , 2011, Pages 814-819

  Dos Santos Soares, Michel ^a  

^a FEDERAL UNIVERSITY OF UBERLÂNDIA   (Brazil)

Author keywords

Discrete Event Systems; Linear Logic; Petri nets; Road Traffic Control; Traffic Signals

Indexed keywords

DYNAMIC BEHAVIORS; FORMAL ANALYSIS; GOOD PRACTICES; LINEAR LOGIC; MODELING AND ANALYSIS; NET COMPONENT; PLACE INVARIANTS; ROAD TRAFFIC CONTROL; SYSTEM ELEMENTS; TIME INTERVAL;

CYBERNETICS; MATHEMATICAL MODELS; PETRI NETS; SOFTWARE ENGINEERING; THEOREM PROVING; TRAFFIC CONTROL; TRAFFIC SIGNALS;

DISCRETE EVENT SIMULATION;

EID: 83755173193     PISSN: 1062922X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSMC.2011.6083753     Document Type: Conference Paper

References (13)

1. T. Murata, "Petri nets: Properties, Analysis and Applications," Proceedings of the IEEE,, vol. 77, no. 4, pp. 541-580, 1989.
2. C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems. Secaucus, NJ, USA: Springer-Verlag New York, Inc., 2006.
3. L. Lin, T. Nan, M. Xiangyang, and S. Fubing, "Implementation of Traffic Lights Control Based on Petri Nets," in Proceedings of the 6th IEEE International Conference on Intelligent Transportation Systems, vol. 2, 2003, pp. 1087-1090.
4. M. S. Soares and J. Vrancken, "Road Traffic Signals Modeling and Analysis with Petri nets and Linear Logic," in Proceedings of the 2007 IEEE International Conference on Networking, Sensing and Control (ICNSC 2007), 2007, pp. 169-174.
5. F. DiCesare, P. T. Kulp, M. Gile, and G. List, "The Application of Petri Nets to the Modeling, Analysis and Control of Intelligent Urban Traffic Networks." in Proceedings of the 15th International Conference on Application and Theory of Petri Nets, 1994, pp. 2-15.
6. Y.-S. Huang and T.-H. Chung, Petri Nets Applications. InTech, 2010, ch. Modelling and Analysis of Traffic Light Control Systems Using Timed Coloured Petri nets, pp. 1-27.
7. W. Khansa, P. Aygaline, and J. Denat, "Structural Analysis of P-Time Petri Nets," in Symposium on Discrete Events and Manufacturing Systems: Proceedings of the CESA'96 IMACS Multiconference, 1996, pp. 127-136.
8. J.-L. Gallego, J.-L. Farges, and J.-J. Henry, "Design by Petri Nets of an Intersection Signal Controller," Transportation Research Part C: Emerging Technologies,, vol. 4, no. 4, pp. 231-248, 1996. (Pubitemid 126393921)
9. J. Vrancken and M. S. Soares, "A Real-life Test Bed for Multi-agent Monitoring of Road Network Performance," International Journal of Critical Infrastructures,, vol. 4, no. 5, pp. 357-367, 2009.
10. C. Girault and R. Valk, Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications. Secaucus, NJ, USA: Springer- Verlag New York, Inc., 2002.
11. W. Vogler, Modular Construction and Partial Order Semantics of Petri Nets, J. Hartmanis and G. Goos, Eds. Secaucus, NJ, USA: Springer- Verlag, 1992.
12. J.-Y. Girard, "Linear Logic," Theoretical Computer Science,, vol. 50, no. 1, pp. 1-102, 1987.
13. F. Girault, B. Pradier-Chezalviel, and R. Valette, "A Logic for Petri nets," Journal Européen des Systèmes Automatisés,, vol. 31, no. 3, pp. 525-542, 1997.