Matches in SemOpenAlex for { <https://semopenalex.org/work/W1797803999> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W1797803999 endingPage "234" @default.
- W1797803999 startingPage "215" @default.
- W1797803999 abstract "In this paper we propose an efficient reachability set based Petri net analysis by introducing dynamic priorities which decreases the number of reachable markings in most cases. It is proved that for specific dynamic priority relations certain properties (especially liveness and the existence of home states) do hold if and only if these properties do also hold for the Petri net without priorities. We present an algorithm based on these priority relations additionally exploiting T-invariants thus being able to benefit from the structure of the net." @default.
- W1797803999 created "2016-06-24" @default.
- W1797803999 creator A5040540636 @default.
- W1797803999 date "1997-01-01" @default.
- W1797803999 modified "2023-09-27" @default.
- W1797803999 title "Analysis of Petri nets with a dynamic priority method" @default.
- W1797803999 cites W1491356764 @default.
- W1797803999 cites W1504517034 @default.
- W1797803999 cites W1516964444 @default.
- W1797803999 cites W1535002487 @default.
- W1797803999 cites W1551214605 @default.
- W1797803999 cites W1580939090 @default.
- W1797803999 cites W1591563876 @default.
- W1797803999 cites W1596721960 @default.
- W1797803999 cites W1836481452 @default.
- W1797803999 cites W2017087123 @default.
- W1797803999 cites W2072414289 @default.
- W1797803999 cites W2076617252 @default.
- W1797803999 cites W2093709900 @default.
- W1797803999 cites W4244225419 @default.
- W1797803999 cites W4251986095 @default.
- W1797803999 doi "https://doi.org/10.1007/3-540-63139-9_38" @default.
- W1797803999 hasPublicationYear "1997" @default.
- W1797803999 type Work @default.
- W1797803999 sameAs 1797803999 @default.
- W1797803999 citedByCount "27" @default.
- W1797803999 countsByYear W17978039992012 @default.
- W1797803999 countsByYear W17978039992013 @default.
- W1797803999 countsByYear W17978039992014 @default.
- W1797803999 countsByYear W17978039992015 @default.
- W1797803999 countsByYear W17978039992016 @default.
- W1797803999 countsByYear W17978039992017 @default.
- W1797803999 countsByYear W17978039992019 @default.
- W1797803999 countsByYear W17978039992021 @default.
- W1797803999 countsByYear W17978039992023 @default.
- W1797803999 crossrefType "book-chapter" @default.
- W1797803999 hasAuthorship W1797803999A5040540636 @default.
- W1797803999 hasConcept C11413529 @default.
- W1797803999 hasConcept C120314980 @default.
- W1797803999 hasConcept C136643341 @default.
- W1797803999 hasConcept C14166107 @default.
- W1797803999 hasConcept C15569618 @default.
- W1797803999 hasConcept C177264268 @default.
- W1797803999 hasConcept C197551870 @default.
- W1797803999 hasConcept C199360897 @default.
- W1797803999 hasConcept C2524010 @default.
- W1797803999 hasConcept C2777669093 @default.
- W1797803999 hasConcept C33923547 @default.
- W1797803999 hasConcept C38677869 @default.
- W1797803999 hasConcept C41008148 @default.
- W1797803999 hasConcept C80444323 @default.
- W1797803999 hasConceptScore W1797803999C11413529 @default.
- W1797803999 hasConceptScore W1797803999C120314980 @default.
- W1797803999 hasConceptScore W1797803999C136643341 @default.
- W1797803999 hasConceptScore W1797803999C14166107 @default.
- W1797803999 hasConceptScore W1797803999C15569618 @default.
- W1797803999 hasConceptScore W1797803999C177264268 @default.
- W1797803999 hasConceptScore W1797803999C197551870 @default.
- W1797803999 hasConceptScore W1797803999C199360897 @default.
- W1797803999 hasConceptScore W1797803999C2524010 @default.
- W1797803999 hasConceptScore W1797803999C2777669093 @default.
- W1797803999 hasConceptScore W1797803999C33923547 @default.
- W1797803999 hasConceptScore W1797803999C38677869 @default.
- W1797803999 hasConceptScore W1797803999C41008148 @default.
- W1797803999 hasConceptScore W1797803999C80444323 @default.
- W1797803999 hasLocation W17978039991 @default.
- W1797803999 hasOpenAccess W1797803999 @default.
- W1797803999 hasPrimaryLocation W17978039991 @default.
- W1797803999 hasRelatedWork W1797803999 @default.
- W1797803999 hasRelatedWork W2015160737 @default.
- W1797803999 hasRelatedWork W2103504376 @default.
- W1797803999 hasRelatedWork W2131143908 @default.
- W1797803999 hasRelatedWork W2153337086 @default.
- W1797803999 hasRelatedWork W2160063844 @default.
- W1797803999 hasRelatedWork W2161002888 @default.
- W1797803999 hasRelatedWork W2170020397 @default.
- W1797803999 hasRelatedWork W2330510523 @default.
- W1797803999 hasRelatedWork W2417903964 @default.
- W1797803999 isParatext "false" @default.
- W1797803999 isRetracted "false" @default.
- W1797803999 magId "1797803999" @default.
- W1797803999 workType "book-chapter" @default.