Recherche
Petri Nets - JUAN CARLOS VERGARA SCHMALBACH
state-class graph for time Petri nets [BER 83], and the region graph for timed au- ... Read arcs allow a transition to test the presence of some tockens in a place, ...
Télécharger Petri Nets - JUAN CARLOS VERGARA SCHMALBACH pdf
Verification of Timed Systems
Fomesoutra