Matches in SemOpenAlex for { <https://semopenalex.org/work/W2107989246> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2107989246 endingPage "211" @default.
- W2107989246 startingPage "200" @default.
- W2107989246 abstract "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-dependent Petri nets. Charlie’s primary focus is teaching. For thispurpose, it has a rule system comprising standard theorems of Petri net theory to possibly decide further properties based on the already determined ones. All applied rules are reported by default, so the user may keep track of all analysis steps. 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. It is publicly available at http://www-dssz.informatik.tu-cottbus.de/DSSZ/Software/Charlie ." @default.
- W2107989246 created "2016-06-24" @default.
- W2107989246 creator A5002026696 @default.
- W2107989246 creator A5033387731 @default.
- W2107989246 creator A5065995339 @default.
- W2107989246 date "2015-01-01" @default.
- W2107989246 modified "2023-10-14" @default.
- W2107989246 title "Charlie – An Extensible Petri Net Analysis Tool" @default.
- W2107989246 cites W105010535 @default.
- W2107989246 cites W1481353294 @default.
- W2107989246 cites W1489913013 @default.
- W2107989246 cites W1533938257 @default.
- W2107989246 cites W156416472 @default.
- W2107989246 cites W1567452221 @default.
- W2107989246 cites W1786236181 @default.
- W2107989246 cites W180888965 @default.
- W2107989246 cites W1813686880 @default.
- W2107989246 cites W1890922969 @default.
- W2107989246 cites W1985417473 @default.
- W2107989246 cites W1990190960 @default.
- W2107989246 cites W2000875416 @default.
- W2107989246 cites W2013286793 @default.
- W2107989246 cites W2050489710 @default.
- W2107989246 cites W2066718612 @default.
- W2107989246 cites W2102308776 @default.
- W2107989246 cites W2105734055 @default.
- W2107989246 cites W2109783775 @default.
- W2107989246 cites W2123910740 @default.
- W2107989246 cites W2125548279 @default.
- W2107989246 cites W2133552211 @default.
- W2107989246 cites W2148895036 @default.
- W2107989246 cites W2178536058 @default.
- W2107989246 cites W310593909 @default.
- W2107989246 cites W61748080 @default.
- W2107989246 cites W95898642 @default.
- W2107989246 doi "https://doi.org/10.1007/978-3-319-19488-2_10" @default.
- W2107989246 hasPublicationYear "2015" @default.
- W2107989246 type Work @default.
- W2107989246 sameAs 2107989246 @default.
- W2107989246 citedByCount "31" @default.
- W2107989246 countsByYear W21079892462016 @default.
- W2107989246 countsByYear W21079892462017 @default.
- W2107989246 countsByYear W21079892462018 @default.
- W2107989246 countsByYear W21079892462019 @default.
- W2107989246 countsByYear W21079892462020 @default.
- W2107989246 countsByYear W21079892462021 @default.
- W2107989246 countsByYear W21079892462023 @default.
- W2107989246 crossrefType "book-chapter" @default.
- W2107989246 hasAuthorship W2107989246A5002026696 @default.
- W2107989246 hasAuthorship W2107989246A5033387731 @default.
- W2107989246 hasAuthorship W2107989246A5065995339 @default.
- W2107989246 hasConcept C110251889 @default.
- W2107989246 hasConcept C115903868 @default.
- W2107989246 hasConcept C136155141 @default.
- W2107989246 hasConcept C138101251 @default.
- W2107989246 hasConcept C146763376 @default.
- W2107989246 hasConcept C199360897 @default.
- W2107989246 hasConcept C2777904410 @default.
- W2107989246 hasConcept C32833848 @default.
- W2107989246 hasConcept C38677869 @default.
- W2107989246 hasConcept C41008148 @default.
- W2107989246 hasConcept C54355233 @default.
- W2107989246 hasConcept C548217200 @default.
- W2107989246 hasConcept C75606506 @default.
- W2107989246 hasConcept C80444323 @default.
- W2107989246 hasConcept C86803240 @default.
- W2107989246 hasConceptScore W2107989246C110251889 @default.
- W2107989246 hasConceptScore W2107989246C115903868 @default.
- W2107989246 hasConceptScore W2107989246C136155141 @default.
- W2107989246 hasConceptScore W2107989246C138101251 @default.
- W2107989246 hasConceptScore W2107989246C146763376 @default.
- W2107989246 hasConceptScore W2107989246C199360897 @default.
- W2107989246 hasConceptScore W2107989246C2777904410 @default.
- W2107989246 hasConceptScore W2107989246C32833848 @default.
- W2107989246 hasConceptScore W2107989246C38677869 @default.
- W2107989246 hasConceptScore W2107989246C41008148 @default.
- W2107989246 hasConceptScore W2107989246C54355233 @default.
- W2107989246 hasConceptScore W2107989246C548217200 @default.
- W2107989246 hasConceptScore W2107989246C75606506 @default.
- W2107989246 hasConceptScore W2107989246C80444323 @default.
- W2107989246 hasConceptScore W2107989246C86803240 @default.
- W2107989246 hasLocation W21079892461 @default.
- W2107989246 hasOpenAccess W2107989246 @default.
- W2107989246 hasPrimaryLocation W21079892461 @default.
- W2107989246 hasRelatedWork W1502896170 @default.
- W2107989246 hasRelatedWork W1569942099 @default.
- W2107989246 hasRelatedWork W1731386390 @default.
- W2107989246 hasRelatedWork W1833056993 @default.
- W2107989246 hasRelatedWork W2045523968 @default.
- W2107989246 hasRelatedWork W2101948642 @default.
- W2107989246 hasRelatedWork W2121853504 @default.
- W2107989246 hasRelatedWork W2132150351 @default.
- W2107989246 hasRelatedWork W2296663577 @default.
- W2107989246 hasRelatedWork W2586039792 @default.
- W2107989246 isParatext "false" @default.
- W2107989246 isRetracted "false" @default.
- W2107989246 magId "2107989246" @default.
- W2107989246 workType "book-chapter" @default.