共 113 条
[91]
Shih H., Sehiguchi T., A time Petri net and beam search based on-line FMS scheduling system with routing flexibility, Proc. IEEE Conf. on Robotics and Automat., (1991)
[92]
Shapiro R.M., Validation of VLSI chip using hierarchical coloured Petri nets, Proc. 11th Int. Conf. Applicat. and Theory of Petri Nets, (1990)
[93]
Shatz S., Mai K., Black C., Tu S., Design and implementation of a Petri net based toolkit for Ada tasking analysis, IEEE Trans. Parallel Dist., 1, 4, pp. 424-441, (1990)
[94]
Sibertin-Blanc C., High level Petri nets with data structures, Proc. 6th European Workshop on Applicat. and Theory of Petri Nets, (1985)
[95]
Sifakis J., Use of Petri nets for performance evaluation, Measuring. Modelling, pp. 75-93, (1977)
[96]
Srinivasan V.S., Jafari M.A., Fault detection/monitoring using time Petri nets, IEEE Trans. Syst. Man, 23, 4, (1993)
[97]
Suzuki l., Lu H., Temporal Petri nets and their application to modelling and analysis of a handshake daisy chain arbiter, IEEE Trans. Comput., 38, 5, pp. 696-704, (1989)
[98]
Suzuki I., Formal analysis of the alternating bit protocol by temporal Petri nets, IEEE Trans. Software Eng., 16, 11, pp. 1273-1281, (1990)
[99]
Suzuki T., Shatz S., Murata T., A protocol modelling and verification approach based on specification language and Petri nets, IEEE Trans. Software Eng., 16, 5, pp. 523-536, (1990)
[100]
Tsai C-J., Fu L-C., Modular approach for Petri net modelling of flexible manufacturing systems adaptable to various task-flow requirements, Proc. of 1992 IEEE Conf. Robotics and Automat., pp. 1043-1048, (1992)