Matches in SemOpenAlex for { <https://semopenalex.org/work/W2890747067> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W2890747067 abstract "In this paper, a new tool is known as the ‘firing sequence’ is introduced for the analysis of Petri nets. Firing sequence is proposed as a supplement to the well-known ‘reachability tree.’ Firing sequence is implemented in the General-purpose Petri net Simulator (GPenSIM). For analyzing Petri nets, this paper proposes performing the analysis with the reachability tree as a starting point. If the reachability tree indicates any deadlocks, then firing sequence can be used to verify the possibility of getting into the deadlock state. By using the firing sequence, the firing conditions (the external variables) can also be taken into account, which is not possible with the reachability tree. Also, the firing sequence incorporates firing times of the transitions, thus provides the time perspective in the analysis, which is also not possible in the reachability tree analysis." @default.
- W2890747067 created "2018-09-27" @default.
- W2890747067 creator A5031104736 @default.
- W2890747067 creator A5057388892 @default.
- W2890747067 date "2018-08-01" @default.
- W2890747067 modified "2023-09-25" @default.
- W2890747067 title "‘Firing Sequence’ as a Tool for the Analysis of Petri Nets" @default.
- W2890747067 doi "https://doi.org/10.1109/icabcd.2018.8465431" @default.
- W2890747067 hasPublicationYear "2018" @default.
- W2890747067 type Work @default.
- W2890747067 sameAs 2890747067 @default.
- W2890747067 citedByCount "0" @default.
- W2890747067 crossrefType "proceedings-article" @default.
- W2890747067 hasAuthorship W2890747067A5031104736 @default.
- W2890747067 hasAuthorship W2890747067A5057388892 @default.
- W2890747067 hasConcept C113174947 @default.
- W2890747067 hasConcept C11413529 @default.
- W2890747067 hasConcept C114614502 @default.
- W2890747067 hasConcept C136643341 @default.
- W2890747067 hasConcept C159023740 @default.
- W2890747067 hasConcept C197551870 @default.
- W2890747067 hasConcept C199360897 @default.
- W2890747067 hasConcept C2777669093 @default.
- W2890747067 hasConcept C2778112365 @default.
- W2890747067 hasConcept C33923547 @default.
- W2890747067 hasConcept C38677869 @default.
- W2890747067 hasConcept C41008148 @default.
- W2890747067 hasConcept C48103436 @default.
- W2890747067 hasConcept C54355233 @default.
- W2890747067 hasConcept C80444323 @default.
- W2890747067 hasConcept C86803240 @default.
- W2890747067 hasConceptScore W2890747067C113174947 @default.
- W2890747067 hasConceptScore W2890747067C11413529 @default.
- W2890747067 hasConceptScore W2890747067C114614502 @default.
- W2890747067 hasConceptScore W2890747067C136643341 @default.
- W2890747067 hasConceptScore W2890747067C159023740 @default.
- W2890747067 hasConceptScore W2890747067C197551870 @default.
- W2890747067 hasConceptScore W2890747067C199360897 @default.
- W2890747067 hasConceptScore W2890747067C2777669093 @default.
- W2890747067 hasConceptScore W2890747067C2778112365 @default.
- W2890747067 hasConceptScore W2890747067C33923547 @default.
- W2890747067 hasConceptScore W2890747067C38677869 @default.
- W2890747067 hasConceptScore W2890747067C41008148 @default.
- W2890747067 hasConceptScore W2890747067C48103436 @default.
- W2890747067 hasConceptScore W2890747067C54355233 @default.
- W2890747067 hasConceptScore W2890747067C80444323 @default.
- W2890747067 hasConceptScore W2890747067C86803240 @default.
- W2890747067 hasLocation W28907470671 @default.
- W2890747067 hasOpenAccess W2890747067 @default.
- W2890747067 hasPrimaryLocation W28907470671 @default.
- W2890747067 hasRelatedWork W1978320803 @default.
- W2890747067 hasRelatedWork W1980580719 @default.
- W2890747067 hasRelatedWork W2016151994 @default.
- W2890747067 hasRelatedWork W2103504376 @default.
- W2890747067 hasRelatedWork W2149498196 @default.
- W2890747067 hasRelatedWork W2149781939 @default.
- W2890747067 hasRelatedWork W2153337086 @default.
- W2890747067 hasRelatedWork W2248088805 @default.
- W2890747067 hasRelatedWork W2380814829 @default.
- W2890747067 hasRelatedWork W2890747067 @default.
- W2890747067 isParatext "false" @default.
- W2890747067 isRetracted "false" @default.
- W2890747067 magId "2890747067" @default.
- W2890747067 workType "article" @default.