Matches in SemOpenAlex for { <https://semopenalex.org/work/W2396571868> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2396571868 abstract "In many distributed environments, multiple processes both interact/collaborate with each other and share some common resources. To model and analyze such systems, this paper defines a class of Petri nets called Parallel Processes Net (P2N). A P2N composes of a group of Single-process Nets (SNs). Each SN models a process and these SNs are connected via a set of places. Some of these places represent the common resources shared by these processes, and others represent the channels through which messages are transferred among these processes. We define collaborative-ness for P2Ns which requires that each process of a modeled system never enters into a deadlock or livelock state. The collaborative-ness can be represented by a CTL (Computational Tree Logic) formula and thus can be checked (for bounded P2Ns) by using some Petri net tools such as INA." @default.
- W2396571868 created "2016-06-24" @default.
- W2396571868 creator A5066099338 @default.
- W2396571868 creator A5072386697 @default.
- W2396571868 date "2016-04-01" @default.
- W2396571868 modified "2023-09-23" @default.
- W2396571868 title "Petri net based model checking for the collaborative-ness of multiple processes systems" @default.
- W2396571868 cites W1488218540 @default.
- W2396571868 cites W1580495911 @default.
- W2396571868 cites W1964412949 @default.
- W2396571868 cites W1990325313 @default.
- W2396571868 cites W1991022292 @default.
- W2396571868 cites W1996109622 @default.
- W2396571868 cites W2010968096 @default.
- W2396571868 cites W2026389943 @default.
- W2396571868 cites W2027877746 @default.
- W2396571868 cites W2032336460 @default.
- W2396571868 cites W2049695585 @default.
- W2396571868 cites W2051147456 @default.
- W2396571868 cites W2060084509 @default.
- W2396571868 cites W2093524741 @default.
- W2396571868 cites W2096282030 @default.
- W2396571868 cites W2098552099 @default.
- W2396571868 cites W2099550549 @default.
- W2396571868 cites W2113573940 @default.
- W2396571868 cites W2118620599 @default.
- W2396571868 cites W2126163520 @default.
- W2396571868 cites W2131994575 @default.
- W2396571868 cites W2135886503 @default.
- W2396571868 cites W2136595450 @default.
- W2396571868 cites W2140640958 @default.
- W2396571868 cites W2140872435 @default.
- W2396571868 cites W2144623944 @default.
- W2396571868 cites W2146738006 @default.
- W2396571868 cites W2147281200 @default.
- W2396571868 cites W2163186027 @default.
- W2396571868 cites W2168538624 @default.
- W2396571868 cites W2503470518 @default.
- W2396571868 cites W28116841 @default.
- W2396571868 cites W83424896 @default.
- W2396571868 doi "https://doi.org/10.1109/icnsc.2016.7478980" @default.
- W2396571868 hasPublicationYear "2016" @default.
- W2396571868 type Work @default.
- W2396571868 sameAs 2396571868 @default.
- W2396571868 citedByCount "11" @default.
- W2396571868 countsByYear W23965718682017 @default.
- W2396571868 countsByYear W23965718682018 @default.
- W2396571868 countsByYear W23965718682019 @default.
- W2396571868 countsByYear W23965718682020 @default.
- W2396571868 countsByYear W23965718682021 @default.
- W2396571868 crossrefType "proceedings-article" @default.
- W2396571868 hasAuthorship W2396571868A5066099338 @default.
- W2396571868 hasAuthorship W2396571868A5072386697 @default.
- W2396571868 hasConcept C110251889 @default.
- W2396571868 hasConcept C115903868 @default.
- W2396571868 hasConcept C136155141 @default.
- W2396571868 hasConcept C14166107 @default.
- W2396571868 hasConcept C197551870 @default.
- W2396571868 hasConcept C199360897 @default.
- W2396571868 hasConcept C2524010 @default.
- W2396571868 hasConcept C33923547 @default.
- W2396571868 hasConcept C38677869 @default.
- W2396571868 hasConcept C41008148 @default.
- W2396571868 hasConcept C80444323 @default.
- W2396571868 hasConceptScore W2396571868C110251889 @default.
- W2396571868 hasConceptScore W2396571868C115903868 @default.
- W2396571868 hasConceptScore W2396571868C136155141 @default.
- W2396571868 hasConceptScore W2396571868C14166107 @default.
- W2396571868 hasConceptScore W2396571868C197551870 @default.
- W2396571868 hasConceptScore W2396571868C199360897 @default.
- W2396571868 hasConceptScore W2396571868C2524010 @default.
- W2396571868 hasConceptScore W2396571868C33923547 @default.
- W2396571868 hasConceptScore W2396571868C38677869 @default.
- W2396571868 hasConceptScore W2396571868C41008148 @default.
- W2396571868 hasConceptScore W2396571868C80444323 @default.
- W2396571868 hasLocation W23965718681 @default.
- W2396571868 hasOpenAccess W2396571868 @default.
- W2396571868 hasPrimaryLocation W23965718681 @default.
- W2396571868 hasRelatedWork W1502896170 @default.
- W2396571868 hasRelatedWork W1506995308 @default.
- W2396571868 hasRelatedWork W1512376713 @default.
- W2396571868 hasRelatedWork W2145270056 @default.
- W2396571868 hasRelatedWork W2171468557 @default.
- W2396571868 hasRelatedWork W2341552178 @default.
- W2396571868 hasRelatedWork W2492983430 @default.
- W2396571868 hasRelatedWork W2588650882 @default.
- W2396571868 hasRelatedWork W584905420 @default.
- W2396571868 hasRelatedWork W2586039792 @default.
- W2396571868 isParatext "false" @default.
- W2396571868 isRetracted "false" @default.
- W2396571868 magId "2396571868" @default.
- W2396571868 workType "article" @default.