Matches in SemOpenAlex for { <https://semopenalex.org/work/W4297908511> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W4297908511 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 reachability 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) reachability-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.
- W4297908511 created "2022-10-01" @default.
- W4297908511 creator A5046955540 @default.
- W4297908511 creator A5087624601 @default.
- W4297908511 date "2011-07-06" @default.
- W4297908511 modified "2023-09-26" @default.
- W4297908511 title "Reachability Analysis of Time Basic Petri Nets: a Time Coverage Approach" @default.
- W4297908511 doi "https://doi.org/10.48550/arxiv.1107.1166" @default.
- W4297908511 hasPublicationYear "2011" @default.
- W4297908511 type Work @default.
- W4297908511 citedByCount "0" @default.
- W4297908511 crossrefType "posted-content" @default.
- W4297908511 hasAuthorship W4297908511A5046955540 @default.
- W4297908511 hasAuthorship W4297908511A5087624601 @default.
- W4297908511 hasBestOaLocation W42979085111 @default.
- W4297908511 hasConcept C110251889 @default.
- W4297908511 hasConcept C11413529 @default.
- W4297908511 hasConcept C132525143 @default.
- W4297908511 hasConcept C134306372 @default.
- W4297908511 hasConcept C136643341 @default.
- W4297908511 hasConcept C142362112 @default.
- W4297908511 hasConcept C153349607 @default.
- W4297908511 hasConcept C197551870 @default.
- W4297908511 hasConcept C23123220 @default.
- W4297908511 hasConcept C2779231336 @default.
- W4297908511 hasConcept C33923547 @default.
- W4297908511 hasConcept C34388435 @default.
- W4297908511 hasConcept C38677869 @default.
- W4297908511 hasConcept C41008148 @default.
- W4297908511 hasConcept C558565934 @default.
- W4297908511 hasConcept C73301696 @default.
- W4297908511 hasConcept C80444323 @default.
- W4297908511 hasConcept C88548561 @default.
- W4297908511 hasConceptScore W4297908511C110251889 @default.
- W4297908511 hasConceptScore W4297908511C11413529 @default.
- W4297908511 hasConceptScore W4297908511C132525143 @default.
- W4297908511 hasConceptScore W4297908511C134306372 @default.
- W4297908511 hasConceptScore W4297908511C136643341 @default.
- W4297908511 hasConceptScore W4297908511C142362112 @default.
- W4297908511 hasConceptScore W4297908511C153349607 @default.
- W4297908511 hasConceptScore W4297908511C197551870 @default.
- W4297908511 hasConceptScore W4297908511C23123220 @default.
- W4297908511 hasConceptScore W4297908511C2779231336 @default.
- W4297908511 hasConceptScore W4297908511C33923547 @default.
- W4297908511 hasConceptScore W4297908511C34388435 @default.
- W4297908511 hasConceptScore W4297908511C38677869 @default.
- W4297908511 hasConceptScore W4297908511C41008148 @default.
- W4297908511 hasConceptScore W4297908511C558565934 @default.
- W4297908511 hasConceptScore W4297908511C73301696 @default.
- W4297908511 hasConceptScore W4297908511C80444323 @default.
- W4297908511 hasConceptScore W4297908511C88548561 @default.
- W4297908511 hasLocation W42979085111 @default.
- W4297908511 hasOpenAccess W4297908511 @default.
- W4297908511 hasPrimaryLocation W42979085111 @default.
- W4297908511 hasRelatedWork W1517759046 @default.
- W4297908511 hasRelatedWork W1527188073 @default.
- W4297908511 hasRelatedWork W1972910911 @default.
- W4297908511 hasRelatedWork W2012166633 @default.
- W4297908511 hasRelatedWork W2171468557 @default.
- W4297908511 hasRelatedWork W2279888664 @default.
- W4297908511 hasRelatedWork W2350551277 @default.
- W4297908511 hasRelatedWork W2740487895 @default.
- W4297908511 hasRelatedWork W2950680577 @default.
- W4297908511 hasRelatedWork W4297908511 @default.
- W4297908511 isParatext "false" @default.
- W4297908511 isRetracted "false" @default.
- W4297908511 workType "article" @default.