Autor der Publikation

A Petri Net Formalism to Study Systems at Different Scales Exploiting Agent-Based and Stochastic Simulations.

, , , , und . EPEW, Volume 13104 von Lecture Notes in Computer Science, Seite 22-43. Springer, (2021)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Methods of Increasing Modelling Power for Safety Analysis, Applied to a Turbine Digital Control System., , , , , und . SAFECOMP, Volume 2434 von Lecture Notes in Computer Science, Seite 212-223. Springer, (2002)Performance Analysis of a WDM Bus Network Based on GSPN Models., , und . Computer Performance Evaluation (Tools), Volume 1469 von Lecture Notes in Computer Science, Seite 207-218. Springer, (1998)Dynamic Simulations of Kidney Exchanges., , , und . OR, Seite 539-544. Springer, (2010)Guest Editors' Introduction to the Special Section on the First International Conference on the Quantitative Evaluation of SysTems (QEST)., , und . IEEE Trans. Software Eng., 32 (8): 529-530 (2006)GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets., , , und . Perform. Evaluation, 24 (1-2): 47-68 (1995)From Compositional Petri Net Modeling to Macro and Micro Simulation by Means of Stochastic Simulation and Agent-Based Models., , , , , und . ACM Trans. Model. Perform. Evaluation Comput. Syst., 9 (1): 1:1-1:30 (März 2024)Efficient simulation of stochastic well-formed nets through symmetry exploitation., und . WSC, Seite 296:1-296:13. WSC, (2012)Dependability Assessment of an Industrial Programmable Logic Controller via Parametric Fault-Tree and High level Petri Net., , , und . PNPM, Seite 29-38. IEEE Computer Society, (2001)A Bayesian Network Approach for the Interpretation of Cyber Attacks to Power Systems., , , , , , und . ITASEC, Volume 2315 von CEUR Workshop Proceedings, CEUR-WS.org, (2019)Draw-Net, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems., , und . QEST, Seite 257-258. IEEE Computer Society, (2005)