共 4 条
[1]
Modelling and Verification of Time Dependent Systems Using Time Petri Nets. Serthomieu B,Diaz M. IEEE Transactions on Software Engineering . 1991
[2]
Time Constraints Verification Methods Based on Time Petri Nets. Joel T,Francoise S,Jean-Pierre T. Proceedings of the IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems . 1997
[3]
TipNet: A Graphical Tool for Timed Petri Nets. Baopu L,Anthony R. International Workshop on Petri Nets and Performance Models . 1995
[4]
Timing constraint Petri Nets and Their Application to Schedulability Analysis of Real-Time System Specifications. Tasi J J P,Yang S J. IEEE Transactions on Software Engineering . 1995