Time Petri Nets – Analysis Methods and Verification with TINA
Bernard Berthomieu, Florent Peres, François B. Vernadat · 2008
This chapter contains sections titled: Introduction Time Petri nets State class graphs preserving markings and LTL properties State class graphs preserving states and LTL properties State class graphs preserving states and branching properties Computing firing schedules An implementation: the Tina environment The verification of SE – LTL formulae in Tina Some examples of use of selt Conclusion Bibliography