Matches in SemOpenAlex for { <https://semopenalex.org/work/W1972714055> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W1972714055 abstract "Time Petri nets (TPN model) allow the specification of real-time systems involving explicit timing constraints. The main challenge of the analysis of such systems is to construct, with few resources (time and space), a coarse abstraction preserving timed properties. In this paper, we propose a new finite graph, called Timed Aggregate Graph (TAG), abstracting the behaviour of bounded TPNs with strong time semantics. The main feature of this abstract representation compared to existing approaches is the encoding of the time information. This is done in a pure way within each node of the TAG allowing to compute the minimum and maximum elapsed time in every path of the graph. The TAG preserves runs and reachable states of the corresponding TPN and allows for verification of both event- and state-based properties." @default.
- W1972714055 created "2016-06-24" @default.
- W1972714055 creator A5011181839 @default.
- W1972714055 creator A5011835200 @default.
- W1972714055 creator A5051227207 @default.
- W1972714055 date "2013-09-01" @default.
- W1972714055 modified "2023-10-14" @default.
- W1972714055 title "A New Approach to Abstract Reachability State Space of Time Petri Nets" @default.
- W1972714055 cites W1555450222 @default.
- W1972714055 cites W1638774901 @default.
- W1972714055 cites W1990325313 @default.
- W1972714055 cites W2054213452 @default.
- W1972714055 cites W2056081080 @default.
- W1972714055 cites W2101508170 @default.
- W1972714055 cites W2105389929 @default.
- W1972714055 cites W2129140418 @default.
- W1972714055 cites W2151612633 @default.
- W1972714055 doi "https://doi.org/10.1109/time.2013.22" @default.
- W1972714055 hasPublicationYear "2013" @default.
- W1972714055 type Work @default.
- W1972714055 sameAs 1972714055 @default.
- W1972714055 citedByCount "9" @default.
- W1972714055 countsByYear W19727140552013 @default.
- W1972714055 countsByYear W19727140552014 @default.
- W1972714055 countsByYear W19727140552018 @default.
- W1972714055 countsByYear W19727140552019 @default.
- W1972714055 countsByYear W19727140552020 @default.
- W1972714055 countsByYear W19727140552022 @default.
- W1972714055 crossrefType "proceedings-article" @default.
- W1972714055 hasAuthorship W1972714055A5011181839 @default.
- W1972714055 hasAuthorship W1972714055A5011835200 @default.
- W1972714055 hasAuthorship W1972714055A5051227207 @default.
- W1972714055 hasConcept C105795698 @default.
- W1972714055 hasConcept C110251889 @default.
- W1972714055 hasConcept C111472728 @default.
- W1972714055 hasConcept C11413529 @default.
- W1972714055 hasConcept C120314980 @default.
- W1972714055 hasConcept C124304363 @default.
- W1972714055 hasConcept C132525143 @default.
- W1972714055 hasConcept C134306372 @default.
- W1972714055 hasConcept C136643341 @default.
- W1972714055 hasConcept C138885662 @default.
- W1972714055 hasConcept C184337299 @default.
- W1972714055 hasConcept C193702766 @default.
- W1972714055 hasConcept C199360897 @default.
- W1972714055 hasConcept C311688 @default.
- W1972714055 hasConcept C33923547 @default.
- W1972714055 hasConcept C34388435 @default.
- W1972714055 hasConcept C38677869 @default.
- W1972714055 hasConcept C41008148 @default.
- W1972714055 hasConcept C48103436 @default.
- W1972714055 hasConcept C72434380 @default.
- W1972714055 hasConcept C80444323 @default.
- W1972714055 hasConceptScore W1972714055C105795698 @default.
- W1972714055 hasConceptScore W1972714055C110251889 @default.
- W1972714055 hasConceptScore W1972714055C111472728 @default.
- W1972714055 hasConceptScore W1972714055C11413529 @default.
- W1972714055 hasConceptScore W1972714055C120314980 @default.
- W1972714055 hasConceptScore W1972714055C124304363 @default.
- W1972714055 hasConceptScore W1972714055C132525143 @default.
- W1972714055 hasConceptScore W1972714055C134306372 @default.
- W1972714055 hasConceptScore W1972714055C136643341 @default.
- W1972714055 hasConceptScore W1972714055C138885662 @default.
- W1972714055 hasConceptScore W1972714055C184337299 @default.
- W1972714055 hasConceptScore W1972714055C193702766 @default.
- W1972714055 hasConceptScore W1972714055C199360897 @default.
- W1972714055 hasConceptScore W1972714055C311688 @default.
- W1972714055 hasConceptScore W1972714055C33923547 @default.
- W1972714055 hasConceptScore W1972714055C34388435 @default.
- W1972714055 hasConceptScore W1972714055C38677869 @default.
- W1972714055 hasConceptScore W1972714055C41008148 @default.
- W1972714055 hasConceptScore W1972714055C48103436 @default.
- W1972714055 hasConceptScore W1972714055C72434380 @default.
- W1972714055 hasConceptScore W1972714055C80444323 @default.
- W1972714055 hasLocation W19727140551 @default.
- W1972714055 hasLocation W19727140552 @default.
- W1972714055 hasLocation W19727140553 @default.
- W1972714055 hasOpenAccess W1972714055 @default.
- W1972714055 hasPrimaryLocation W19727140551 @default.
- W1972714055 hasRelatedWork W1517759046 @default.
- W1972714055 hasRelatedWork W1555686915 @default.
- W1972714055 hasRelatedWork W1577441161 @default.
- W1972714055 hasRelatedWork W1804409858 @default.
- W1972714055 hasRelatedWork W2171468557 @default.
- W1972714055 hasRelatedWork W2990690886 @default.
- W1972714055 hasRelatedWork W3176282500 @default.
- W1972714055 hasRelatedWork W4253786586 @default.
- W1972714055 hasRelatedWork W895230556 @default.
- W1972714055 hasRelatedWork W2586039792 @default.
- W1972714055 isParatext "false" @default.
- W1972714055 isRetracted "false" @default.
- W1972714055 magId "1972714055" @default.
- W1972714055 workType "article" @default.