共 33 条
[1]
Alur R., 1992, LECTURE NOTES COMPUT, V736, P209, DOI [DOI 10.1007/3-540-57318-6_30, 10.1007/3-540-45027-0_11, DOI 10.1007/3-540-45027-0_11]
[2]
ANDERSSON M, 1993, 12 IFAC WORLD C SYDN, V9, P69
[3]
Antsaklis P. J., 1993, Hybrid Systems, P366
[5]
BRANICKY MS, 1994, IEEE DECIS CONTR P, P4228, DOI 10.1109/CDC.1994.411615
[6]
BROCKETT RW, 1993, PROG SYST C, V14, P29
[7]
BUNDAY BD, 1984, BASIC LINEAR PROGRAM
[8]
Cellier F.E., 1991, Continuous System Modeling
[9]
CELLIER FE, 1979, THESIS SWISS FEDERAL
[10]
David R., 1992, Petri Nets and Grafcet