Source: Modélisation des Systèmes Réactifs (MSR'23) ; https://hal.science/hal-04465232 ; Modélisation des Systèmes Réactifs (MSR'23), CNRS, Nov 2023, Toulouse, France

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Academic Journal

Design and verification of pipelined circuits with Timed Petri Nets

Authors : Parrot, Rémi; Briday, Mikaël; Roux, Olivier ...

Subjects: pipeline optimization model checking Timed Petri Net resource sharing time-multiplexing synchronous circuit; pipeline optimization; model checking

Source: ISSN: 0924-6703.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Academic Journal

Model-Checking of Concurrent Real-Time Software Using High-Level Colored Time Petri Nets with Stopwatches

Authors : Haur, Imane; Béchennec, Jean-Luc; Roux, Olivier H. ...

Subjects: Multi-core execution; High-level Colored Time Petri Nets with stopwatches; Model-checking

Source: ISSN: 0196-9722.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

High-level Colored Time Petri Nets for true concurrency modeling in real-time software

Authors : Haur, Imane; Béchennec, Jean-Luc; Roux, Olivier ...

Subjects: Multi-core execution High-level Colored Time Petri Nets Model-checking; Multi-core execution; High-level Colored Time Petri NetsIstanbul; Turkey

Source: 2022 8th International Conference on Control, Decision and Information Technologies (CoDIT)https://hal.science/hal-038722072022 8th International Conference on Control, Decision and

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Expressiveness and analysis of Delayable Timed Petri Net

Authors : Parrot, Rémi; Boucheneb, Hanifa; Briday, Mikaël ...

Subjects: Delayable Timed Petri Net; Reachability analysis; Time Petri NetPrague; Czech Republic

Source: 16th IFAC Workshop on Discrete Event Systems WODES 2022https://hal.science/hal-0395259916th IFAC Workshop on Discrete Event Systems WODES 2022, IFAC, Sep 2022, Prague, Czech Republic.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

A Lazy Query Scheme for Reachability Analysis in Petri Nets

Authors : Jezequel, Loïg; Lime, Didier; Sérée, Bastien ...

Subjects: Reachability analysis; unbounded Petri nets; inhibitor arcsParis; France

Source: International Conference on Applications and Theory of Petri Nets and Concurrency ; https://hal.science/hal-03561703 ; International Conference on Applications and

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Academic Journal

Petri Nets to Arduino (PN2A) Embedding Time Petri Nets into a Microcontroller Architecture ; Des réseaux de Petri à Arduino. Comment embarquer des réseaux de Petri Temporelx sur une architecture à micro-controller

Authors : Delfieu, David; Comlan, Maurice;

Subjects: Firing semantics; Embedded systems; Code generation

Source: ISSN: 2664-9543 ; SCEE ; https://hal.science/hal-02454089 ; SCEE, 2019, 1 (2), pp.12-25 ; http://paper.ieti.net/scee/2019Volume1Issue2/paper_0202_2612.pdf.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Probabilistic Time Petri Nets

Authors : Emzivat, Yrvann; Delahaye, Benoit; Lime, Didier ...

Subjects: Markov decision processes; state classes; probabilistic systemsTorun; Poland

Source: 37th INTERNATIONAL CONFERENCE ON APPLICATIONS AND THEORY OF PETRI NETS AND CONCURRENCYhttps://hal.science/hal-0159090037th INTERNATIONAL CONFERENCE ON

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

نتائج البحث

فلترة النتائج

Colored Petri Nets for Modeling and Simulation of a Green Supply Chain System ⋆

A State Class Based Controller Synthesis Approach for Time Petri Nets

Synthèse de contrôleur pour les réseaux de Petri temporels basée sur les classes d'états

Design and verification of pipelined circuits with Timed Petri Nets

Model-Checking of Concurrent Real-Time Software Using High-Level Colored Time Petri Nets with Stopwatches

High-level Colored Time Petri Nets for true concurrency modeling in real-time software

Expressiveness and analysis of Delayable Timed Petri Net

A Lazy Query Scheme for Reachability Analysis in Petri Nets

Petri Nets to Arduino (PN2A) Embedding Time Petri Nets into a Microcontroller Architecture ; Des réseaux de Petri à Arduino. Comment embarquer des réseaux de Petri Temporelx sur une architecture à micro-controller

Probabilistic Time Petri Nets

اتصل بنا

اتبع