Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets.

A. Ratzer, L. Wells, H. Lassen, M. Laursen, J. Qvortrup, M. Stissing, M. Westergaard, S. Christensen, und K. Jensen. ICATPN, Volume 2679 von Lecture Notes in Computer Science, Seite 450-462. Springer, (2003)

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.

Michael Beltle University of Stuttgart

Measurement and Simulation of the Shielding Effectiveness of Planar Material with Apertures using a ASTM D4935 TEM CellM. Gruber, M. Beltle, und S. Tenbohlen. 2023 International Symposium on Electromagnetic Compatibility : EMC Europe, IEEE, (2023)

Measurement and Simulation of the Shielding Effectiveness of Planar Material with Apertures using a ASTM D4935 TEM CellM. Gruber, M. Beltle, und S. Tenbohlen. 2023 International Symposium on Electromagnetic Compatibility : EMC Europe, IEEE, (2023)Using capacitive electric field sensors to measure transient overvoltages : a case studyF. Probst, M. Beltle, M. Gerber, S. Tenbohlen, und K. Alsdorf. 23rd International Symposium on High Voltage Engineering (ISH 2023), Seite 20-25. Stevenage, Institution of Engineering and Technology, (2023)Measurement System for Surface Potentials in Realistic HVDC-GIS EnvironmentsL. Baronat, M. Beltle, S. Tenbohlen, und U. Riechert. 23rd International Symposium on High Voltage Engineering (ISH 2023), Seite 543-547. Stevenage, Institution of Engineering and Technology, (2023)

Michael Luckert University of Stuttgart

Michael Weber University of Stuttgart

Michael Böhm

Michael Funk

Weitere Publikationen von Autoren mit dem selben Namen

A Graphical Approach to Component-Based and Extensible Model Checking Platforms.M. Westergaard, und L. Kristensen. Trans. Petri Nets and Other Models of Concurrency, (2012)The BRITNeY Suite Animation Tool.M. Westergaard, und K. Lassen. ICATPN, Volume 4024 von Lecture Notes in Computer Science, Seite 431-440. Springer, (2006)Runtime Verification of LTL-Based Declarative Process Models.F. Maggi, M. Westergaard, M. Montali, und W. van der Aalst. RV, Volume 7186 von Lecture Notes in Computer Science, Seite 131-146. Springer, (2011)Better Algorithms for Analyzing and Enacting Declarative Workflow Languages Using LTL.M. Westergaard. BPM, Volume 6896 von Lecture Notes in Computer Science, Seite 83-98. Springer, (2011)Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks.L. Kristensen, M. Westergaard, und P. Nørgaard. IFM, Volume 3771 von Lecture Notes in Computer Science, Seite 266-286. Springer, (2005)Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching.M. Westergaard, D. Fahland, und C. Stahl. Trans. Petri Nets and Other Models of Concurrency, (2013)Grade/CPN: Semi-automatic Support for Teaching Petri Nets by Checking Many Petri Nets Against One Specification.M. Westergaard, D. Fahland, und C. Stahl. PNSE, Volume 851 von CEUR Workshop Proceedings, Seite 32-46. CEUR-WS.org, (2012)An Infrastructure for Cost-Effective Testing of Operational Support Algorithms Based on Colored Petri Nets.J. Nakatumba, M. Westergaard, und W. van der Aalst. Petri Nets, Volume 7347 von Lecture Notes in Computer Science, Seite 308-327. Springer, (2012)Beautiful Workflows: A Matter of Taste?W. van der Aalst, M. Westergaard, und H. Reijers. The Beauty of Functional Code, Volume 8106 von Lecture Notes in Computer Science, Seite 211-233. Springer, (2013)Looking into the Future. Using Timed Automata to Provide a Priori Advice about Timed Declarative Process Models.M. Westergaard, und F. Maggi. OTM Conferences (1), Volume 7565 von Lecture Notes in Computer Science, Seite 250-267. Springer, (2012)