Matches in SemOpenAlex for { <https://semopenalex.org/work/W2012166633> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2012166633 abstract "We introduce a technique for reachability analysis of Time-Basic (TB) Petri nets, a powerful formalism for real time systems where time constraints are expressed as intervals, representing possible transition firing times, whose bounds are functions of marking's time description. The technique consists of building a symbolic reach ability graph relying on a sort of time coverage, and overcomes the limitations of the only available analyzer for TB nets, based in turn on a time-bounded inspection of a (possibly infinite) tree-tree. The graph construction algorithm has been automated by a tool-set, briefly described in the paper together with its main functionality and analysis capability. A running example is used throughout the paper to sketch the symbolic graph construction. A use case describing a small real system - that the running example is an excerpt from - has been employed to benchmark the technique and the tool-set. The main outcome of this test are also presented in the paper. Ongoing work, in the perspective of integrating with a model-checking engine, is shortly discussed." @default.
- W2012166633 created "2016-06-24" @default.
- W2012166633 creator A5046955540 @default.
- W2012166633 creator A5087624601 @default.
- W2012166633 date "2011-09-01" @default.
- W2012166633 modified "2023-09-27" @default.
- W2012166633 title "Reachability Analysis of Time Basic Petri Nets: A Time Coverage Approach" @default.
- W2012166633 cites W2013664122 @default.
- W2012166633 cites W2064254377 @default.
- W2012166633 cites W2077087299 @default.
- W2012166633 cites W2110950880 @default.
- W2012166633 cites W2120601740 @default.
- W2012166633 cites W2133939589 @default.
- W2012166633 cites W2151612633 @default.
- W2012166633 cites W2159913651 @default.
- W2012166633 doi "https://doi.org/10.1109/synasc.2011.16" @default.
- W2012166633 hasPublicationYear "2011" @default.
- W2012166633 type Work @default.
- W2012166633 sameAs 2012166633 @default.
- W2012166633 citedByCount "11" @default.
- W2012166633 countsByYear W20121666332012 @default.
- W2012166633 countsByYear W20121666332013 @default.
- W2012166633 countsByYear W20121666332014 @default.
- W2012166633 countsByYear W20121666332015 @default.
- W2012166633 countsByYear W20121666332016 @default.
- W2012166633 countsByYear W20121666332017 @default.
- W2012166633 countsByYear W20121666332018 @default.
- W2012166633 crossrefType "proceedings-article" @default.
- W2012166633 hasAuthorship W2012166633A5046955540 @default.
- W2012166633 hasAuthorship W2012166633A5087624601 @default.
- W2012166633 hasBestOaLocation W20121666332 @default.
- W2012166633 hasConcept C110251889 @default.
- W2012166633 hasConcept C11413529 @default.
- W2012166633 hasConcept C132525143 @default.
- W2012166633 hasConcept C134306372 @default.
- W2012166633 hasConcept C136643341 @default.
- W2012166633 hasConcept C142362112 @default.
- W2012166633 hasConcept C153349607 @default.
- W2012166633 hasConcept C197551870 @default.
- W2012166633 hasConcept C23123220 @default.
- W2012166633 hasConcept C2779231336 @default.
- W2012166633 hasConcept C33923547 @default.
- W2012166633 hasConcept C34388435 @default.
- W2012166633 hasConcept C38677869 @default.
- W2012166633 hasConcept C41008148 @default.
- W2012166633 hasConcept C558565934 @default.
- W2012166633 hasConcept C73301696 @default.
- W2012166633 hasConcept C80444323 @default.
- W2012166633 hasConcept C88548561 @default.
- W2012166633 hasConceptScore W2012166633C110251889 @default.
- W2012166633 hasConceptScore W2012166633C11413529 @default.
- W2012166633 hasConceptScore W2012166633C132525143 @default.
- W2012166633 hasConceptScore W2012166633C134306372 @default.
- W2012166633 hasConceptScore W2012166633C136643341 @default.
- W2012166633 hasConceptScore W2012166633C142362112 @default.
- W2012166633 hasConceptScore W2012166633C153349607 @default.
- W2012166633 hasConceptScore W2012166633C197551870 @default.
- W2012166633 hasConceptScore W2012166633C23123220 @default.
- W2012166633 hasConceptScore W2012166633C2779231336 @default.
- W2012166633 hasConceptScore W2012166633C33923547 @default.
- W2012166633 hasConceptScore W2012166633C34388435 @default.
- W2012166633 hasConceptScore W2012166633C38677869 @default.
- W2012166633 hasConceptScore W2012166633C41008148 @default.
- W2012166633 hasConceptScore W2012166633C558565934 @default.
- W2012166633 hasConceptScore W2012166633C73301696 @default.
- W2012166633 hasConceptScore W2012166633C80444323 @default.
- W2012166633 hasConceptScore W2012166633C88548561 @default.
- W2012166633 hasLocation W20121666331 @default.
- W2012166633 hasLocation W20121666332 @default.
- W2012166633 hasOpenAccess W2012166633 @default.
- W2012166633 hasPrimaryLocation W20121666331 @default.
- W2012166633 hasRelatedWork W137878192 @default.
- W2012166633 hasRelatedWork W1482993605 @default.
- W2012166633 hasRelatedWork W1522386340 @default.
- W2012166633 hasRelatedWork W2148229336 @default.
- W2012166633 hasRelatedWork W2154785561 @default.
- W2012166633 hasRelatedWork W2170020397 @default.
- W2012166633 hasRelatedWork W2296663577 @default.
- W2012166633 hasRelatedWork W2528714477 @default.
- W2012166633 hasRelatedWork W2759275744 @default.
- W2012166633 hasRelatedWork W2990690886 @default.
- W2012166633 isParatext "false" @default.
- W2012166633 isRetracted "false" @default.
- W2012166633 magId "2012166633" @default.
- W2012166633 workType "article" @default.