FRINK Linked Data Fragments server

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

• W1577014738 endingPage "390" @default.
• W1577014738 startingPage "371" @default.
• W1577014738 abstract "In this paper, we define Time Petri Nets with Inhibitor Hyperarcs (IHTPN) as an extension of T-time Petri nets where time is associated with transitions. In this model, we consider stopwatches associated with transitions which can be reset, stopped and started by using classical arcs and branch inhibitor hyperarcs introduced by Janicki and Koutny [x]. We give a formal semantics for IHTPNs in terms of Timed Transition Systems and we position IHTPNs with regard to other classes of Petri nets in terms of timed language acceptance. We provide a method for computing the state space of IHTPNs. We first propose an exact computation using a general polyhedron representation of time constraints, then we propose an overapproximation of the polyhedra to allow a more efficient compact abstract representations of the state space based on DBM (Difference Bound Matrix)." @default.
• W1577014738 created "2016-06-24" @default.
• W1577014738 creator A5012250079 @default.
• W1577014738 creator A5045071943 @default.
• W1577014738 date "2004-01-01" @default.
• W1577014738 modified "2023-10-03" @default.
• W1577014738 title "Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation" @default.
• W1577014738 cites W1495266274 @default.
• W1577014738 cites W1551222658 @default.
• W1577014738 cites W1559884866 @default.
• W1577014738 cites W1605243065 @default.
• W1577014738 cites W1841167015 @default.
• W1577014738 cites W1863150103 @default.
• W1577014738 cites W1965067520 @default.
• W1577014738 cites W2127470768 @default.
• W1577014738 cites W2150377894 @default.
• W1577014738 cites W2151612633 @default.
• W1577014738 cites W2151720555 @default.
• W1577014738 cites W4206179858 @default.
• W1577014738 doi "https://doi.org/10.1007/978-3-540-27793-4_21" @default.
• W1577014738 hasPublicationYear "2004" @default.
• W1577014738 type Work @default.
• W1577014738 sameAs 1577014738 @default.
• W1577014738 citedByCount "46" @default.
• W1577014738 countsByYear W15770147382012 @default.
• W1577014738 countsByYear W15770147382013 @default.
• W1577014738 countsByYear W15770147382014 @default.
• W1577014738 countsByYear W15770147382017 @default.
• W1577014738 countsByYear W15770147382022 @default.
• W1577014738 countsByYear W15770147382023 @default.
• W1577014738 crossrefType "book-chapter" @default.
• W1577014738 hasAuthorship W1577014738A5012250079 @default.
• W1577014738 hasAuthorship W1577014738A5045071943 @default.
• W1577014738 hasConcept C105795698 @default.
• W1577014738 hasConcept C11413529 @default.
• W1577014738 hasConcept C114614502 @default.
• W1577014738 hasConcept C118615104 @default.
• W1577014738 hasConcept C136119220 @default.
• W1577014738 hasConcept C136155141 @default.
• W1577014738 hasConcept C153269930 @default.
• W1577014738 hasConcept C17744445 @default.
• W1577014738 hasConcept C184337299 @default.
• W1577014738 hasConcept C197551870 @default.
• W1577014738 hasConcept C199360897 @default.
• W1577014738 hasConcept C199539241 @default.
• W1577014738 hasConcept C202444582 @default.
• W1577014738 hasConcept C2776359362 @default.
• W1577014738 hasConcept C2778029271 @default.
• W1577014738 hasConcept C33923547 @default.
• W1577014738 hasConcept C38677869 @default.
• W1577014738 hasConcept C41008148 @default.
• W1577014738 hasConcept C45374587 @default.
• W1577014738 hasConcept C48103436 @default.
• W1577014738 hasConcept C54829058 @default.
• W1577014738 hasConcept C72434380 @default.
• W1577014738 hasConcept C80444323 @default.
• W1577014738 hasConcept C94625758 @default.
• W1577014738 hasConceptScore W1577014738C105795698 @default.
• W1577014738 hasConceptScore W1577014738C11413529 @default.
• W1577014738 hasConceptScore W1577014738C114614502 @default.
• W1577014738 hasConceptScore W1577014738C118615104 @default.
• W1577014738 hasConceptScore W1577014738C136119220 @default.
• W1577014738 hasConceptScore W1577014738C136155141 @default.
• W1577014738 hasConceptScore W1577014738C153269930 @default.
• W1577014738 hasConceptScore W1577014738C17744445 @default.
• W1577014738 hasConceptScore W1577014738C184337299 @default.
• W1577014738 hasConceptScore W1577014738C197551870 @default.
• W1577014738 hasConceptScore W1577014738C199360897 @default.
• W1577014738 hasConceptScore W1577014738C199539241 @default.
• W1577014738 hasConceptScore W1577014738C202444582 @default.
• W1577014738 hasConceptScore W1577014738C2776359362 @default.
• W1577014738 hasConceptScore W1577014738C2778029271 @default.
• W1577014738 hasConceptScore W1577014738C33923547 @default.
• W1577014738 hasConceptScore W1577014738C38677869 @default.
• W1577014738 hasConceptScore W1577014738C41008148 @default.
• W1577014738 hasConceptScore W1577014738C45374587 @default.
• W1577014738 hasConceptScore W1577014738C48103436 @default.
• W1577014738 hasConceptScore W1577014738C54829058 @default.
• W1577014738 hasConceptScore W1577014738C72434380 @default.
• W1577014738 hasConceptScore W1577014738C80444323 @default.
• W1577014738 hasConceptScore W1577014738C94625758 @default.
• W1577014738 hasLocation W15770147381 @default.
• W1577014738 hasLocation W15770147382 @default.
• W1577014738 hasLocation W15770147383 @default.
• W1577014738 hasOpenAccess W1577014738 @default.
• W1577014738 hasPrimaryLocation W15770147381 @default.
• W1577014738 hasRelatedWork W1492717267 @default.
• W1577014738 hasRelatedWork W1577014738 @default.
• W1577014738 hasRelatedWork W1778149536 @default.
• W1577014738 hasRelatedWork W1897277602 @default.
• W1577014738 hasRelatedWork W2027131958 @default.
• W1577014738 hasRelatedWork W2143998733 @default.
• W1577014738 hasRelatedWork W2178536058 @default.
• W1577014738 hasRelatedWork W2341552178 @default.
• W1577014738 hasRelatedWork W2993657370 @default.
• W1577014738 hasRelatedWork W3091787013 @default.
• W1577014738 isParatext "false" @default.
• W1577014738 isRetracted "false" @default.

• next