Multiple Enabledness of Transitions in Petri Nets with Time

Marc Boyer, Michel Diaz. Multiple Enabledness of Transitions in Petri Nets with Time. In Reinhard German, Boudewijn R. Haverkort, editors, Proceedings of the 9th International Workshop on Petri Nets and Performance Models, PNPM 2001, Aachen, Germany, September 11-14, 2001. pages 219-228, IEEE Computer Society, 2001. [doi]

Abstract

Abstract is missing.