Concurrent Generalized Petri Nets: Regenerative Conditions

Simona Bernardi, Gianfranco Balbo. Concurrent Generalized Petri Nets: Regenerative Conditions. 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 125-134, IEEE Computer Society, 2001. [doi]

Abstract

Abstract is missing.