共 19 条
[2]
Decidability results in first-order hybrid Petri nets
[J].
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS,
2001, 11 (1-2)
:41-57
[3]
First-order hybrid Petri Nets: A model for optimization and control
[J].
IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION,
2000, 16 (04)
:382-399
[4]
Capkovic Frantisek, 2012, Agent and Multi-Agent Systems. Technologies and Applications. Proceedings 6th KES International Conference, KES-AMSTA 2012, P24, DOI 10.1007/978-3-642-30947-2_6
[5]
On hybrid Petri nets
[J].
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS,
2001, 11 (1-2)
:9-40
[7]
Dotoli M., 2008, PETRI NET THEORY APP, P91
[9]
Hoffman U., 2009, INT J COMPUTER SCI A, V6, P38
[10]
Supervision based on place invariants: A survey
[J].
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS,
2006, 16 (04)
:451-492