This HTML5 document contains 226 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n54http://www.univ-valenciennes.fr/
dbpedia-svhttp://sv.dbpedia.org/resource/
n39http://purl.org/bncf/tid/
dbpedia-bghttp://bg.dbpedia.org/resource/
dbrhttp://dbpedia.org/resource/
dbpedia-hrhttp://hr.dbpedia.org/resource/
n10http://fr.dbpedia.org/resource/Modèle:
dbpedia-arhttp://ar.dbpedia.org/resource/
dbpedia-hehttp://he.dbpedia.org/resource/
n17http://commons.wikimedia.org/wiki/Special:FilePath/
n14http://www.univ-valenciennes.fr/gdr-macs/node/
dbpedia-frhttp://fr.dbpedia.org/resource/
n23https://www.morebooks.de/store/gb/book/clans-of-petri-nets/isbn/
dcthttp://purl.org/dc/terms/
rdfshttp://www.w3.org/2000/01/rdf-schema#
dbpedia-cshttp://cs.dbpedia.org/resource/
n51http://g.co/kg/m/
n48https://d-nb.info/gnd/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n40https://id.loc.gov/authorities/names/
n22http://fr.dbpedia.org/resource/Fichier:
xsdhhttp://www.w3.org/2001/XMLSchema#
n28http://www.scholarpedia.org/article/
dbpedia-ukhttp://uk.dbpedia.org/resource/
dbpedia-idhttp://id.dbpedia.org/resource/
n50http://ma-graph.org/entity/
prop-frhttp://fr.dbpedia.org/property/
dbohttp://dbpedia.org/ontology/
n6https://ncatlab.org/nlab/show/
n9https://books.google.com/
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-huhttp://hu.dbpedia.org/resource/
dbpedia-skhttp://sk.dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/
dbpedia-dehttp://de.dbpedia.org/resource/
dbpedia-plhttp://pl.dbpedia.org/resource/
dbpedia-ruhttp://ru.dbpedia.org/resource/
dbpedia-rohttp://ro.dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/
n19http://www.techniques-ingenieur.fr/base-documentaire/electronique-automatique-th13/automatique-sequentielle-42395210/commandes-a-reseaux-de-petri-s7572/
n49http://www.pst.informatik.uni-muenchen.de/~stoerrle/V/
dbpedia-nlhttp://nl.dbpedia.org/resource/
n18https://projects.laas.fr/tina/
n30https://commons.wikimedia.org/wiki/Category:
dbpedia-ithttp://it.dbpedia.org/resource/
dbpedia-cahttp://ca.dbpedia.org/resource/
provhttp://www.w3.org/ns/prov#
n42http://bs.dbpedia.org/resource/
n47https://www.jstor.org/topic/
foafhttp://xmlns.com/foaf/0.1/
wikipedia-frhttp://fr.wikipedia.org/wiki/
dbpedia-zhhttp://zh.dbpedia.org/resource/
n59http://psh.ntkcz.cz/skos/
n58http://datos.bne.es/resource/
n34http://lt.dbpedia.org/resource/
dbpedia-trhttp://tr.dbpedia.org/resource/
dbpedia-fahttp://fa.dbpedia.org/resource/
dbpedia-eshttp://es.dbpedia.org/resource/
n24http://www3.ec-lille.fr/~rdp/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
owlhttp://www.w3.org/2002/07/owl#

Statements

Subject Item
dbpedia-fr:Réseau_de_Petri
rdfs:label
Petrinät Petri-Netz Réseau de Petri Red de Petri Rede de Petri Xarxa de Petri Petrinet
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.
rdfs:seeAlso
n6:Petri_net n30:Petri_nets n47:petri-nets n59:PSH6551
owl:sameAs
dbpedia-sv:Petrinät dbpedia-de:Petri-Netz dbpedia-es:Red_de_Petri dbpedia-bg:Мрежа_на_Петри dbpedia-nl:Petrinet dbpedia-ru:Сеть_Петри dbpedia-id:Petri_net dbpedia-pl:Sieć_Petriego dbpedia-ro:Rețea_Petri dbpedia-fa:شبکه_پتری dbpedia-uk:Мережі_Петрі dbpedia-sk:Petriho_sieť n34:Petri_tinklai dbpedia-hu:Petri-háló dbpedia-ar:شبكة_بيتري dbpedia-cs:Petriho_síť dbpedia-he:רשת_פטרי n39:6134 n40:sh85100346 n42:Petrijeva_mreža dbr:Petri_net dbpedia-zh:佩特里網 dbpedia-pt:Rede_de_Petri n48:4045388-1 n50:38677869 n51:01gt82 wikidata:Q724168 dbpedia-hr:Petrijeve_mreže dbpedia-ja:ペトリネット dbpedia-ca:Xarxa_de_Petri dbpedia-tr:Petri_ağı n58:XX548185 dbpedia-it:Rete_di_Petri
dbo:wikiPageID
506358
dbo:wikiPageRevisionID
190968783
dbo:wikiPageWikiLink
dbpedia-fr:Théorie_des_graphes dbpedia-fr:Éditions_Ellipses dbpedia-fr:Springer_Science+Business_Media dbpedia-fr:Problème_d'accessibilité dbpedia-fr:Éditions_Dunod dbpedia-fr:World_Scientific dbpedia-fr:Langage_formel n22:4-philosophers.gif category-fr:Automatique dbpedia-fr:Diagramme_d'activité dbpedia-fr:Mathématiques_discrètes dbpedia-fr:Programmation_fonctionnelle dbpedia-fr:Carl_Adam_Petri dbpedia-fr:Processus_stochastique dbpedia-fr:Books_on_Demand dbpedia-fr:Industrie dbpedia-fr:Informatique dbpedia-fr:Déterminisme dbpedia-fr:N-uplet n22:Detailed_petri_net.png dbpedia-fr:Logique_temporelle_linéaire dbpedia-fr:UML_(informatique) n22:Animated_Petri_net_commons.gif dbpedia-fr:Modèle_mathématique dbpedia-fr:Automate_fini n22:Reachability_graph_for_petri_net.png dbpedia-fr:Graphe_biparti category-fr:Méthode_formelle dbpedia-fr:Indéterminisme_(mathématiques) dbpedia-fr:Grafcet
dbo:wikiPageExternalLink
n9:books%3Fid=ssFFZ_4DpVcC&printsec=frontcover n14:5258 n18:index.php n19: n9:books%3Fid=XSoK7L9SZ5oC&printsec=frontcover n23:978-3-659-42228-7 n24: n28:Petri_net n49:Dissertation.pdf
dbo:wikiPageLength
18757
dct:subject
category-fr:Méthode_formelle category-fr:Automatique
foaf:homepage
n54:gdr-macs
prop-fr:wikiPageUsesTemplate
n10:Portail n10:Début_d'illustration n10:Ouvrage n10:Commentaire_biblio n10:ISBN n10:Lien_web n10:Date- n10:Référence_web n10:Fin_d'illustration n10:Homonyme
prov:wasDerivedFrom
wikipedia-fr:Réseau_de_Petri?oldid=190968783&ns=0
foaf:depiction
n17:Reachability_graph_for_petri_net.png n17:Detailed_petri_net.png n17:Animated_Petri_net_commons.gif n17:4-philosophers.gif
prop-fr:année
1992 1993 1998 1999 1997 1984 2013 2000 2006 2004 2005
prop-fr:auteur
Heloisa Camargo Frank Dicesare
prop-fr:collection
Techniques de l'Ingénieur Traité IC2 Sciences Sup
prop-fr:consultéLe
2008-07-13
prop-fr:isbn
963 981 978 0 2 3
prop-fr:jour
10 7
prop-fr:langue
fr en
prop-fr:lieu
Boston/Dordrecht/London Paris Berlin/Heidelberg/Paris etc.
prop-fr:lireEnLigne
n23:978-3-659-42228-7 n9:books%3Fid=XSoK7L9SZ5oC&printsec=frontcover n19: n9:books%3Fid=ssFFZ_4DpVcC&printsec=frontcover
prop-fr:mois
mars
prop-fr:nom
Choquet-Geniet Diaz Jensen David Zaitsev Combacau Pataricza Alla Esteban Riemann Störrle Cardoso Котов Petri Reisig Zhou
prop-fr:pagesTotales
318 240 252 265 233 500
prop-fr:prénom
András Carl Adam Вадим M. Hassane Annie René P. Dmitry Janette Kurt Robert-Christoph Harald Mengchu Wolfgang Michel
prop-fr:site
lagis.ec-lille.fr www.univ-valenciennes.fr/gdr-macs
prop-fr:sousTitre
basic concepts, analysis methods, and practical use ouvrage collectif sous la direction de Michel Diaz A Petri Net Approach Un outil de modélisation
prop-fr:série
14717.0 Informatique et systèmes d'information
prop-fr:titre
Les réseaux de Petri Formális módszerek az informatikában Fuzziness in Petri Nets Petri Net Synthesis for Discrete Event Control of Manufacturing Systems Petri net Du Grafcet aux réseaux de Petri Modelling of Concurrent Systems : Structural and Semantical Methods in the High Level Petri Net Calculus Modeling, Simulation, & Control of Flexible Manufacturing Systems A Primer in Petri Net Design Models of Software Architecture : Design and Analysis with UML and Petri-Nets Сети Петри PetriParC - GDR MACS Commandes à Réseaux de Petri Clans of Petri Nets : Verification of protocols and performance evaluation of networks Coloured Petri Nets Vérification et mise en œuvre des réseaux de Petri Groupe francophone de recherche sur les réseaux de Petri
prop-fr:url
n28:Petri_net n24: n14:5258
prop-fr:éditeur
Hermès Physica-Verlag Hermes Science Publications Наука, Москва Kluwer Academic Publishers dbpedia-fr:Springer_Science+Business_Media Springer Verlag dbpedia-fr:Books_on_Demand dbpedia-fr:Éditions_Dunod TYPOTEX Kiadó Herbert Utz Verlag dbpedia-fr:World_Scientific LAP LAMBERT Academic Publishing
prop-fr:numéroD'édition
2
prop-fr:coauteur
Kurapati Venkatesh
dbo:thumbnail
n17:Animated_Petri_net_commons.gif?width=300
foaf:isPrimaryTopicOf
wikipedia-fr:Réseau_de_Petri
dbo:namedAfter
dbpedia-fr:Carl_Adam_Petri
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.
dbo:isPartOf
dbpedia-fr:Informatique