Matches in SemOpenAlex for { <https://semopenalex.org/work/W1848039884> ?p ?o ?g. }
- W1848039884 endingPage "34" @default.
- W1848039884 startingPage "15" @default.
- W1848039884 abstract "Finite-net multi-CCS is a CCS-like calculus which is able to model atomic sequences of actions and, together with parallel composition, also multi-party synchronization. This calculus is equipped with a labeled transition system semantics and also with an unsafe P/T Petri net semantics, which is sound w.r.t. the transition system semantics. For any process p of the calculus, the net associated to p by the semantics has always a finite number of places, but it has a finite number of transitions only for so-called well-formed processes. The main result of the paper is that well-formed finite-net multi-CCS processes are able to represent all finite, statically reduced, P/T Petri nets." @default.
- W1848039884 created "2016-06-24" @default.
- W1848039884 creator A5000720054 @default.
- W1848039884 date "2015-10-24" @default.
- W1848039884 modified "2023-09-25" @default.
- W1848039884 title "Language representability of finite place/transition Petri nets" @default.
- W1848039884 cites W101068848 @default.
- W1848039884 cites W1493373428 @default.
- W1848039884 cites W1495918697 @default.
- W1848039884 cites W1496993747 @default.
- W1848039884 cites W1515231954 @default.
- W1848039884 cites W1537537640 @default.
- W1848039884 cites W1540254171 @default.
- W1848039884 cites W1555729963 @default.
- W1848039884 cites W1576317809 @default.
- W1848039884 cites W1587299948 @default.
- W1848039884 cites W1594682236 @default.
- W1848039884 cites W1799668602 @default.
- W1848039884 cites W1996887001 @default.
- W1848039884 cites W2005312844 @default.
- W1848039884 cites W2006265470 @default.
- W1848039884 cites W2008678428 @default.
- W1848039884 cites W2035959929 @default.
- W1848039884 cites W2049764332 @default.
- W1848039884 cites W2066749950 @default.
- W1848039884 cites W2071574641 @default.
- W1848039884 cites W2091676842 @default.
- W1848039884 cites W2101125331 @default.
- W1848039884 cites W25765579 @default.
- W1848039884 cites W4247238156 @default.
- W1848039884 cites W4254746810 @default.
- W1848039884 cites W623593394 @default.
- W1848039884 doi "https://doi.org/10.1007/s40595-015-0051-z" @default.
- W1848039884 hasPublicationYear "2015" @default.
- W1848039884 type Work @default.
- W1848039884 sameAs 1848039884 @default.
- W1848039884 citedByCount "0" @default.
- W1848039884 crossrefType "journal-article" @default.
- W1848039884 hasAuthorship W1848039884A5000720054 @default.
- W1848039884 hasBestOaLocation W18480398841 @default.
- W1848039884 hasConcept C11413529 @default.
- W1848039884 hasConcept C118615104 @default.
- W1848039884 hasConcept C127162648 @default.
- W1848039884 hasConcept C136119220 @default.
- W1848039884 hasConcept C14166107 @default.
- W1848039884 hasConcept C156325763 @default.
- W1848039884 hasConcept C161771561 @default.
- W1848039884 hasConcept C184337299 @default.
- W1848039884 hasConcept C193702766 @default.
- W1848039884 hasConcept C199343813 @default.
- W1848039884 hasConcept C199360897 @default.
- W1848039884 hasConcept C202444582 @default.
- W1848039884 hasConcept C2524010 @default.
- W1848039884 hasConcept C2777686260 @default.
- W1848039884 hasConcept C2778562939 @default.
- W1848039884 hasConcept C2779167558 @default.
- W1848039884 hasConcept C31258907 @default.
- W1848039884 hasConcept C33923547 @default.
- W1848039884 hasConcept C38677869 @default.
- W1848039884 hasConcept C41008148 @default.
- W1848039884 hasConcept C71924100 @default.
- W1848039884 hasConcept C80444323 @default.
- W1848039884 hasConceptScore W1848039884C11413529 @default.
- W1848039884 hasConceptScore W1848039884C118615104 @default.
- W1848039884 hasConceptScore W1848039884C127162648 @default.
- W1848039884 hasConceptScore W1848039884C136119220 @default.
- W1848039884 hasConceptScore W1848039884C14166107 @default.
- W1848039884 hasConceptScore W1848039884C156325763 @default.
- W1848039884 hasConceptScore W1848039884C161771561 @default.
- W1848039884 hasConceptScore W1848039884C184337299 @default.
- W1848039884 hasConceptScore W1848039884C193702766 @default.
- W1848039884 hasConceptScore W1848039884C199343813 @default.
- W1848039884 hasConceptScore W1848039884C199360897 @default.
- W1848039884 hasConceptScore W1848039884C202444582 @default.
- W1848039884 hasConceptScore W1848039884C2524010 @default.
- W1848039884 hasConceptScore W1848039884C2777686260 @default.
- W1848039884 hasConceptScore W1848039884C2778562939 @default.
- W1848039884 hasConceptScore W1848039884C2779167558 @default.
- W1848039884 hasConceptScore W1848039884C31258907 @default.
- W1848039884 hasConceptScore W1848039884C33923547 @default.
- W1848039884 hasConceptScore W1848039884C38677869 @default.
- W1848039884 hasConceptScore W1848039884C41008148 @default.
- W1848039884 hasConceptScore W1848039884C71924100 @default.
- W1848039884 hasConceptScore W1848039884C80444323 @default.
- W1848039884 hasIssue "1" @default.
- W1848039884 hasLocation W18480398841 @default.
- W1848039884 hasOpenAccess W1848039884 @default.
- W1848039884 hasPrimaryLocation W18480398841 @default.
- W1848039884 hasRelatedWork W1490556023 @default.
- W1848039884 hasRelatedWork W1536150964 @default.
- W1848039884 hasRelatedWork W1540254171 @default.
- W1848039884 hasRelatedWork W2055173353 @default.
- W1848039884 hasRelatedWork W2066749950 @default.
- W1848039884 hasRelatedWork W22766579 @default.
- W1848039884 hasRelatedWork W2296205038 @default.
- W1848039884 hasRelatedWork W2400580994 @default.
- W1848039884 hasRelatedWork W2475115995 @default.
- W1848039884 hasRelatedWork W2569614957 @default.