Time Petri Nets
Bernard Berthomieu, Marc S. Boyer, Michel Diaz · 2009
This chapter contains sections titled: Introduction Time Petri nets Behavior characterization — state classes' method Analysis — operating the state class graph Application example Extensions and variations Implementation using the Tina tool Conclusion Bibliography