Charlie - An Extensible Petri Net Analysis Tool

@inproceedings{Heiner2015CharlieA,
  title={Charlie - An Extensible Petri Net Analysis Tool},
  author={Monika Heiner and Martin Schwarick and Jan-Thierry Wegener},
  booktitle={Petri Nets},
  year={2015}
}
Charlie is an extensible thread-based Java tool for analysing Petri nets. Its built-in functionalities apply standard analysis techniques of Petri net theory (e.g. invariants, siphon/trap property) to determine structural and behavioural properties of place/transition Petri nets, complemented by explicit CTL and LTL model checking. Charlie comes with a plugin mechanism, which permits to easily extend its basic functionality as it has been demonstrated for, e.g., structural reduction and time… CONTINUE READING

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 22 CITATIONS

Deadlock Detection in Distributed Systems Using the IMDS Formalism and Petri Nets

VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Petri-net-based 2D design of DNA walker circuits

VIEW 4 EXCERPTS

Stochastic Petri Net Models for the Study of Macrophage Reprogramming

VIEW 1 EXCERPT
CITES METHODS

Activity Networks with Delays An application to toxicity analysis

VIEW 3 EXCERPTS
CITES METHODS

BioModelKit – An Integrative Framework for Multi-Scale Biomodel-Engineering

VIEW 3 EXCERPTS
CITES METHODS