Matches in SemOpenAlex for { <https://semopenalex.org/work/W2627749591> ?p ?o ?g. }
Showing items 1 to 44 of
44
with 100 items per page.
- W2627749591 abstract "Les reseaux de Petri sont un outil tres repandu de modelisation et d'etude des systemes concur-rents autour desquels s'est constituee une large communaute scientifique. Il existe des extensions qui ont pour but d'etendre le formalisme de reference par les reseaux de Petri pour proposer soit des mo-deles plus compacts en termes de description, soit plus puissants en termes de pouvoir d'expression. Nous pouvons citer entre autre l'ajout des reset arcs qui ajoutent un pouvoir expressif utile en ce sens qu'ils permettent de remettre a zero (notion de reinitialisation) le contenu d'une place sans impacter sur les regles de sensibilisation des transitions dans le reseau. Nous proposons pour les reseaux de Petri a reset arcs ayant un reseau normal sous-jacent borne, une approche pour construire le depliage (methode d'ordre partiel pour contourner le probleme d'explosion combinatoire lie a la construction du graphe d'etats) et d'un prefixe complet et fini du depliage. Nous presenterons aussi un algorithme pour l'identification des processus de branchement issus d'un tel depliage." @default.
- W2627749591 created "2017-06-30" @default.
- W2627749591 creator A5027809316 @default.
- W2627749591 creator A5076328367 @default.
- W2627749591 creator A5082284804 @default.
- W2627749591 date "2015-06-10" @default.
- W2627749591 modified "2023-10-10" @default.
- W2627749591 title "Processus de branchement des réseaux de Petri à reset arcs" @default.
- W2627749591 hasPublicationYear "2015" @default.
- W2627749591 type Work @default.
- W2627749591 sameAs 2627749591 @default.
- W2627749591 citedByCount "0" @default.
- W2627749591 crossrefType "proceedings-article" @default.
- W2627749591 hasAuthorship W2627749591A5027809316 @default.
- W2627749591 hasAuthorship W2627749591A5076328367 @default.
- W2627749591 hasAuthorship W2627749591A5082284804 @default.
- W2627749591 hasBestOaLocation W26277495911 @default.
- W2627749591 hasConcept C10138342 @default.
- W2627749591 hasConcept C144133560 @default.
- W2627749591 hasConcept C2779795794 @default.
- W2627749591 hasConcept C41008148 @default.
- W2627749591 hasConceptScore W2627749591C10138342 @default.
- W2627749591 hasConceptScore W2627749591C144133560 @default.
- W2627749591 hasConceptScore W2627749591C2779795794 @default.
- W2627749591 hasConceptScore W2627749591C41008148 @default.
- W2627749591 hasLocation W26277495911 @default.
- W2627749591 hasLocation W26277495912 @default.
- W2627749591 hasLocation W26277495913 @default.
- W2627749591 hasOpenAccess W2627749591 @default.
- W2627749591 hasPrimaryLocation W26277495911 @default.
- W2627749591 hasRelatedWork W1528611913 @default.
- W2627749591 hasRelatedWork W2168225754 @default.
- W2627749591 hasRelatedWork W2370772865 @default.
- W2627749591 hasRelatedWork W2387487224 @default.
- W2627749591 hasRelatedWork W2393495588 @default.
- W2627749591 hasRelatedWork W2748952813 @default.
- W2627749591 hasRelatedWork W2899084033 @default.
- W2627749591 hasRelatedWork W350273603 @default.
- W2627749591 hasRelatedWork W4385608460 @default.
- W2627749591 hasRelatedWork W96259911 @default.
- W2627749591 isParatext "false" @default.
- W2627749591 isRetracted "false" @default.
- W2627749591 magId "2627749591" @default.
- W2627749591 workType "article" @default.