Time Petri Nets with Action Duration: A True Concurrency Real-Time Model

Nabil Belala, Djamel-Eddine Saïdouni, R. Boukharrou, A.-C. Chaouche, A. Seraoui, A. Chachoua. Time Petri Nets with Action Duration: A True Concurrency Real-Time Model. IJERTCS, 4(2):62-83, 2013. [doi]

@article{BelalaSBCSC13,
  title = {Time Petri Nets with Action Duration: A True Concurrency Real-Time Model},
  author = {Nabil Belala and Djamel-Eddine Saïdouni and R. Boukharrou and A.-C. Chaouche and A. Seraoui and A. Chachoua},
  year = {2013},
  doi = {10.4018/jertcs.2013040104},
  url = {http://dx.doi.org/10.4018/jertcs.2013040104},
  researchr = {https://researchr.org/publication/BelalaSBCSC13},
  cites = {0},
  citedby = {0},
  journal = {IJERTCS},
  volume = {4},
  number = {2},
  pages = {62-83},
}