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

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Relevance
Filter

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

Collection : Ecole Centrale Paris
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Report

Diagnosability Of Asynchronous Discrete Event Systems in Partial Order Semantics

Subjects: ASYNCHRONOUS DIAGNOSABILITY; PETRI NETS; UNFOLDINGS

  • Source: https://inria.hal.science/inria-00070750 ; [Research Report] RR-5248, INRIA. 2004, pp.25.

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

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

Modular system development with pullbacks

Subjects: CONCURRENT SYSTEMS; CATEGORY OF ASYNCHRONOUS TRANSITION SYSTEMS; PETRI NETS

  • Source: https://inria.hal.science/inria-00071758 ; [Research Report] RR-4828, INRIA. 2003.

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

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

From bounded T-systems to 1-safe T-systemsup to language equivalence

Subjects: PETRI NETS; T-SYSTEMS; MARKED GRAPHS

  • Source: https://inria.hal.science/inria-00071878 ; [Research Report] RR-4708, INRIA. 2003.

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

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

Linear Control of Live Marked Graphs

Subjects: petri nets; marked graphs; firing vectors

  • Source: https://inria.hal.science/inria-00072337 ; [Research Report] RR-4251, INRIA. 2001, pp.24.

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

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

On the Petri Net Realization of Context-Free Graphs

Subjects: INFINITE GRAPHS; GRAPH GRAMMARS; PETRI NETS

  • Source: https://inria.hal.science/inria-00072999 ; [Research Report] RR-3674, INRIA. 1999.

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

اقرأ أكثر حفظ في قائمتي
×
Dissertation/ Thesis

Supervision of distributed systems using constrained unfoldings of timed models ; Supervision de systèmes répartis utilisant des dépliages avec contraintes de modèles temporisés

Subjects: Supervision; Monitoring; Distributed real-time systems

  • Source: https://theses.hal.science/tel-00744651 ; Other [cs.OH]. École normale supérieure de Cachan - ENS Cachan, 2011. English. ⟨NNT : 2011DENS0038⟩.

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

اقرأ أكثر حفظ في قائمتي
×
Dissertation/ Thesis

Familles de graphes de présentation finie, propriétés et applications

Subjects: Opacity; Formal test generation; Regular graphs

  • Source: https://hal.science/tel-01094616 ; Théorie et langage formel [cs.FL]. Université Paris-Est, 2014.

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

اقرأ أكثر حفظ في قائمتي
×
Dissertation/ Thesis

Methodology for the derivation of product behaviour in a Software Product Line ; Méthodologie SPL pour la dérivation de modèles comportementaux des produits

Subjects: Software Product Line; Model Driven Engineering; Business process

  • Source: https://theses.hal.science/tel-00925479 ; Other [cs.OH]. Université de Rennes; Université du Luxembourg, 2013. English. ⟨NNT : 2013REN1S013⟩.

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

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

Expressing and Computing Passage Time Measures of GSPN Models with HASL

Subjects: [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]Milan; Italy

  • Source: Application and Theory of Petri Nets and Concurrency ; https://hal.science/hal-00848708 ; Application and Theory of Petri Nets and

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

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

Surgical Process Mining with Test and Flip Net Synthesis

Subjects: Petri-net synthesis; Process Mining; ProcMiningSpainBarcelona, Spain

  • Source: Application of Region Theory (ART) ; https://inria.hal.science/hal-00872284 ; Application of Region Theory (ART), Jul 2013, Barcelona, Spain. pp.43-54

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

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