U. Alger

Towards a simplified building of time Petri Nets reachability graph

Hanifa Boucheneb, Gérard Berthelot, U. Alger, 1993, Proceedings of 5th International Workshop on Petri Nets and Performance Models.