From post

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.

 

Другие публикации лиц с тем же именем

Property Preservation of Petri Synthesis Net Based Representation for Embedded Systems., и . IEEE CAA J. Autom. Sinica, 8 (4): 905-915 (2021)Liveness and boundedness analysis of Petri net synthesis.. Math. Struct. Comput. Sci., (2014)Property preservation of refinement for Petri net based representation for embedded systems.. Clust. Comput., 19 (3): 1373-1384 (2016)A Petri Net Synthesis Method.. J. Networks, 5 (6): 699-707 (2010)Structural Property Analysis of Petri Net.. J. Comput., 7 (1): 292-300 (2012)Property Preservation by Petri-Net-Based Refinements in System Design.. ICYCS, стр. 240-246. IEEE Computer Society, (2008)Property Preservation of Time Petri Net Reduction., и . IITSI, стр. 154-159. IEEE Computer Society, (2010)Property Preservation of Petri Refinement Net.. CSIE (5), стр. 749-754. IEEE Computer Society, (2009)Translations from Time Petri Nets to Timed Automata.. BMEI, стр. 1-5. IEEE, (2009)Analysis of Properties of Petri Synthesis Net.. TAMC, том 3959 из Lecture Notes in Computer Science, стр. 576-587. Springer, (2006)