Advanced search

Modular Reachability Analysis for Time Petri Nets with Guarded Transitions

Author
Organization

Citation

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

Chicago
Boel, René, and George Jiroveanu. 2003. “Modular Reachability Analysis for Time Petri Nets with Guarded Transitions.” In Conference on Analysis and Design of Hybrid Systems - Preprints, ed. S Engell, H Gueguen, and J Zaytoon, 223–228.
APA
Boel, R., & Jiroveanu, G. (2003). Modular Reachability Analysis for Time Petri Nets with Guarded Transitions. In S. Engell, H. Gueguen, & J. Zaytoon (Eds.), Conference on Analysis and design of Hybrid Systems - Preprints (pp. 223–228).
Vancouver
1.
Boel R, Jiroveanu G. Modular Reachability Analysis for Time Petri Nets with Guarded Transitions. In: Engell S, Gueguen H, Zaytoon J, editors. Conference on Analysis and design of Hybrid Systems - Preprints. 2003. p. 223–8.
MLA
Boel, René, and George Jiroveanu. “Modular Reachability Analysis for Time Petri Nets with Guarded Transitions.” Conference on Analysis and Design of Hybrid Systems - Preprints. Ed. S Engell, H Gueguen, & J Zaytoon. 2003. 223–228. Print.
@inproceedings{290358,
  author       = {Boel, Ren{\'e} and Jiroveanu, George},
  booktitle    = {Conference on Analysis and design of Hybrid Systems - Preprints},
  editor       = {Engell, S and Gueguen, H and Zaytoon, J},
  pages        = {223--228},
  title        = {Modular Reachability Analysis for Time Petri Nets with Guarded Transitions},
  year         = {2003},
}