Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Journal articles

Realizability of schedules by stochastic time Petri nets with blocking semantics

Loïc Hélouët 1, * Karim Kecir 1 
* Corresponding author
1 SUMO - SUpervision of large MOdular and distributed systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/hal-01942241
Contributor : Loic Helouet Connect in order to contact the contributor
Submitted on : Monday, December 3, 2018 - 9:39:12 AM
Last modification on : Monday, April 4, 2022 - 9:28:23 AM
Long-term archiving on: : Monday, March 4, 2019 - 12:48:27 PM

File

TCS-LHKK.pdf
Files produced by the author(s)

Identifiers

Citation

Loïc Hélouët, Karim Kecir. Realizability of schedules by stochastic time Petri nets with blocking semantics. Science of Computer Programming, Elsevier, 2018, 157, pp.71-102. ⟨10.1016/j.scico.2017.12.004⟩. ⟨hal-01942241⟩

Share

Metrics

Record views

50

Files downloads

133