2[1]Suzuki, I. Formal analysis of the alternating bit protocol by temporal Petri nets. IEEE Transactions on Software Engineering, 1990, 16(11):1273～1281.
3[2]Zurawski, R. Verifying correctness of interfaces of design models of manufacturing systems using functional abstractions. IEEE Transactions on Industrial Electronics, 1997,44(3):307～320.
4[3]Suzuki, I., Lu, H. Temporal Petri nets and their application to modeling and analysis of a handshake daisy chain arbiter. IEEE Transactions on Computers, 1989,38(5):696～704.
5[4]Murata, M. Petri nets: properties, analysis and applications. Proceedings of the IEEE, 1989,77(4):541～580.
6[5]Coolhan, E., Jr Roussopoulos, N. Timing requirements for time-driven systems using augmented Petri nets. IEEE Transactions on Software Engineering, 1983,SE-9(6):603～616.
7[6]Berthomieu, B., Diaz, M. Modeling and verification of time dependent systems using time Petri nets. IEEE Transactions on Software Engineering, 1991,17(3):259～273.
8[7]Manna, Z., Pnueli, A. The temporal logic of reactive and concurrent systems. In: Specification. New York: Springer-Verlag, 1992.
9[8]Stirling, C. Model and temporal logics. In: Abramsky, S., Gabby, D.M., Maibaum, T.S.E., eds. Handbook of Logic in Computer Science. Oxford: Oxford University Press, 1992. 477～563.
10[9]Murata, T., Zhang, D. A predicate-transition net model for parallel interpretation of logic programs. IEEE Transactions on Software Engineering, 1988,14(4):481～497.
