Florent Peres. Réseaux de Petri temporels à inhibitions/permissions - Application à la modélisation et vérification de systèmes de tâches temps réel. (Forbid/Allow time Petri nets - Application to the modeling and checking of real time tasks systems). PhD thesis, INSA Toulouse, France, 2010. [doi]
Abstract is missing.