-
Dependability assessment of large railway systems
International audience -
ESA PetriNet: Petri net Based Tool for Reliability Analysis
International audience -
Petri Net - Based Controller Synthesis for Discrete Event Systems
The place-invariants method is one of the most popular controller synthesis approaches for Petri net (PN) modeled DES. Unfortunately, the observance of the constraints... -
Development of a modeling method for assessing the performance of fire safety...
Nowadays in France, building fire safety strategy performance analysis relies on a fire engineering study. This kind of study aims at calculating fire risk for several... -
Intégration d'Éléments Sémantiques dans l'Analyse d'Ordonnançabilité des Appl...
We study the modeling and the o -line validation of real-time applications in uniprocessor environment, wich take explicitly the exchange of messages, resource sharing... -
Synthesis and Analysis of Product-form Petri Nets
This is a version including proofs of the conference paper: Haddad, Mairesse and Nguyen. Synthesis and Analysis of Product-form Petri Nets. Accepted at the conference Petri Nets... -
Decision making based on the EHF integration in a complex semiconductor manuf...
International audience -
Modeling and simulation of blood collection systems
International audience -
XML manipulation by non-expert users
Computers and the Internet are everywhere nowadays, in every home, domain and field. Communications between users, applications and heterogeneous information systems... -
Petri Algebras
The firing rule of Petri nets relies on a residuation operation for the commutative monoid of natural number. We identify a class of residuated commutative monoids,... -
Diagnosability Of Asynchronous Discrete Event Systems in Partial Order Semantics
In truly asynchronous, distributed systems, neither global state nor global time are available. Automata-based diagnosis therefore reaches its limitations there; a... -
Social Mobility : models and traces
Future of communication is perceived as being almost exclusively composed of mobile nodes operating in a mobile network. In this context, different approaches... -
Symbolic and Asynchronous Semantics via Normalized Coalgebras
International audience -
Towards a Formal Approach for the Regeneration of PILOT Control System
International audience -
A Modelling Approach to Control a Handicap Technical Assistance System
This dataset has no description
-
The Wadge Hierarchy of Petri Nets omega-Languages
International audience -
A component-based approach based on High-Level Petri Nets for modeling Distri...
International audience -
On the conflict with dioid algebra: Autonomous Intersection Management
International audience -
A petri net interpretation of open reconfigurable systems
International audience -
$Z(T_N )$-Observability and control of parallel multicell chopper using Petri...
International audience
