SemOpenAlex |

SemOpenAlex

Matches in SemOpenAlex for { <https://semopenalex.org/work/W22293391> ?p ?o ?g. }

Showing items 1 to 100 of ±109 with 100 items per page.

W22293391 endingPage "446" @default.
W22293391 startingPage "440" @default.
W22293391 abstract "This work deals with the specification and the verification of concurrent systems. Our goal is to exploit an implementable model, namely the maximality -based labelled transition system, which permits expressing true-concurrency in a natural way without splitting actions on their start and end events. To do this, we give an operational semantics to build maximality-based labelled transition systems for place/transition Petri nets." @default.
W22293391 created "2016-06-24" @default.
W22293391 creator A5007281679 @default.
W22293391 creator A5058004291 @default.
W22293391 creator A5064121819 @default.
W22293391 date "2009-01-01" @default.
W22293391 modified "2023-10-06" @default.
W22293391 title "Using Maximality-Based Labelled Transition System as a Model for Petri Nets" @default.
W22293391 cites W1490475243 @default.
W22293391 cites W1497869663 @default.
W22293391 cites W1517963601 @default.
W22293391 cites W1532118845 @default.
W22293391 cites W1551769641 @default.
W22293391 cites W155581612 @default.
W22293391 cites W1582831902 @default.
W22293391 cites W1604282120 @default.
W22293391 cites W1612453857 @default.
W22293391 cites W1989279866 @default.
W22293391 cites W1998563363 @default.
W22293391 cites W2003499082 @default.
W22293391 cites W2008781243 @default.
W22293391 cites W2022479543 @default.
W22293391 cites W2057403696 @default.
W22293391 cites W2071140053 @default.
W22293391 cites W2096241545 @default.
W22293391 cites W2104379552 @default.
W22293391 cites W2117189826 @default.
W22293391 cites W2121372686 @default.
W22293391 cites W2156761731 @default.
W22293391 cites W2304897013 @default.
W22293391 cites W2468179198 @default.
W22293391 cites W27763718 @default.
W22293391 cites W2507082602 @default.
W22293391 cites W2739390263 @default.
W22293391 hasPublicationYear "2009" @default.
W22293391 type Work @default.
W22293391 sameAs 22293391 @default.
W22293391 citedByCount "4" @default.
W22293391 countsByYear W222933912012 @default.
W22293391 countsByYear W222933912013 @default.
W22293391 countsByYear W222933912015 @default.
W22293391 crossrefType "journal-article" @default.
W22293391 hasAuthorship W22293391A5007281679 @default.
W22293391 hasAuthorship W22293391A5058004291 @default.
W22293391 hasAuthorship W22293391A5064121819 @default.
W22293391 hasConcept C104317684 @default.
W22293391 hasConcept C120314980 @default.
W22293391 hasConcept C136155141 @default.
W22293391 hasConcept C156325763 @default.
W22293391 hasConcept C165696696 @default.
W22293391 hasConcept C184337299 @default.
W22293391 hasConcept C185592680 @default.
W22293391 hasConcept C193702766 @default.
W22293391 hasConcept C194232998 @default.
W22293391 hasConcept C197551870 @default.
W22293391 hasConcept C199360897 @default.
W22293391 hasConcept C2779167558 @default.
W22293391 hasConcept C38652104 @default.
W22293391 hasConcept C38677869 @default.
W22293391 hasConcept C41008148 @default.
W22293391 hasConcept C55493867 @default.
W22293391 hasConcept C80444323 @default.
W22293391 hasConceptScore W22293391C104317684 @default.
W22293391 hasConceptScore W22293391C120314980 @default.
W22293391 hasConceptScore W22293391C136155141 @default.
W22293391 hasConceptScore W22293391C156325763 @default.
W22293391 hasConceptScore W22293391C165696696 @default.
W22293391 hasConceptScore W22293391C184337299 @default.
W22293391 hasConceptScore W22293391C185592680 @default.
W22293391 hasConceptScore W22293391C193702766 @default.
W22293391 hasConceptScore W22293391C194232998 @default.
W22293391 hasConceptScore W22293391C197551870 @default.
W22293391 hasConceptScore W22293391C199360897 @default.
W22293391 hasConceptScore W22293391C2779167558 @default.
W22293391 hasConceptScore W22293391C38652104 @default.
W22293391 hasConceptScore W22293391C38677869 @default.
W22293391 hasConceptScore W22293391C41008148 @default.
W22293391 hasConceptScore W22293391C55493867 @default.
W22293391 hasConceptScore W22293391C80444323 @default.
W22293391 hasLocation W222933911 @default.
W22293391 hasOpenAccess W22293391 @default.
W22293391 hasPrimaryLocation W222933911 @default.
W22293391 hasRelatedWork W101068848 @default.
W22293391 hasRelatedWork W1175596776 @default.
W22293391 hasRelatedWork W1531262057 @default.
W22293391 hasRelatedWork W1555150153 @default.
W22293391 hasRelatedWork W1556099246 @default.
W22293391 hasRelatedWork W1585042602 @default.
W22293391 hasRelatedWork W1592139645 @default.
W22293391 hasRelatedWork W1608601184 @default.
W22293391 hasRelatedWork W1667758182 @default.
W22293391 hasRelatedWork W1978994556 @default.
W22293391 hasRelatedWork W2048875937 @default.
W22293391 hasRelatedWork W2091260341 @default.
W22293391 hasRelatedWork W2098552099 @default.
W22293391 hasRelatedWork W2138341088 @default.
W22293391 hasRelatedWork W2145270056 @default.
W22293391 hasRelatedWork W2156761731 @default.