Author of the publication

Concurrent Generalized Petri Nets: Regenerative Conditions.

, and . PNPM, page 125-134. IEEE Computer Society, (2001)

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

Performance evaluation of UML design with Stochastic Well-formed Nets., and . J. Syst. Softw., 80 (11): 1843-1865 (2007)Using Process Mining and Model-Driven Engineering to Enhance Security of Web Information Systems., , and . EuroS&P Workshops, page 160-166. IEEE, (2017)Toward a decision support system for the clinical pathways assessment., , and . Discret. Event Dyn. Syst., 29 (1): 91-125 (2019)Dependable and secure infrastructures and systems in intelligent environments., , , and . J. Reliab. Intell. Environ., 9 (3): 261-262 (September 2023)Modeling Performance of Hadoop Applications: A Journey from Queueing Networks to Stochastic Well Formed Nets., , , , , and . ICA3PP, volume 10048 of Lecture Notes in Computer Science, page 599-613. Springer, (2016)Validation and Evaluation of a Software Solution for Fault Tolerant Distributed Synchronization., , and . DSN, page 773-784. IEEE Computer Society, (2002)Performance Validation of Fault-Tolerance Software: A Compositional Approach., and . DSN, page 379-388. IEEE Computer Society, (2001)Integrating TPNs and Performance Bound Techniques in ITPN-PerfBound: A New Import Functionality., and . QEST, page 285-286. IEEE Computer Society, (2009)A UML profile for dependability analysis of real-time embedded systems., and . WOSP, page 115-124. ACM, (2007)Dependability analysis of DES based on MARTE and UML state machines models., and . Discret. Event Dyn. Syst., 22 (2): 163-178 (2012)