Matches in SemOpenAlex for { <https://semopenalex.org/work/W1556099246> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W1556099246 endingPage "400" @default.
- W1556099246 startingPage "388" @default.
- W1556099246 abstract "In this paper we define partial order semantics of types of nets. Types of nets are a parametric definition of Petri nets originally developed for a general presentation of the synthesis of Petri nets from (step) transition systems. Partial order semantics of a concrete net (of a certain type) usually are given by the set of labelled partial orders (LPOs) enabled w.r.t. the net. For classical place/transition nets there are several equivalent characterizations of enabled LPOs. We discuss in which way the general notion of types of nets has to be restricted such that these characterizations can also be formulated for nets of such type. In particular we consider under which requirements enabled LPOs can be defined through token flows, which have been proven to be useful for efficient synthesis and verification of Petri nets. The presented concepts form the basis for a general presentation of the synthesis of Petri nets from sets of LPOs." @default.
- W1556099246 created "2016-06-24" @default.
- W1556099246 creator A5007482830 @default.
- W1556099246 creator A5027700318 @default.
- W1556099246 creator A5068217644 @default.
- W1556099246 date "2009-01-01" @default.
- W1556099246 modified "2023-10-05" @default.
- W1556099246 title "Partial Order Semantics of Types of Nets" @default.
- W1556099246 cites W141086199 @default.
- W1556099246 cites W1493304127 @default.
- W1556099246 cites W1556099246 @default.
- W1556099246 cites W1561280378 @default.
- W1556099246 cites W1563487118 @default.
- W1556099246 cites W1588647718 @default.
- W1556099246 cites W1595520837 @default.
- W1556099246 cites W1636979341 @default.
- W1556099246 cites W1679532520 @default.
- W1556099246 cites W2017906621 @default.
- W1556099246 cites W2123707143 @default.
- W1556099246 cites W3146859248 @default.
- W1556099246 cites W3148010621 @default.
- W1556099246 doi "https://doi.org/10.1007/978-3-540-95891-8_36" @default.
- W1556099246 hasPublicationYear "2009" @default.
- W1556099246 type Work @default.
- W1556099246 sameAs 1556099246 @default.
- W1556099246 citedByCount "1" @default.
- W1556099246 crossrefType "book-chapter" @default.
- W1556099246 hasAuthorship W1556099246A5007482830 @default.
- W1556099246 hasAuthorship W1556099246A5027700318 @default.
- W1556099246 hasAuthorship W1556099246A5068217644 @default.
- W1556099246 hasBestOaLocation W15560992462 @default.
- W1556099246 hasConcept C136155141 @default.
- W1556099246 hasConcept C14166107 @default.
- W1556099246 hasConcept C177264268 @default.
- W1556099246 hasConcept C184337299 @default.
- W1556099246 hasConcept C18903297 @default.
- W1556099246 hasConcept C197551870 @default.
- W1556099246 hasConcept C199360897 @default.
- W1556099246 hasConcept C2524010 @default.
- W1556099246 hasConcept C2777299769 @default.
- W1556099246 hasConcept C33923547 @default.
- W1556099246 hasConcept C38652104 @default.
- W1556099246 hasConcept C38677869 @default.
- W1556099246 hasConcept C41008148 @default.
- W1556099246 hasConcept C48145219 @default.
- W1556099246 hasConcept C80444323 @default.
- W1556099246 hasConcept C86803240 @default.
- W1556099246 hasConceptScore W1556099246C136155141 @default.
- W1556099246 hasConceptScore W1556099246C14166107 @default.
- W1556099246 hasConceptScore W1556099246C177264268 @default.
- W1556099246 hasConceptScore W1556099246C184337299 @default.
- W1556099246 hasConceptScore W1556099246C18903297 @default.
- W1556099246 hasConceptScore W1556099246C197551870 @default.
- W1556099246 hasConceptScore W1556099246C199360897 @default.
- W1556099246 hasConceptScore W1556099246C2524010 @default.
- W1556099246 hasConceptScore W1556099246C2777299769 @default.
- W1556099246 hasConceptScore W1556099246C33923547 @default.
- W1556099246 hasConceptScore W1556099246C38652104 @default.
- W1556099246 hasConceptScore W1556099246C38677869 @default.
- W1556099246 hasConceptScore W1556099246C41008148 @default.
- W1556099246 hasConceptScore W1556099246C48145219 @default.
- W1556099246 hasConceptScore W1556099246C80444323 @default.
- W1556099246 hasConceptScore W1556099246C86803240 @default.
- W1556099246 hasLocation W15560992461 @default.
- W1556099246 hasLocation W15560992462 @default.
- W1556099246 hasOpenAccess W1556099246 @default.
- W1556099246 hasPrimaryLocation W15560992461 @default.
- W1556099246 hasRelatedWork W1104206986 @default.
- W1556099246 hasRelatedWork W1506995308 @default.
- W1556099246 hasRelatedWork W1530666383 @default.
- W1556099246 hasRelatedWork W1536150964 @default.
- W1556099246 hasRelatedWork W1580580618 @default.
- W1556099246 hasRelatedWork W2099509932 @default.
- W1556099246 hasRelatedWork W2130283794 @default.
- W1556099246 hasRelatedWork W2151216654 @default.
- W1556099246 hasRelatedWork W2293352129 @default.
- W1556099246 hasRelatedWork W2354973518 @default.
- W1556099246 isParatext "false" @default.
- W1556099246 isRetracted "false" @default.
- W1556099246 magId "1556099246" @default.
- W1556099246 workType "book-chapter" @default.