Matches in SemOpenAlex for { <https://semopenalex.org/work/W2183630068> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2183630068 endingPage "207" @default.
- W2183630068 startingPage "188" @default.
- W2183630068 abstract "In process semantics of Petri Net, a non-sequential process is a concurrent run of the system represented in a partial order-like structure. For transition systems it is possible to define a similar notion of concurrent run by utilising the idea of confluence. Basically a confluent process is an acyclic confluent transition system that is a partial unfolding of the original system. Given a non-confluent transition system G, how to find maximal confluent processes of G is a theoretical problem having many practical applications. In this paper we propose an unfolding procedure for extracting maximal confluent processes from transition systems. The key technique we utilise in the procedure is the construction of granular configuration structures (i.e. a form of event structures) based on diamond-structure information inside transition systems." @default.
- W2183630068 created "2016-06-24" @default.
- W2183630068 creator A5056101043 @default.
- W2183630068 date "2012-01-01" @default.
- W2183630068 modified "2023-10-10" @default.
- W2183630068 title "Maximal Confluent Processes" @default.
- W2183630068 cites W137181627 @default.
- W2183630068 cites W1509607403 @default.
- W2183630068 cites W1528441743 @default.
- W2183630068 cites W1979834320 @default.
- W2183630068 cites W1984801861 @default.
- W2183630068 cites W2016300863 @default.
- W2183630068 cites W2022479543 @default.
- W2183630068 cites W2024955813 @default.
- W2183630068 cites W2061288205 @default.
- W2183630068 cites W2083948648 @default.
- W2183630068 cites W2093709900 @default.
- W2183630068 cites W2911867855 @default.
- W2183630068 cites W2912895170 @default.
- W2183630068 cites W4210671891 @default.
- W2183630068 cites W4231777736 @default.
- W2183630068 cites W4233702006 @default.
- W2183630068 doi "https://doi.org/10.1007/978-3-642-31131-4_11" @default.
- W2183630068 hasPublicationYear "2012" @default.
- W2183630068 type Work @default.
- W2183630068 sameAs 2183630068 @default.
- W2183630068 citedByCount "2" @default.
- W2183630068 countsByYear W21836300682012 @default.
- W2183630068 countsByYear W21836300682016 @default.
- W2183630068 crossrefType "book-chapter" @default.
- W2183630068 hasAuthorship W2183630068A5056101043 @default.
- W2183630068 hasBestOaLocation W21836300683 @default.
- W2183630068 hasConcept C104317684 @default.
- W2183630068 hasConcept C11413529 @default.
- W2183630068 hasConcept C185592680 @default.
- W2183630068 hasConcept C194232998 @default.
- W2183630068 hasConcept C199360897 @default.
- W2183630068 hasConcept C26517878 @default.
- W2183630068 hasConcept C2779167558 @default.
- W2183630068 hasConcept C33923547 @default.
- W2183630068 hasConcept C38652104 @default.
- W2183630068 hasConcept C38677869 @default.
- W2183630068 hasConcept C41008148 @default.
- W2183630068 hasConcept C55493867 @default.
- W2183630068 hasConcept C77906462 @default.
- W2183630068 hasConcept C98045186 @default.
- W2183630068 hasConceptScore W2183630068C104317684 @default.
- W2183630068 hasConceptScore W2183630068C11413529 @default.
- W2183630068 hasConceptScore W2183630068C185592680 @default.
- W2183630068 hasConceptScore W2183630068C194232998 @default.
- W2183630068 hasConceptScore W2183630068C199360897 @default.
- W2183630068 hasConceptScore W2183630068C26517878 @default.
- W2183630068 hasConceptScore W2183630068C2779167558 @default.
- W2183630068 hasConceptScore W2183630068C33923547 @default.
- W2183630068 hasConceptScore W2183630068C38652104 @default.
- W2183630068 hasConceptScore W2183630068C38677869 @default.
- W2183630068 hasConceptScore W2183630068C41008148 @default.
- W2183630068 hasConceptScore W2183630068C55493867 @default.
- W2183630068 hasConceptScore W2183630068C77906462 @default.
- W2183630068 hasConceptScore W2183630068C98045186 @default.
- W2183630068 hasLocation W21836300681 @default.
- W2183630068 hasLocation W21836300682 @default.
- W2183630068 hasLocation W21836300683 @default.
- W2183630068 hasLocation W21836300684 @default.
- W2183630068 hasOpenAccess W2183630068 @default.
- W2183630068 hasPrimaryLocation W21836300681 @default.
- W2183630068 hasRelatedWork W1551903405 @default.
- W2183630068 hasRelatedWork W1555755993 @default.
- W2183630068 hasRelatedWork W1978994556 @default.
- W2183630068 hasRelatedWork W2087243310 @default.
- W2183630068 hasRelatedWork W2124523436 @default.
- W2183630068 hasRelatedWork W2489894464 @default.
- W2183630068 hasRelatedWork W2511870042 @default.
- W2183630068 hasRelatedWork W2963525026 @default.
- W2183630068 hasRelatedWork W4313496615 @default.
- W2183630068 hasRelatedWork W2499946963 @default.
- W2183630068 isParatext "false" @default.
- W2183630068 isRetracted "false" @default.
- W2183630068 magId "2183630068" @default.
- W2183630068 workType "book-chapter" @default.