M
Martin Schwarick
Researcher at Brandenburg University of Technology
Publications - 18
Citations - 609
Martin Schwarick is an academic researcher from Brandenburg University of Technology. The author has contributed to research in topics: Petri net & Stochastic Petri net. The author has an hindex of 12, co-authored 17 publications receiving 569 citations.
Papers
More filters
Book ChapterDOI
Snoopy --- a unifying petri net tool
TL;DR: The tool Snoopy provides a unifying PetriNet framework which has particularly many application scenarios in systems and synthetic biology, and facilitates the extension by new Petri net classes thanks to its generic design.
Book ChapterDOI
MARCIE: model checking and reachability analysis done efficiently
TL;DR: MARCIE's architecture and its most important distinguishing features are presented, and extensive computational experiments demonstrate MARCIE's strength in comparison with related tools.
Proceedings ArticleDOI
MARCIE - Model Checking and Reachability Analysis Done EffiCIEntly
TL;DR: MARCIE's architecture and its most important distinguishing features are presented, and extensive computational experiments demonstrate MARCIE's strength in comparison with related tools.
Book ChapterDOI
Charlie – An Extensible Petri Net Analysis Tool
TL;DR: The tool is in use for model verification of technical systems, especially software-based systems, as well as for model validation of natural systems, i.e. biochemical networks, such as metabolic, signal transduction, and gene regulatory networks.
Book ChapterDOI
CSL Model Checking of Biochemical Networks with Interval Decision Diagrams
Martin Schwarick,Monika Heiner +1 more
TL;DR: A simple, but powerful algorithm which uses explicitly the Petri net structure and allows for parallelisation is introduced which supports CSL model checking of time-bounded operators and the Next operator for ordinary stochastic Petri nets.