Realizability of Schedules by Stochastic Time Petri Nets with Blocking Semantics

Loïc Hélouët, Karim Kecir. Realizability of Schedules by Stochastic Time Petri Nets with Blocking Semantics. In Fabrice Kordon, Daniel Moldt, editors, Application and Theory of Petri Nets and Concurrency - 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings. Volume 9698 of Lecture Notes in Computer Science, pages 155-175, Springer, 2016. [doi]

Abstract

Abstract is missing.