Matches in SemOpenAlex for { <https://semopenalex.org/work/W4378551438> ?p ?o ?g. }
- W4378551438 endingPage "204" @default.
- W4378551438 startingPage "191" @default.
- W4378551438 abstract "The paper deals with the verification and analysis techniques offered by the Hippo-CPS system. The presented tool offers alternate examination methods of the Petri net-based cyber-physical system. In particular, the set of proposed modules permits the classification of the system, verification of its main properties (such as liveness, boundedness, and safeness), and the performance of advanced concurrency and sequentiality analysis of the system (including state-space analysis, place invariant analysis, state machine component-based analysis, etc.). Although the paper is focused on the Hippo-CPS application, the presented tools have a strong theoretical background, including adequate algorithms, theorems, and proofs. The functionality of the tools was verified experimentally, by examination of the efficiency and effectiveness of the implemented techniques." @default.
- W4378551438 created "2023-05-28" @default.
- W4378551438 creator A5022821354 @default.
- W4378551438 creator A5029112800 @default.
- W4378551438 creator A5034104763 @default.
- W4378551438 creator A5075280877 @default.
- W4378551438 date "2023-01-01" @default.
- W4378551438 modified "2023-09-27" @default.
- W4378551438 title "Hippo-CPS: A Tool for Verification and Analysis of Petri Net-Based Cyber-Physical Systems" @default.
- W4378551438 cites W1509607930 @default.
- W4378551438 cites W1511538751 @default.
- W4378551438 cites W1515231954 @default.
- W4378551438 cites W1565525547 @default.
- W4378551438 cites W1567314218 @default.
- W4378551438 cites W1591890109 @default.
- W4378551438 cites W1852312881 @default.
- W4378551438 cites W1980806050 @default.
- W4378551438 cites W1989887624 @default.
- W4378551438 cites W1990190960 @default.
- W4378551438 cites W1996109622 @default.
- W4378551438 cites W1996297578 @default.
- W4378551438 cites W2062596124 @default.
- W4378551438 cites W2074266025 @default.
- W4378551438 cites W2079998848 @default.
- W4378551438 cites W2098899007 @default.
- W4378551438 cites W2107989246 @default.
- W4378551438 cites W2126958110 @default.
- W4378551438 cites W2127030216 @default.
- W4378551438 cites W2140444941 @default.
- W4378551438 cites W2140872435 @default.
- W4378551438 cites W2523482717 @default.
- W4378551438 cites W2526581160 @default.
- W4378551438 cites W2555434358 @default.
- W4378551438 cites W2611829796 @default.
- W4378551438 cites W2613377812 @default.
- W4378551438 cites W2792705209 @default.
- W4378551438 cites W2804727834 @default.
- W4378551438 cites W2890976390 @default.
- W4378551438 cites W2896870372 @default.
- W4378551438 cites W2903264490 @default.
- W4378551438 cites W2909725081 @default.
- W4378551438 cites W2912317637 @default.
- W4378551438 cites W2948851896 @default.
- W4378551438 cites W2996608682 @default.
- W4378551438 cites W3043546341 @default.
- W4378551438 cites W3146856574 @default.
- W4378551438 cites W3177384992 @default.
- W4378551438 cites W3199269465 @default.
- W4378551438 cites W36971691 @default.
- W4378551438 cites W4295768209 @default.
- W4378551438 cites W4309374914 @default.
- W4378551438 cites W4313260457 @default.
- W4378551438 cites W4317932557 @default.
- W4378551438 cites W4379533667 @default.
- W4378551438 cites W95898642 @default.
- W4378551438 doi "https://doi.org/10.1007/978-3-031-33620-1_10" @default.
- W4378551438 hasPublicationYear "2023" @default.
- W4378551438 type Work @default.
- W4378551438 citedByCount "0" @default.
- W4378551438 crossrefType "book-chapter" @default.
- W4378551438 hasAuthorship W4378551438A5022821354 @default.
- W4378551438 hasAuthorship W4378551438A5029112800 @default.
- W4378551438 hasAuthorship W4378551438A5034104763 @default.
- W4378551438 hasAuthorship W4378551438A5075280877 @default.
- W4378551438 hasConcept C105795698 @default.
- W4378551438 hasConcept C108710211 @default.
- W4378551438 hasConcept C110251889 @default.
- W4378551438 hasConcept C111919701 @default.
- W4378551438 hasConcept C120314980 @default.
- W4378551438 hasConcept C121332964 @default.
- W4378551438 hasConcept C15569618 @default.
- W4378551438 hasConcept C167822520 @default.
- W4378551438 hasConcept C179768478 @default.
- W4378551438 hasConcept C190470478 @default.
- W4378551438 hasConcept C193702766 @default.
- W4378551438 hasConcept C197551870 @default.
- W4378551438 hasConcept C199360897 @default.
- W4378551438 hasConcept C2524010 @default.
- W4378551438 hasConcept C33923547 @default.
- W4378551438 hasConcept C37914503 @default.
- W4378551438 hasConcept C38677869 @default.
- W4378551438 hasConcept C41008148 @default.
- W4378551438 hasConcept C48103436 @default.
- W4378551438 hasConcept C72434380 @default.
- W4378551438 hasConcept C80444323 @default.
- W4378551438 hasConceptScore W4378551438C105795698 @default.
- W4378551438 hasConceptScore W4378551438C108710211 @default.
- W4378551438 hasConceptScore W4378551438C110251889 @default.
- W4378551438 hasConceptScore W4378551438C111919701 @default.
- W4378551438 hasConceptScore W4378551438C120314980 @default.
- W4378551438 hasConceptScore W4378551438C121332964 @default.
- W4378551438 hasConceptScore W4378551438C15569618 @default.
- W4378551438 hasConceptScore W4378551438C167822520 @default.
- W4378551438 hasConceptScore W4378551438C179768478 @default.
- W4378551438 hasConceptScore W4378551438C190470478 @default.
- W4378551438 hasConceptScore W4378551438C193702766 @default.
- W4378551438 hasConceptScore W4378551438C197551870 @default.
- W4378551438 hasConceptScore W4378551438C199360897 @default.