Discrete Parameters in Petri Nets

Nicolas David, Claude Jard, Didier Lime, Olivier H. Roux. Discrete Parameters in Petri Nets. In Raymond R. Devillers, Antti Valmari, editors, Application and Theory of Petri Nets and Concurrency - 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings. Volume 9115 of Lecture Notes in Computer Science, pages 137-156, Springer, 2015. [doi]

Abstract

Abstract is missing.