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.

 

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

Towards Verifying Distributed Systems Using Object-Oriented Petri Nets., , и . EUROCAST, том 1798 из Lecture Notes in Computer Science, стр. 90-104. Springer, (1999)Interactive evolutionary modelling and simulation of discrete-event systems using prototypical objects., и . Int. J. Auton. Comp., 1 (2): 104-120 (2009)Operating System for Petri Nets-Specified Reconfigurable Embedded Systems., и . EUROCAST (1), том 8111 из Lecture Notes in Computer Science, стр. 444-451. Springer, (2013)Object-oriented Petri nets, their simulation, and analysis., , и . SMC, стр. 262-267. IEEE, (1998)Dynamic Software Architecture for Distributed Embedded Control Systems., , и . PNSE @ Petri Nets, том 1372 из CEUR Workshop Proceedings, стр. 133-150. CEUR-WS.org, (2015)Petri Net Simulation as a Service., , и . PNSE @ Petri Nets, том 1160 из CEUR Workshop Proceedings, стр. 353-362. CEUR-WS.org, (2014)Modelling intelligent agents for autonomic computing in the PNagent framework., , , и . Int. J. Auton. Comp., 1 (2): 121-139 (2009)Model-Based Design and Verification of Reactive Systems., , и . EUROCAST, том 5717 из Lecture Notes in Computer Science, стр. 865-872. Springer, (2009)T-Mass v.2, State of the Art., , , , и . EMS, стр. 240-245. IEEE Computer Society, (2008)Object Oriented Petri Nets - Modelling Techniques Case Study., , и . EMS, стр. 165-170. IEEE Computer Society, (2008)