Advanced search

Modular reachability analysis for controlled T-timed Petri nets

Author
Organization

Citation

Please use this url to cite or link to this publication:

Chicago
FLOCHOVA, J, René Boel, and George Jiroveanu. 2003. “Modular Reachability Analysis for Controlled T-timed Petri Nets.” In Proceedings of the 2nd IFAC Conference on Control System Design.
APA
FLOCHOVA, J., Boel, R., & Jiroveanu, G. (2003). Modular reachability analysis for controlled T-timed Petri nets. Proceedings of the 2nd IFAC Conference on Control System Design.
Vancouver
1.
FLOCHOVA J, Boel R, Jiroveanu G. Modular reachability analysis for controlled T-timed Petri nets. Proceedings of the 2nd IFAC Conference on Control System Design. 2003.
MLA
FLOCHOVA, J, René Boel, and George Jiroveanu. “Modular Reachability Analysis for Controlled T-timed Petri Nets.” Proceedings of the 2nd IFAC Conference on Control System Design. 2003. Print.
@inproceedings{290354,
  author       = {FLOCHOVA, J and Boel, Ren{\'e} and Jiroveanu, George},
  booktitle    = {Proceedings of the 2nd IFAC Conference on Control System Design},
  title        = {Modular reachability analysis for controlled T-timed Petri nets},
  year         = {2003},
}