Matches in SemOpenAlex for { <https://semopenalex.org/work/W1506169173> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W1506169173 endingPage "21" @default.
- W1506169173 startingPage "2" @default.
- W1506169173 abstract "In this paper we advocate a unifying technique for description of Petri net semantics. Semantics, i.e. a possible behaviour, is basically a set of node-labelled and arc-labelled directed acyclic graphs, called token flows, where the graphs are distinguished up to isomorphism. The nodes of a token flow represent occurrences of transitions of the underlying net, so they are labelled by transitions. Arcs are labelled by multisets of places. Namelly, an arc between an occurrence x of a transition a and an occurrence y of a transition b is labelled by a multiset of places, saying how many tokens produced by the occurrence x of the transition a is consumed by the occurrence y of the transition b. The variants of Petri net behaviour are given by different interpretation of arcs and different structure of token flows, resulting in different sets of labelled directed acyclic graphs accepted by the net. We show that the most prominent semantics of Petri nets, namely processes of Goltz and Reisig, partial languages of Petri nets introduced by Grabowski, rewriting terms of Meseguer and Montanari, step sequences as well as classical occurrence (firing) sequences correspond to different subsets of token flows. Finally, we discuss several results achieved using token flows during the last four years, including polynomial test for the acceptance of a partial word by a Petri net, synthesis of Petri nets from partial languages and token flow unfolding." @default.
- W1506169173 created "2016-06-24" @default.
- W1506169173 creator A5027700318 @default.
- W1506169173 creator A5048929293 @default.
- W1506169173 creator A5068217644 @default.
- W1506169173 date "2009-01-01" @default.
- W1506169173 modified "2023-09-27" @default.
- W1506169173 title "Unifying Petri Net Semantics with Token Flows" @default.
- W1506169173 cites W108794666 @default.
- W1506169173 cites W151588920 @default.
- W1506169173 cites W1537605661 @default.
- W1506169173 cites W1595724348 @default.
- W1506169173 cites W1599201870 @default.
- W1506169173 cites W1608088021 @default.
- W1506169173 cites W1636979341 @default.
- W1506169173 cites W1981404622 @default.
- W1506169173 cites W2022479543 @default.
- W1506169173 cites W2027622095 @default.
- W1506169173 cites W2057835807 @default.
- W1506169173 cites W2061288205 @default.
- W1506169173 cites W2150320481 @default.
- W1506169173 cites W2624891686 @default.
- W1506169173 cites W4254746810 @default.
- W1506169173 cites W84232747 @default.
- W1506169173 doi "https://doi.org/10.1007/978-3-642-02424-5_2" @default.
- W1506169173 hasPublicationYear "2009" @default.
- W1506169173 type Work @default.
- W1506169173 sameAs 1506169173 @default.
- W1506169173 citedByCount "2" @default.
- W1506169173 countsByYear W15061691732020 @default.
- W1506169173 crossrefType "book-chapter" @default.
- W1506169173 hasAuthorship W1506169173A5027700318 @default.
- W1506169173 hasAuthorship W1506169173A5048929293 @default.
- W1506169173 hasAuthorship W1506169173A5068217644 @default.
- W1506169173 hasBestOaLocation W15061691732 @default.
- W1506169173 hasConcept C14166107 @default.
- W1506169173 hasConcept C184337299 @default.
- W1506169173 hasConcept C197551870 @default.
- W1506169173 hasConcept C199360897 @default.
- W1506169173 hasConcept C2524010 @default.
- W1506169173 hasConcept C33923547 @default.
- W1506169173 hasConcept C38652104 @default.
- W1506169173 hasConcept C38677869 @default.
- W1506169173 hasConcept C41008148 @default.
- W1506169173 hasConcept C48145219 @default.
- W1506169173 hasConcept C80444323 @default.
- W1506169173 hasConcept C90805587 @default.
- W1506169173 hasConceptScore W1506169173C14166107 @default.
- W1506169173 hasConceptScore W1506169173C184337299 @default.
- W1506169173 hasConceptScore W1506169173C197551870 @default.
- W1506169173 hasConceptScore W1506169173C199360897 @default.
- W1506169173 hasConceptScore W1506169173C2524010 @default.
- W1506169173 hasConceptScore W1506169173C33923547 @default.
- W1506169173 hasConceptScore W1506169173C38652104 @default.
- W1506169173 hasConceptScore W1506169173C38677869 @default.
- W1506169173 hasConceptScore W1506169173C41008148 @default.
- W1506169173 hasConceptScore W1506169173C48145219 @default.
- W1506169173 hasConceptScore W1506169173C80444323 @default.
- W1506169173 hasConceptScore W1506169173C90805587 @default.
- W1506169173 hasLocation W15061691731 @default.
- W1506169173 hasLocation W15061691732 @default.
- W1506169173 hasOpenAccess W1506169173 @default.
- W1506169173 hasPrimaryLocation W15061691731 @default.
- W1506169173 hasRelatedWork W1104206986 @default.
- W1506169173 hasRelatedWork W1506995308 @default.
- W1506169173 hasRelatedWork W1530666383 @default.
- W1506169173 hasRelatedWork W1536150964 @default.
- W1506169173 hasRelatedWork W1969008178 @default.
- W1506169173 hasRelatedWork W2099509932 @default.
- W1506169173 hasRelatedWork W2293352129 @default.
- W1506169173 hasRelatedWork W2553788007 @default.
- W1506169173 hasRelatedWork W2555157141 @default.
- W1506169173 hasRelatedWork W2948682255 @default.
- W1506169173 isParatext "false" @default.
- W1506169173 isRetracted "false" @default.
- W1506169173 magId "1506169173" @default.
- W1506169173 workType "book-chapter" @default.