Property |
Value |
dbo:abstract
|
- Un réseau de Petri temporel (RdP) (en anglais, time Petri net - TPN) est l'une des techniques permettant de spécifier et vérifier des systèmes dans lesquels le temps apparaît comme un paramètre quantifiable et continu. Il existe deux types de réseaux de Petri temporels: le réseau de Petri P-temporel et le réseau de Petri T-temporel. Les sémantiques formelles de ces modèles ainsi qu'une comparaison de leurs expressivités en termes de bisimulation temporelle et d'acceptation de langage temporisé ont été proposées en 2008 . (fr)
- Un réseau de Petri temporel (RdP) (en anglais, time Petri net - TPN) est l'une des techniques permettant de spécifier et vérifier des systèmes dans lesquels le temps apparaît comme un paramètre quantifiable et continu. Il existe deux types de réseaux de Petri temporels: le réseau de Petri P-temporel et le réseau de Petri T-temporel. Les sémantiques formelles de ces modèles ainsi qu'une comparaison de leurs expressivités en termes de bisimulation temporelle et d'acceptation de langage temporisé ont été proposées en 2008 . (fr)
|
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 2216 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
prop-fr:wikiPageUsesTemplate
| |
dct:subject
| |
rdfs:comment
|
- Un réseau de Petri temporel (RdP) (en anglais, time Petri net - TPN) est l'une des techniques permettant de spécifier et vérifier des systèmes dans lesquels le temps apparaît comme un paramètre quantifiable et continu. Il existe deux types de réseaux de Petri temporels: le réseau de Petri P-temporel et le réseau de Petri T-temporel. Les sémantiques formelles de ces modèles ainsi qu'une comparaison de leurs expressivités en termes de bisimulation temporelle et d'acceptation de langage temporisé ont été proposées en 2008 . (fr)
- Un réseau de Petri temporel (RdP) (en anglais, time Petri net - TPN) est l'une des techniques permettant de spécifier et vérifier des systèmes dans lesquels le temps apparaît comme un paramètre quantifiable et continu. Il existe deux types de réseaux de Petri temporels: le réseau de Petri P-temporel et le réseau de Petri T-temporel. Les sémantiques formelles de ces modèles ainsi qu'une comparaison de leurs expressivités en termes de bisimulation temporelle et d'acceptation de langage temporisé ont été proposées en 2008 . (fr)
|
rdfs:label
|
- Réseau de Petri temporel (fr)
- Réseau de Petri temporel (fr)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageWikiLink
of | |
is oa:hasTarget
of | |
is foaf:primaryTopic
of | |