Author of the publication

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

Timed Petri Nets in Modelling and Evaluation of Multiprocessor Systems.. ICPP, page 695-698. Pennsylvania State University Press, (1987)Balancing the performance of block multithreaded distributed-memory systems.. Simul. Model. Pract. Theory, 19 (5): 1318-1329 (2011)Modeling and Analysis of Dual Block Multithreading.. FORTE Workshops, volume 3236 of Lecture Notes in Computer Science, page 209-219. Springer, (2004)Timed Petri nets and performance evaluation of systems.. SMC, page 278-283. IEEE, (1998)Model Fusion for the Compatibility Verification of Software Components.. DepCoS-RELCOMEX, volume 286 of Advances in Intelligent Systems and Computing, page 521-529. Springer, (2014)Modeling and Analysis of Distributed State Space Generation for Timed Petri Nets., and . Annual Simulation Symposium, page 93-98. IEEE Computer Society, (2001)On generation of state space for timed Petri nets.. ACM Conference on Computer Science, page 239-248. ACM, (1988)Performance Evaluation Using Extended Petri Nets.. PNPM, page 272-278. IEEE Computer Society, (1985)Extended D-Timed Petri Nets, Timeouts, and Analysis of Communication Protocols.. ACM Annual Conference, page 10-15. ACM, (1985)Timed Petri Net Models of ATM LANs., and . Application of Petri Nets to Communication Networks, volume 1605 of Lecture Notes in Computer Science, page 150-175. Springer, (1999)