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 <>
Submitted on : Monday, December 3, 2018 - 9:39:12 AM
Last modification on : Monday, February 22, 2021 - 4:46:55 PM
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

106

Files downloads

398