Charlie – An Extensible Petri Net Analysis Tool

DOI10.1007/978-3-319-19488-2_10zbMath1432.68309OpenAlexW2107989246WikidataQ63241782 ScholiaQ63241782MaRDI QIDQ2941151

Martin Schwarick, Jan-Thierry Wegener, Monika Heiner

Publication date: 27 August 2015

Published in: Application and Theory of Petri Nets and Concurrency (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-19488-2_10

zbMATH Keywords

Javastochastic Petri netsthreadsplace/transition Petri netspluginanalysis toolexplicit CTL/LTL model checkingplace/transition invariantssiphon/trap propertytime-dependent Petri nets

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Petri-net-based 2D design of DNA walker circuits ⋮ The study of the influence of micro-environmental signals on macrophage differentiation using a quantitative Petri net based model ⋮ Charlie

Cites Work

• Unnamed Item
• Unnamed Item
• A Petri net approach to the study of persistence in chemical reaction networks
• A mathematical approach to solve the network reconstruction problem
• From Petri Nets to Differential Equations – An Integrative Approach for Biochemical Network Analysis
• A Petri-Net-Based Framework for Biomodel Engineering

This page was built for publication: Charlie – An Extensible Petri Net Analysis Tool