Advanced search
Add to list

Modular Reachability Analysis for Time Petri Nets with Guarded Transitions

Author
Organization

Citation

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

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, edited by S Engell et al., 2003, pp. 223–28.
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).
Chicago author-date
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, edited by S Engell, H Gueguen, and J Zaytoon, 223–28.
Chicago author-date (all authors)
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 by. S Engell, H Gueguen, and J Zaytoon, 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.
IEEE
[1]
R. Boel and G. Jiroveanu, “Modular Reachability Analysis for Time Petri Nets with Guarded Transitions,” in Conference on Analysis and design of Hybrid Systems - Preprints, 2003, pp. 223–228.
@inproceedings{290358,
  author       = {{Boel, René and Jiroveanu, George}},
  booktitle    = {{Conference on Analysis and design of Hybrid Systems - Preprints}},
  editor       = {{Engell, S and Gueguen, H and Zaytoon, J}},
  language     = {{und}},
  pages        = {{223--228}},
  title        = {{Modular Reachability Analysis for Time Petri Nets with Guarded Transitions}},
  year         = {{2003}},
}