Matches in SemOpenAlex for { <https://semopenalex.org/work/W2734452008> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2734452008 abstract "This paper proposes an on-the-fly linear temporal logic model checker using state-space generation based on Petri net models. The hierarchical Petri net simulator (HiPS) tool, developed by our research group at Shinshu University, is a design and verification environment for Place/Transition nets and is capable of generating state-space and trace-process graphs. In combination with external tools, HiPS can perform exhaustive model checking for a state space. However, exhaustive model checking is required for generating a complete state space. On-the-fly model checking is an approach for solving the explosion problem to generate a portion of the overall state space by parallelizing the search and generation processes. In this study, we propose a model checker for a Petri net model to concurrently function with state-space generation using an interprocess communication channel. By utilizing the concept of fluency, we implement automata-based model checking for Petri nets. This implementation achieves high-efficiency for on-the-fly verification, which is independent of the verification and state-space generation processes." @default.
- W2734452008 created "2017-07-21" @default.
- W2734452008 creator A5058596471 @default.
- W2734452008 creator A5081804645 @default.
- W2734452008 date "2017-07-18" @default.
- W2734452008 modified "2023-09-27" @default.
- W2734452008 title "A Petri Net Design and Verification Platform Based on The Scalable and Parallel Architecture: HiPS" @default.
- W2734452008 cites W1544607874 @default.
- W2734452008 cites W1996109622 @default.
- W2734452008 cites W2089003125 @default.
- W2734452008 cites W2135220153 @default.
- W2734452008 cites W4211008702 @default.
- W2734452008 cites W4249538237 @default.
- W2734452008 doi "https://doi.org/10.1007/978-3-319-54978-1_37" @default.
- W2734452008 hasPublicationYear "2017" @default.
- W2734452008 type Work @default.
- W2734452008 sameAs 2734452008 @default.
- W2734452008 citedByCount "2" @default.
- W2734452008 countsByYear W27344520082022 @default.
- W2734452008 crossrefType "book-chapter" @default.
- W2734452008 hasAuthorship W2734452008A5058596471 @default.
- W2734452008 hasAuthorship W2734452008A5081804645 @default.
- W2734452008 hasConcept C105795698 @default.
- W2734452008 hasConcept C110251889 @default.
- W2734452008 hasConcept C111919701 @default.
- W2734452008 hasConcept C112505250 @default.
- W2734452008 hasConcept C120314980 @default.
- W2734452008 hasConcept C197551870 @default.
- W2734452008 hasConcept C199360897 @default.
- W2734452008 hasConcept C33923547 @default.
- W2734452008 hasConcept C38677869 @default.
- W2734452008 hasConcept C41008148 @default.
- W2734452008 hasConcept C48044578 @default.
- W2734452008 hasConcept C48103436 @default.
- W2734452008 hasConcept C72434380 @default.
- W2734452008 hasConcept C80444323 @default.
- W2734452008 hasConceptScore W2734452008C105795698 @default.
- W2734452008 hasConceptScore W2734452008C110251889 @default.
- W2734452008 hasConceptScore W2734452008C111919701 @default.
- W2734452008 hasConceptScore W2734452008C112505250 @default.
- W2734452008 hasConceptScore W2734452008C120314980 @default.
- W2734452008 hasConceptScore W2734452008C197551870 @default.
- W2734452008 hasConceptScore W2734452008C199360897 @default.
- W2734452008 hasConceptScore W2734452008C33923547 @default.
- W2734452008 hasConceptScore W2734452008C38677869 @default.
- W2734452008 hasConceptScore W2734452008C41008148 @default.
- W2734452008 hasConceptScore W2734452008C48044578 @default.
- W2734452008 hasConceptScore W2734452008C48103436 @default.
- W2734452008 hasConceptScore W2734452008C72434380 @default.
- W2734452008 hasConceptScore W2734452008C80444323 @default.
- W2734452008 hasLocation W27344520081 @default.
- W2734452008 hasOpenAccess W2734452008 @default.
- W2734452008 hasPrimaryLocation W27344520081 @default.
- W2734452008 hasRelatedWork W1490832609 @default.
- W2734452008 hasRelatedWork W1550443277 @default.
- W2734452008 hasRelatedWork W157491709 @default.
- W2734452008 hasRelatedWork W1596346255 @default.
- W2734452008 hasRelatedWork W1597683009 @default.
- W2734452008 hasRelatedWork W1919365695 @default.
- W2734452008 hasRelatedWork W1930339465 @default.
- W2734452008 hasRelatedWork W2070228824 @default.
- W2734452008 hasRelatedWork W2077090116 @default.
- W2734452008 hasRelatedWork W2105049254 @default.
- W2734452008 hasRelatedWork W2114269468 @default.
- W2734452008 hasRelatedWork W2132622143 @default.
- W2734452008 hasRelatedWork W2138754242 @default.
- W2734452008 hasRelatedWork W2171227618 @default.
- W2734452008 hasRelatedWork W2487927349 @default.
- W2734452008 hasRelatedWork W2489116208 @default.
- W2734452008 hasRelatedWork W2621185426 @default.
- W2734452008 hasRelatedWork W2778735466 @default.
- W2734452008 hasRelatedWork W45490317 @default.
- W2734452008 hasRelatedWork W63448755 @default.
- W2734452008 isParatext "false" @default.
- W2734452008 isRetracted "false" @default.
- W2734452008 magId "2734452008" @default.
- W2734452008 workType "book-chapter" @default.