Timed Petri Nets with Reset for Pipelined Synchronous Circuit Design - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

Timed Petri Nets with Reset for Pipelined Synchronous Circuit Design

Résumé

This paper introduces an extension of Timed Petri Nets for the modeling of synchronous electronic circuits, addressing pipeline design problems. Petri Nets have been widely used for the modeling of electronic circuits. In particular, Timed Petri Nets which capture timing properties are perfectly suited for scheduling problems. Our extension, through reset that model the pipeline stages, and through delayable transitions that relax timing constraints, allows to widen the conception space of pipelined systems. After discussing maximal-step firing rule and the semantics of Timed Petri Nets "à la Ramchandani", we define our Timed Petri Nets with reset and delayable (non-asap) transitions. We then study the decidability and the complexity of the main problems of interest. We propose an abstraction of the state space. We then establish a translation of this model into a single-clock timed automata, which preserves the language. This translation settles the decidability on language inclusion and universality problems. Finally, an algorithm for the exploration of the state space is provided, and can be driven by the optimisation of various properties of the pipeline.
Fichier principal
Vignette du fichier
PetriNets2021.pdf (389.57 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03266806 , version 1 (22-06-2021)

Identifiants

Citer

Rémi Parrot, Mikaël Briday, Olivier H Roux. Timed Petri Nets with Reset for Pipelined Synchronous Circuit Design. 42nd International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2021, Paris, France. pp.55-75, ⟨10.1007/978-3-030-76983-3_4⟩. ⟨hal-03266806⟩
72 Consultations
277 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More