共 39 条
[1]
AGERWALA T, 1979, COMPUTER, V12, P85, DOI 10.1109/MC.1979.1658580
[2]
[Anonymous], 2008, AUTOCAMS 2 0 MANUAL
[3]
Chang Won-Du, 2016, COMPUT METH PROG BIO, V129, P21
[6]
Differential Petri net models for industrial automation and supervisory control
[J].
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS,
2006, 36 (04)
:543-553
[9]
Ordinary Differential Equation-Based Deadlock Detection
[J].
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS,
2014, 44 (10)
:1435-1454