Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

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

Subjects: Réseaux de Petri temporels; classes d'états; jeux temporisésToulouse; France

  • 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

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

×
Conference

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

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

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

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

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

×
Conference

Probabilistic Time Petri Nets

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

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

×
  • 1-10 ل  98 نتائج ل ""Petri""