Skip to Main content Skip to Navigation

Contribution to the study of weighted Petri nets

Thomas Hujsa 1
1 ALSOC - Architecture et Logiciels pour Systèmes Embarqués sur Puce
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : Many real systems and applications, including flexible manufacturing systems and embedded systems, are composed of communicating tasks and may be modeled by weighted Petri nets. The behavior of these systems can be checked on their model early on at the design phase, thus avoiding costly simulations on the designed systems. Usually, the models should exhibit three basic properties: liveness, boundedness and reversibility.Liveness preserves the possibility of executing every task, while boundedness ensures that the operations can be performed with a bounded amount ofresources. Reversibility avoids a costly initialization phase and allows resets of the system.Most existing methods to analyse these properties have exponential time complexity.By focusing on several expressive subclasses of weighted Petri nets, namely Fork-Attribution, Choice-Free, Join-Free and Equal-Conflict nets,the first polynomial algorithms that ensure liveness, boundednessand reversibility for these classes have been developed in this thesis.First, we provide several polynomial time transformations that preserve structural andbehavioral properties of weighted Petri nets, while simplifying the study of their behavior.Second, we use these transformations to obtain several polynomial sufficient conditions of livenessfor the subclasses considered. Finally, the transformations also prove useful for the study of the reversibility propertyunder the liveness assumption. We provide several characterizations and polynomial sufficient conditionsof reversibility for the same subclasses. All our conditions are scalable and can be easily implemented in real systems.
Document type :
Complete list of metadatas
Contributor : Abes Star :  Contact
Submitted on : Saturday, March 7, 2015 - 2:26:00 AM
Last modification on : Friday, January 8, 2021 - 5:32:08 PM
Long-term archiving on: : Monday, June 8, 2015 - 2:21:24 PM


Version validated by the jury (STAR)


  • HAL Id : tel-01127406, version 1


Thomas Hujsa. Contribution to the study of weighted Petri nets. Modeling and Simulation. Université Pierre et Marie Curie - Paris VI, 2014. English. ⟨NNT : 2014PA066342⟩. ⟨tel-01127406⟩



Record views


Files downloads