Charlie -- an extensible Petri net analysis tool

DOI10.1007/978-3-319-19488-2_10MaRDI QIDQ2941151zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Monika Heiner, Martin Schwarick, Jan-Thierry Wegener

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

analysis toolexplicit CTL/LTL model checkingJavaplace/transition invariantsplace/transition Petri netspluginsiphon/trap propertystochastic Petri netsthreadstime-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)

Recommendations

• Analysis of Petri nets and transition systems
• scientific article; zbMATH DE number 177238
• scientific article; zbMATH DE number 750184
• The practitioner's guide to coloured Petri nets.
• scientific article; zbMATH DE number 107927

Cites work

• A mathematical approach to solve the network reconstruction problem
• A Petri net approach to the study of persistence in chemical reaction networks
• A Petri-net-based framework for biomodel engineering
• From Petri Nets to Differential Equations – An Integrative Approach for Biochemical Network Analysis
• scientific article; zbMATH DE number 1302046 (Why is no real title available?)
• scientific article; zbMATH DE number 2102728 (Why is no real title available?)

Cited in

(4)

• Charlie
• SNAKES: a flexible high-level Petri nets library (tool paper)
• The study of the influence of micro-environmental signals on macrophage differentiation using a quantitative Petri net based model
• Petri-net-based 2D design of DNA walker circuits

This page was built for publication: Charlie -- an extensible Petri net analysis tool

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2941151)