PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Westergaard, Michael"

Author of the publication

copydeleteadd this publication to your clipboard
CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets.

, , , , , , , , and . ICATPN, volume 2679 of Lecture Notes in Computer Science, page 450-462. Springer, (2003)

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.

Michael Böhm

Michael Funk

Hon. -Prof. Dr. -Ing. Michael Bauer University of Stuttgart

Dr. Michael Wachowsky University of Stuttgart

Dr. phil. Michael Nerurkar University of Stuttgart

 

Other publications of authors with the same name

A Graphical Approach to Component-Based and Extensible Model Checking Platforms., and . Trans. Petri Nets and Other Models of Concurrency, (2012)The BRITNeY Suite Animation Tool., and . ICATPN, volume 4024 of Lecture Notes in Computer Science, page 431-440. Springer, (2006)Better Algorithms for Analyzing and Enacting Declarative Workflow Languages Using LTL.. BPM, volume 6896 of Lecture Notes in Computer Science, page 83-98. Springer, (2011)Runtime Verification of LTL-Based Declarative Process Models., , , and . RV, volume 7186 of Lecture Notes in Computer Science, page 131-146. Springer, (2011)Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks., , and . IFM, volume 3771 of Lecture Notes in Computer Science, page 266-286. Springer, (2005)Looking into the Future. Using Timed Automata to Provide a Priori Advice about Timed Declarative Process Models., and . OTM Conferences (1), volume 7565 of Lecture Notes in Computer Science, page 250-267. Springer, (2012)Beautiful Workflows: A Matter of Taste?, , and . The Beauty of Functional Code, volume 8106 of Lecture Notes in Computer Science, page 211-233. Springer, (2013)Leveraging Super-Scalarity and Parallelism to Provide Fast Declare Mining without Restrictions., and . BPM (Demos), volume 1021 of CEUR Workshop Proceedings, CEUR-WS.org, (2013)Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching., , and . 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., , and . PNSE, volume 851 of CEUR Workshop Proceedings, page 32-46. CEUR-WS.org, (2012)