共 34 条
[21]
PERSISTENCE OF VECTOR REPLACEMENT SYSTEMS IS DECIDABLE
[J].
ACTA INFORMATICA,
1981, 15 (03)
:309-318
[22]
Modular Reachability Analysis of Petri Nets for Multiagent Systems
[J].
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS,
2013, 43 (06)
:1411-1423
[23]
Maximally permissive deadlock avoidance for resource allocation systems with R/W-locks
[J].
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS,
2015, 25 (1-2)
:31-63
[25]
Pastor E., 1999, Application and Theory of Petri Nets 1999. 20th International Conference, ICATPN'99. Proceedings (Lecture Notes in Computer Science Vol.1639), P26
[26]
Synchronizing sequences on a class of unbounded systems using synchronized Petri nets
[J].
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS,
2016, 26 (01)
:85-108
[27]
Ru Y, 2008, IEEE DECIS CONTR P, P1048
[29]
Tong Y., 2016, IEEE T AUTOM CONTROL, V61
[30]
Tong Y., IEEE T AUTOM C UNPUB