Author of the publication

Preserving Languages and Properties in Stepwise Refinement-Based Synthesis of Petri Nets.

, , , and . IEEE Trans. Syst. Man Cybern. Part A, 38 (4): 791-801 (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

An RBAC Based Policy Enforcement Coordination Model in Internet Environment., and . EDCIS, volume 2480 of Lecture Notes in Computer Science, page 466-477. Springer, (2002)A Novel Storing and Accessing Method of Traffic Incident Video Based on Spatial-Temporal Analysis., and . ICA3PP (2), volume 9529 of Lecture Notes in Computer Science, page 315-329. Springer, (2015)Spatial-Temporal Flow Holistic Interaction Graph Convolution Network for Bidirectional Traffic Flow Forecasting., , and . IEEE Big Data, page 1262-1268. IEEE, (2023)SGED-Net: A Self-organizing Graph Embedding Deep Network for Travel Time Estimation., and . IJCNN, page 1-9. IEEE, (2023)RCACM: Role-Based Context-Awareness Coordination Model for Mobile Agent Applications., , and . GCC (2), volume 3033 of Lecture Notes in Computer Science, page 702-705. Springer, (2003)Urban Traffic Data Imputation With Detrending and Tensor Decomposition., and . IEEE Access, (2020)Modeling and control of urban expressways with emergency using hybrid petri nets., , and . SMC, page 1483-1489. IEEE, (2016)TAGnn: Time Adjoint Graph Neural Network for Traffic Forecasting., and . DASFAA (1), volume 13943 of Lecture Notes in Computer Science, page 369-379. Springer, (2023)MoveBox: Democratizing MoCap for the Microsoft Rocketbox Avatar Library., , , , , , , , , and 3 other author(s). AIVR, page 91-98. IEEE, (2020)An Attention-Based Spatial-Temporal Traffic Flow Prediction Method with Pattern Similarity Analysis., , and . ITSC, page 3710-3717. IEEE, (2021)