FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3102715657> ?p ?o ?g. }

• W3102715657 endingPage "140" @default.
• W3102715657 startingPage "125" @default.
• W3102715657 abstract "Timed-arc Petri nets (TAPN) are a well-known time extension of the Petri net model and several translations to networks of timed automata have been proposed for this model. We present a direct, DBM-based algorithm for forward reachability analysis of bounded TAPNs extended with transport arcs, inhibitor arcs and age invariants. We also give a complete proof of its correctness, including reduction techniques based on symmetries and extrapolation. Finally, we augment the algorithm with a novel state-space reduction technique introducing a monotonic ordering on markings and prove its soundness even in the presence of monotonicity-breaking features like age invariants and inhibitor arcs. We implement the algorithm within the model-checker TAPAAL and the experimental results document an encouraging performance compared to verification approaches that translate TAPN models to UPPAAL timed automata." @default.
• W3102715657 created "2020-11-23" @default.
• W3102715657 creator A5009728620 @default.
• W3102715657 creator A5013723288 @default.
• W3102715657 creator A5024475534 @default.
• W3102715657 creator A5033606028 @default.
• W3102715657 date "2012-11-26" @default.
• W3102715657 modified "2023-10-18" @default.
• W3102715657 title "A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets" @default.
• W3102715657 cites W1482233117 @default.
• W3102715657 cites W1511538751 @default.
• W3102715657 cites W1518439360 @default.
• W3102715657 cites W1528359128 @default.
• W3102715657 cites W160689082 @default.
• W3102715657 cites W1659060819 @default.
• W3102715657 cites W1823152540 @default.
• W3102715657 cites W1967174286 @default.
• W3102715657 cites W2004665206 @default.
• W3102715657 cites W2007490191 @default.
• W3102715657 cites W2064787495 @default.
• W3102715657 cites W2101508170 @default.
• W3102715657 cites W2104910381 @default.
• W3102715657 cites W2141017018 @default.
• W3102715657 cites W2150220388 @default.
• W3102715657 cites W2151720555 @default.
• W3102715657 cites W4300592141 @default.
• W3102715657 doi "https://doi.org/10.4204/eptcs.102.12" @default.
• W3102715657 hasPublicationYear "2012" @default.
• W3102715657 type Work @default.
• W3102715657 sameAs 3102715657 @default.
• W3102715657 citedByCount "5" @default.
• W3102715657 countsByYear W31027156572014 @default.
• W3102715657 countsByYear W31027156572016 @default.
• W3102715657 countsByYear W31027156572019 @default.
• W3102715657 countsByYear W31027156572021 @default.
• W3102715657 crossrefType "journal-article" @default.
• W3102715657 hasAuthorship W3102715657A5009728620 @default.
• W3102715657 hasAuthorship W3102715657A5013723288 @default.
• W3102715657 hasAuthorship W3102715657A5024475534 @default.
• W3102715657 hasAuthorship W3102715657A5033606028 @default.
• W3102715657 hasBestOaLocation W31027156571 @default.
• W3102715657 hasConcept C105795698 @default.
• W3102715657 hasConcept C110251889 @default.
• W3102715657 hasConcept C111335779 @default.
• W3102715657 hasConcept C112505250 @default.
• W3102715657 hasConcept C11413529 @default.
• W3102715657 hasConcept C118615104 @default.
• W3102715657 hasConcept C134306372 @default.
• W3102715657 hasConcept C136643341 @default.
• W3102715657 hasConcept C193702766 @default.
• W3102715657 hasConcept C197551870 @default.
• W3102715657 hasConcept C199360897 @default.
• W3102715657 hasConcept C24858836 @default.
• W3102715657 hasConcept C2524010 @default.
• W3102715657 hasConcept C2777669093 @default.
• W3102715657 hasConcept C33923547 @default.
• W3102715657 hasConcept C34388435 @default.
• W3102715657 hasConcept C38677869 @default.
• W3102715657 hasConcept C39920170 @default.
• W3102715657 hasConcept C41008148 @default.
• W3102715657 hasConcept C55439883 @default.
• W3102715657 hasConcept C72169020 @default.
• W3102715657 hasConcept C72434380 @default.
• W3102715657 hasConcept C80444323 @default.
• W3102715657 hasConceptScore W3102715657C105795698 @default.
• W3102715657 hasConceptScore W3102715657C110251889 @default.
• W3102715657 hasConceptScore W3102715657C111335779 @default.
• W3102715657 hasConceptScore W3102715657C112505250 @default.
• W3102715657 hasConceptScore W3102715657C11413529 @default.
• W3102715657 hasConceptScore W3102715657C118615104 @default.
• W3102715657 hasConceptScore W3102715657C134306372 @default.
• W3102715657 hasConceptScore W3102715657C136643341 @default.
• W3102715657 hasConceptScore W3102715657C193702766 @default.
• W3102715657 hasConceptScore W3102715657C197551870 @default.
• W3102715657 hasConceptScore W3102715657C199360897 @default.
• W3102715657 hasConceptScore W3102715657C24858836 @default.
• W3102715657 hasConceptScore W3102715657C2524010 @default.
• W3102715657 hasConceptScore W3102715657C2777669093 @default.
• W3102715657 hasConceptScore W3102715657C33923547 @default.
• W3102715657 hasConceptScore W3102715657C34388435 @default.
• W3102715657 hasConceptScore W3102715657C38677869 @default.
• W3102715657 hasConceptScore W3102715657C39920170 @default.
• W3102715657 hasConceptScore W3102715657C41008148 @default.
• W3102715657 hasConceptScore W3102715657C55439883 @default.
• W3102715657 hasConceptScore W3102715657C72169020 @default.
• W3102715657 hasConceptScore W3102715657C72434380 @default.
• W3102715657 hasConceptScore W3102715657C80444323 @default.
• W3102715657 hasLocation W31027156571 @default.
• W3102715657 hasLocation W31027156572 @default.
• W3102715657 hasOpenAccess W3102715657 @default.
• W3102715657 hasPrimaryLocation W31027156571 @default.
• W3102715657 hasRelatedWork W1488218540 @default.
• W3102715657 hasRelatedWork W1517759046 @default.
• W3102715657 hasRelatedWork W1555686915 @default.
• W3102715657 hasRelatedWork W2027876282 @default.
• W3102715657 hasRelatedWork W2040791800 @default.
• W3102715657 hasRelatedWork W2049852498 @default.
• W3102715657 hasRelatedWork W2150142724 @default.

• next