×
2004
Structure and behavior preservation by Petri-net-based refinements in system design.
[DOI]
Hejiao Huang
,
To-Yat Cheung
,
Wai Ming Mak
Theor. Comput. Sci., 2004