Matches in SemOpenAlex for { <https://semopenalex.org/work/W2037829572> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2037829572 endingPage "156" @default.
- W2037829572 startingPage "149" @default.
- W2037829572 abstract "Timed Petri Nets are a good modeling framework to express the behavior of discrete event systems, such as transport or manufacturing systems. They allow to represent easily the distribution of tasks within a complex system, with the capacity to handle time constraints on the duration of these tasks. However, when synchronization is needed between several layers of the system, such models suffer from a lack of mechanisms to identify the components that are handled. Thus, it is difficult to obtain firing sequences avoiding confusion of tokens when activation or coordination patterns are used. Such issues are well addressed with High Level Petri Nets, like Colored PNs where data structures are attached to tokens, allowing to represent a complex behaviour while keeping a compact PN model. However, such models introduce a modeling material that makes it difficult to use direct incremental solving approaches like mathematical or constraint programming, i.e. approaches that do not need to unfold the net and build its whole reachability graph. In this paper, we propose to extend the expressivity of Timed Petri Nets by associating integer identifiers with tokens. Such approach can avoid the confusion of parts in a plant, or trains in a railway network, and allow to model much more possible coordination situations. A constraint programming model is built to follow this new firing semantics, and benchmarks are given to assess its efficiency." @default.
- W2037829572 created "2016-06-24" @default.
- W2037829572 creator A5001151757 @default.
- W2037829572 creator A5021526746 @default.
- W2037829572 creator A5057406137 @default.
- W2037829572 creator A5072891061 @default.
- W2037829572 date "2012-01-01" @default.
- W2037829572 modified "2023-10-05" @default.
- W2037829572 title "A Constraint Programming Approach for Generating Firing Sequences in Timed Petri Nets With Token Identification" @default.
- W2037829572 cites W1527132796 @default.
- W2037829572 cites W1983788549 @default.
- W2037829572 cites W1994350081 @default.
- W2037829572 cites W1996109622 @default.
- W2037829572 cites W2154778372 @default.
- W2037829572 doi "https://doi.org/10.3182/20121003-3-mx-4033.00026" @default.
- W2037829572 hasPublicationYear "2012" @default.
- W2037829572 type Work @default.
- W2037829572 sameAs 2037829572 @default.
- W2037829572 citedByCount "0" @default.
- W2037829572 crossrefType "journal-article" @default.
- W2037829572 hasAuthorship W2037829572A5001151757 @default.
- W2037829572 hasAuthorship W2037829572A5021526746 @default.
- W2037829572 hasAuthorship W2037829572A5057406137 @default.
- W2037829572 hasAuthorship W2037829572A5072891061 @default.
- W2037829572 hasBestOaLocation W20378295721 @default.
- W2037829572 hasConcept C120314980 @default.
- W2037829572 hasConcept C121332964 @default.
- W2037829572 hasConcept C126255220 @default.
- W2037829572 hasConcept C127162648 @default.
- W2037829572 hasConcept C127413603 @default.
- W2037829572 hasConcept C136643341 @default.
- W2037829572 hasConcept C137631369 @default.
- W2037829572 hasConcept C154504017 @default.
- W2037829572 hasConcept C173404611 @default.
- W2037829572 hasConcept C184337299 @default.
- W2037829572 hasConcept C199360897 @default.
- W2037829572 hasConcept C2776036281 @default.
- W2037829572 hasConcept C2778562939 @default.
- W2037829572 hasConcept C2779662365 @default.
- W2037829572 hasConcept C31258907 @default.
- W2037829572 hasConcept C33923547 @default.
- W2037829572 hasConcept C38652104 @default.
- W2037829572 hasConcept C38677869 @default.
- W2037829572 hasConcept C41008148 @default.
- W2037829572 hasConcept C48145219 @default.
- W2037829572 hasConcept C62520636 @default.
- W2037829572 hasConcept C78519656 @default.
- W2037829572 hasConcept C80444323 @default.
- W2037829572 hasConceptScore W2037829572C120314980 @default.
- W2037829572 hasConceptScore W2037829572C121332964 @default.
- W2037829572 hasConceptScore W2037829572C126255220 @default.
- W2037829572 hasConceptScore W2037829572C127162648 @default.
- W2037829572 hasConceptScore W2037829572C127413603 @default.
- W2037829572 hasConceptScore W2037829572C136643341 @default.
- W2037829572 hasConceptScore W2037829572C137631369 @default.
- W2037829572 hasConceptScore W2037829572C154504017 @default.
- W2037829572 hasConceptScore W2037829572C173404611 @default.
- W2037829572 hasConceptScore W2037829572C184337299 @default.
- W2037829572 hasConceptScore W2037829572C199360897 @default.
- W2037829572 hasConceptScore W2037829572C2776036281 @default.
- W2037829572 hasConceptScore W2037829572C2778562939 @default.
- W2037829572 hasConceptScore W2037829572C2779662365 @default.
- W2037829572 hasConceptScore W2037829572C31258907 @default.
- W2037829572 hasConceptScore W2037829572C33923547 @default.
- W2037829572 hasConceptScore W2037829572C38652104 @default.
- W2037829572 hasConceptScore W2037829572C38677869 @default.
- W2037829572 hasConceptScore W2037829572C41008148 @default.
- W2037829572 hasConceptScore W2037829572C48145219 @default.
- W2037829572 hasConceptScore W2037829572C62520636 @default.
- W2037829572 hasConceptScore W2037829572C78519656 @default.
- W2037829572 hasConceptScore W2037829572C80444323 @default.
- W2037829572 hasIssue "29" @default.
- W2037829572 hasLocation W20378295721 @default.
- W2037829572 hasLocation W20378295722 @default.
- W2037829572 hasLocation W20378295723 @default.
- W2037829572 hasOpenAccess W2037829572 @default.
- W2037829572 hasPrimaryLocation W20378295721 @default.
- W2037829572 hasRelatedWork W1500907979 @default.
- W2037829572 hasRelatedWork W1531156418 @default.
- W2037829572 hasRelatedWork W1551903405 @default.
- W2037829572 hasRelatedWork W1776999661 @default.
- W2037829572 hasRelatedWork W2039577724 @default.
- W2037829572 hasRelatedWork W2107824370 @default.
- W2037829572 hasRelatedWork W2154794415 @default.
- W2037829572 hasRelatedWork W2380814829 @default.
- W2037829572 hasRelatedWork W2387511021 @default.
- W2037829572 hasRelatedWork W2499946963 @default.
- W2037829572 hasVolume "45" @default.
- W2037829572 isParatext "false" @default.
- W2037829572 isRetracted "false" @default.
- W2037829572 magId "2037829572" @default.
- W2037829572 workType "article" @default.