Matches in SemOpenAlex for { <https://semopenalex.org/work/W2023209100> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2023209100 endingPage "114" @default.
- W2023209100 startingPage "98" @default.
- W2023209100 abstract "A generalization of the notion of trace is proposed. This enables us to associate with each Petri net a single behavioural object, namely a poset of (generalized) traces. A characterization is given of the trace languages defined by Petri nets. We show that the general event structures of Winskel and the stable event structures can also be characterized in terms of our trace languages. One consequence is that in this framework, stable event structures, general event structures, and Petri nets constitute a strictly ascending chain in terms of expressive power." @default.
- W2023209100 created "2016-06-24" @default.
- W2023209100 creator A5004268930 @default.
- W2023209100 creator A5067945016 @default.
- W2023209100 creator A5070222782 @default.
- W2023209100 date "1995-02-01" @default.
- W2023209100 modified "2023-09-30" @default.
- W2023209100 title "A Trace Semantics for Petri Nets" @default.
- W2023209100 cites W108755144 @default.
- W2023209100 cites W109260020 @default.
- W2023209100 cites W125251532 @default.
- W2023209100 cites W1513358068 @default.
- W2023209100 cites W1527507906 @default.
- W2023209100 cites W1602024040 @default.
- W2023209100 cites W1908424597 @default.
- W2023209100 cites W1967736886 @default.
- W2023209100 cites W1978994556 @default.
- W2023209100 cites W1994522884 @default.
- W2023209100 cites W2022479543 @default.
- W2023209100 cites W2032838513 @default.
- W2023209100 cites W2040633651 @default.
- W2023209100 cites W2061288205 @default.
- W2023209100 cites W2071923519 @default.
- W2023209100 cites W2086302464 @default.
- W2023209100 cites W2111337393 @default.
- W2023209100 cites W2129661198 @default.
- W2023209100 cites W2134326845 @default.
- W2023209100 cites W2612513657 @default.
- W2023209100 cites W50830508 @default.
- W2023209100 doi "https://doi.org/10.1006/inco.1995.1032" @default.
- W2023209100 hasPublicationYear "1995" @default.
- W2023209100 type Work @default.
- W2023209100 sameAs 2023209100 @default.
- W2023209100 citedByCount "53" @default.
- W2023209100 countsByYear W20232091002012 @default.
- W2023209100 countsByYear W20232091002013 @default.
- W2023209100 countsByYear W20232091002015 @default.
- W2023209100 countsByYear W20232091002017 @default.
- W2023209100 countsByYear W20232091002018 @default.
- W2023209100 countsByYear W20232091002019 @default.
- W2023209100 countsByYear W20232091002020 @default.
- W2023209100 countsByYear W20232091002021 @default.
- W2023209100 countsByYear W20232091002022 @default.
- W2023209100 crossrefType "journal-article" @default.
- W2023209100 hasAuthorship W2023209100A5004268930 @default.
- W2023209100 hasAuthorship W2023209100A5067945016 @default.
- W2023209100 hasAuthorship W2023209100A5070222782 @default.
- W2023209100 hasBestOaLocation W20232091001 @default.
- W2023209100 hasConcept C121332964 @default.
- W2023209100 hasConcept C134306372 @default.
- W2023209100 hasConcept C136155141 @default.
- W2023209100 hasConcept C138885662 @default.
- W2023209100 hasConcept C177148314 @default.
- W2023209100 hasConcept C184337299 @default.
- W2023209100 hasConcept C199360897 @default.
- W2023209100 hasConcept C2779662365 @default.
- W2023209100 hasConcept C33923547 @default.
- W2023209100 hasConcept C38677869 @default.
- W2023209100 hasConcept C41008148 @default.
- W2023209100 hasConcept C41895202 @default.
- W2023209100 hasConcept C62520636 @default.
- W2023209100 hasConcept C75291252 @default.
- W2023209100 hasConcept C80444323 @default.
- W2023209100 hasConceptScore W2023209100C121332964 @default.
- W2023209100 hasConceptScore W2023209100C134306372 @default.
- W2023209100 hasConceptScore W2023209100C136155141 @default.
- W2023209100 hasConceptScore W2023209100C138885662 @default.
- W2023209100 hasConceptScore W2023209100C177148314 @default.
- W2023209100 hasConceptScore W2023209100C184337299 @default.
- W2023209100 hasConceptScore W2023209100C199360897 @default.
- W2023209100 hasConceptScore W2023209100C2779662365 @default.
- W2023209100 hasConceptScore W2023209100C33923547 @default.
- W2023209100 hasConceptScore W2023209100C38677869 @default.
- W2023209100 hasConceptScore W2023209100C41008148 @default.
- W2023209100 hasConceptScore W2023209100C41895202 @default.
- W2023209100 hasConceptScore W2023209100C62520636 @default.
- W2023209100 hasConceptScore W2023209100C75291252 @default.
- W2023209100 hasConceptScore W2023209100C80444323 @default.
- W2023209100 hasIssue "1" @default.
- W2023209100 hasLocation W20232091001 @default.
- W2023209100 hasOpenAccess W2023209100 @default.
- W2023209100 hasPrimaryLocation W20232091001 @default.
- W2023209100 hasRelatedWork W1506247301 @default.
- W2023209100 hasRelatedWork W1550861479 @default.
- W2023209100 hasRelatedWork W1598274777 @default.
- W2023209100 hasRelatedWork W1606047829 @default.
- W2023209100 hasRelatedWork W2023209100 @default.
- W2023209100 hasRelatedWork W2095807838 @default.
- W2023209100 hasRelatedWork W2783548027 @default.
- W2023209100 hasRelatedWork W872977860 @default.
- W2023209100 hasRelatedWork W2584758478 @default.
- W2023209100 hasRelatedWork W2586039792 @default.
- W2023209100 hasVolume "117" @default.
- W2023209100 isParatext "false" @default.
- W2023209100 isRetracted "false" @default.
- W2023209100 magId "2023209100" @default.
- W2023209100 workType "article" @default.