共 8 条
[2]
Algebraically structured colored petri nets to model sequential processes
[J].
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS,
1997, 27 (04)
:681-686
[3]
FANCHON J, 1999, LECT NOTES COMPUTER, V1630, P304
[5]
Jensen K., 1997, COLOURED PETRI NETS, V1
[6]
MARTINEZ J, 1986, MODELING DESIGN FLEX, P389