| Property |
Value |
| dbo:abstract
|
- Un réseau de Petri (aussi connu comme un réseau de Place/Transition ou réseau de P/T) est un modèle mathématique servant à représenter divers systèmes (informatiques, industriels…) travaillant sur des variables discrètes. Les réseaux de Petri sont apparus en 1962, dans la thèse de doctorat de Carl Adam Petri.Les réseaux de Petri sont des outils graphiques et mathématiques permettant de modéliser et de vérifier le comportement dynamique des systèmes à événements discrets comme les systèmes manufacturiers, les systèmes de télécommunications, les réseaux de transport. Le diagramme d'activité UML et le Grafcet sont des dérivés simplifiés de réseau de Petri, mis à part qu'à un modèle basé sur un réseau de Petri est associée une représentation mathématique de matrices de transitions d'état permettant d'assurer des preuves formelles de théorie des graphes, d'algèbre temporelle et de processus stochastiques markoviens. (fr)
- Un réseau de Petri (aussi connu comme un réseau de Place/Transition ou réseau de P/T) est un modèle mathématique servant à représenter divers systèmes (informatiques, industriels…) travaillant sur des variables discrètes. Les réseaux de Petri sont apparus en 1962, dans la thèse de doctorat de Carl Adam Petri.Les réseaux de Petri sont des outils graphiques et mathématiques permettant de modéliser et de vérifier le comportement dynamique des systèmes à événements discrets comme les systèmes manufacturiers, les systèmes de télécommunications, les réseaux de transport. Le diagramme d'activité UML et le Grafcet sont des dérivés simplifiés de réseau de Petri, mis à part qu'à un modèle basé sur un réseau de Petri est associée une représentation mathématique de matrices de transitions d'état permettant d'assurer des preuves formelles de théorie des graphes, d'algèbre temporelle et de processus stochastiques markoviens. (fr)
|
| dbo:isPartOf
| |
| dbo:namedAfter
| |
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 18757 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1984 (xsd:integer)
- 1992 (xsd:integer)
- 1993 (xsd:integer)
- 1997 (xsd:integer)
- 1998 (xsd:integer)
- 1999 (xsd:integer)
- 2000 (xsd:integer)
- 2004 (xsd:integer)
- 2005 (xsd:integer)
- 2006 (xsd:integer)
- 2013 (xsd:integer)
|
| prop-fr:auteur
|
- Frank Dicesare (fr)
- Heloisa Camargo (fr)
- Frank Dicesare (fr)
- Heloisa Camargo (fr)
|
| prop-fr:coauteur
|
- Kurapati Venkatesh (fr)
- Kurapati Venkatesh (fr)
|
| prop-fr:collection
|
- Sciences Sup (fr)
- Traité IC2 (fr)
- Techniques de l'Ingénieur (fr)
- Sciences Sup (fr)
- Traité IC2 (fr)
- Techniques de l'Ingénieur (fr)
|
| prop-fr:consultéLe
| |
| prop-fr:isbn
|
- 0 (xsd:integer)
- 2 (xsd:integer)
- 3 (xsd:integer)
- 963 (xsd:integer)
- 978 (xsd:integer)
- 981 (xsd:integer)
|
| prop-fr:jour
|
- 7 (xsd:integer)
- 10 (xsd:integer)
|
| prop-fr:langue
|
- en (fr)
- fr (fr)
- en (fr)
- fr (fr)
|
| prop-fr:lieu
|
- Paris (fr)
- Boston/Dordrecht/London (fr)
- Berlin/Heidelberg/Paris etc. (fr)
- Paris (fr)
- Boston/Dordrecht/London (fr)
- Berlin/Heidelberg/Paris etc. (fr)
|
| prop-fr:lireEnLigne
| |
| prop-fr:mois
| |
| prop-fr:nom
|
- David (fr)
- Alla (fr)
- Jensen (fr)
- Zhou (fr)
- Diaz (fr)
- Котов (fr)
- Esteban (fr)
- Riemann (fr)
- Cardoso (fr)
- Petri (fr)
- Zaitsev (fr)
- Reisig (fr)
- Choquet-Geniet (fr)
- Combacau (fr)
- Pataricza (fr)
- Störrle (fr)
- David (fr)
- Alla (fr)
- Jensen (fr)
- Zhou (fr)
- Diaz (fr)
- Котов (fr)
- Esteban (fr)
- Riemann (fr)
- Cardoso (fr)
- Petri (fr)
- Zaitsev (fr)
- Reisig (fr)
- Choquet-Geniet (fr)
- Combacau (fr)
- Pataricza (fr)
- Störrle (fr)
|
| prop-fr:numéroD'édition
| |
| prop-fr:pagesTotales
|
- 233 (xsd:integer)
- 240 (xsd:integer)
- 252 (xsd:integer)
- 265 (xsd:integer)
- 318 (xsd:integer)
- 500 (xsd:integer)
|
| prop-fr:prénom
|
- M. (fr)
- P. (fr)
- András (fr)
- Michel (fr)
- Wolfgang (fr)
- René (fr)
- Kurt (fr)
- Annie (fr)
- Dmitry (fr)
- Harald (fr)
- Janette (fr)
- Hassane (fr)
- Carl Adam (fr)
- Mengchu (fr)
- Robert-Christoph (fr)
- Вадим (fr)
- M. (fr)
- P. (fr)
- András (fr)
- Michel (fr)
- Wolfgang (fr)
- René (fr)
- Kurt (fr)
- Annie (fr)
- Dmitry (fr)
- Harald (fr)
- Janette (fr)
- Hassane (fr)
- Carl Adam (fr)
- Mengchu (fr)
- Robert-Christoph (fr)
- Вадим (fr)
|
| prop-fr:site
|
- lagis.ec-lille.fr (fr)
- www.univ-valenciennes.fr/gdr-macs (fr)
- lagis.ec-lille.fr (fr)
- www.univ-valenciennes.fr/gdr-macs (fr)
|
| prop-fr:sousTitre
|
- A Petri Net Approach (fr)
- Un outil de modélisation (fr)
- basic concepts, analysis methods, and practical use (fr)
- ouvrage collectif sous la direction de Michel Diaz (fr)
- A Petri Net Approach (fr)
- Un outil de modélisation (fr)
- basic concepts, analysis methods, and practical use (fr)
- ouvrage collectif sous la direction de Michel Diaz (fr)
|
| prop-fr:série
|
- 14717.0
- Informatique et systèmes d'information (fr)
|
| prop-fr:titre
|
- Du Grafcet aux réseaux de Petri (fr)
- Clans of Petri Nets : Verification of protocols and performance evaluation of networks (fr)
- Groupe francophone de recherche sur les réseaux de Petri (fr)
- A Primer in Petri Net Design (fr)
- Coloured Petri Nets (fr)
- Commandes à Réseaux de Petri (fr)
- Formális módszerek az informatikában (fr)
- Fuzziness in Petri Nets (fr)
- Les réseaux de Petri (fr)
- Petri net (fr)
- PetriParC - GDR MACS (fr)
- Modelling of Concurrent Systems : Structural and Semantical Methods in the High Level Petri Net Calculus (fr)
- Petri Net Synthesis for Discrete Event Control of Manufacturing Systems (fr)
- Vérification et mise en œuvre des réseaux de Petri (fr)
- Modeling, Simulation, & Control of Flexible Manufacturing Systems (fr)
- Сети Петри (fr)
- Models of Software Architecture : Design and Analysis with UML and Petri-Nets (fr)
- Du Grafcet aux réseaux de Petri (fr)
- Clans of Petri Nets : Verification of protocols and performance evaluation of networks (fr)
- Groupe francophone de recherche sur les réseaux de Petri (fr)
- A Primer in Petri Net Design (fr)
- Coloured Petri Nets (fr)
- Commandes à Réseaux de Petri (fr)
- Formális módszerek az informatikában (fr)
- Fuzziness in Petri Nets (fr)
- Les réseaux de Petri (fr)
- Petri net (fr)
- PetriParC - GDR MACS (fr)
- Modelling of Concurrent Systems : Structural and Semantical Methods in the High Level Petri Net Calculus (fr)
- Petri Net Synthesis for Discrete Event Control of Manufacturing Systems (fr)
- Vérification et mise en œuvre des réseaux de Petri (fr)
- Modeling, Simulation, & Control of Flexible Manufacturing Systems (fr)
- Сети Петри (fr)
- Models of Software Architecture : Design and Analysis with UML and Petri-Nets (fr)
|
| prop-fr:url
| |
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
| |
| dct:subject
| |
| rdfs:comment
|
- Un réseau de Petri (aussi connu comme un réseau de Place/Transition ou réseau de P/T) est un modèle mathématique servant à représenter divers systèmes (informatiques, industriels…) travaillant sur des variables discrètes. Les réseaux de Petri sont apparus en 1962, dans la thèse de doctorat de Carl Adam Petri.Les réseaux de Petri sont des outils graphiques et mathématiques permettant de modéliser et de vérifier le comportement dynamique des systèmes à événements discrets comme les systèmes manufacturiers, les systèmes de télécommunications, les réseaux de transport. (fr)
- Un réseau de Petri (aussi connu comme un réseau de Place/Transition ou réseau de P/T) est un modèle mathématique servant à représenter divers systèmes (informatiques, industriels…) travaillant sur des variables discrètes. Les réseaux de Petri sont apparus en 1962, dans la thèse de doctorat de Carl Adam Petri.Les réseaux de Petri sont des outils graphiques et mathématiques permettant de modéliser et de vérifier le comportement dynamique des systèmes à événements discrets comme les systèmes manufacturiers, les systèmes de télécommunications, les réseaux de transport. (fr)
|
| rdfs:label
|
- Petri-Netz (de)
- Petrinet (nl)
- Petrinät (sv)
- Red de Petri (es)
- Rede de Petri (pt)
- Réseau de Petri (fr)
- Xarxa de Petri (ca)
- Petri-Netz (de)
- Petrinet (nl)
- Petrinät (sv)
- Red de Petri (es)
- Rede de Petri (pt)
- Réseau de Petri (fr)
- Xarxa de Petri (ca)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:homepage
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:discipline
of | |
| is dbo:knownFor
of | |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is prop-fr:renomméPour
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
