Temporal extensions of Petri nets
Petri nets: Theory and implementation

Add to my library

S7254 V2 Article

Temporal extensions of Petri nets


Petri nets: Theory and implementation

Authors : David DELFIEU, Olivier Henri ROUX, Robert VALETTE

Publication date: May 10, 2025 | Lire en français

Add to my library Add to my library

Logo Techniques de l'Ingenieur You do not have access to this resource.
Request your free trial access! Free trial

Already subscribed?

3. Temporal extensions of Petri nets

To take into account the quantitative temporal constraints of real-time systems, Petri nets have been extended with temporal information associated with places, transitions or arcs (see for a comparative study).

In these temporal extensions of Petri nets, two types of semantics can be envisaged for the flow of time. In the strong semantics, time flow cannot desensitize transitions, whereas in the weak semantics, all delays are allowed. In the strong semantic, time allows the modeling...

You do not have access to this resource.
Logo Techniques de l'Ingenieur

Exclusive to subscribers. 97% yet to be discovered!

You do not have access to this resource. Click here to request your free trial access!

Already subscribed?


Article included in this offer

"Control and systems engineering"

( 143 articles )

Complete knowledge base

Updated and enriched with articles validated by our scientific committees

Services

A set of exclusive tools to complement the resources

View offer details

Dans les ressources documentaires

Méthodes de diagnostic de systèmes multiphysiques

De nos jours, dans une logique de compétitivité accrue pour les entreprises, la réduction des coûts de pr...

Logiciels de modélisation des structures : analyse de l’offre

Cet article s'intéresse au choix d'un logiciel de modélisation des structures par l'analyse de l'offre co...

Diagnostic des Systèmes dynamiques hybrides (SDH)

Le diagnostic des Systèmes Dynamiques Hybrides (SDHs) nécessite l'exploitation conjointe de la dynamique ...

Vérification, validation et test des systèmes complexes

De nos jours, le test des systèmes complexes n’est pas aisé et les délais alloués aux équipes de validati...

Tous les livres blancs
Toutes les actualités
Contact us