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

نتائج البحث

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

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

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

Testing for the unboundedness of fifo channels in programs (1)

Subjects: [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]

  • Source: https://inria.hal.science/inria-00075399 ; [Research Report] RR-1159, INRIA. 1990.

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

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

Polynomial Algorithms for the Synthesis of Bounded Nets

Subjects: SYNTHESIS PROBLEM FOR NETS; PETRI NETS; REGIONS

  • Source: https://inria.hal.science/inria-00074358 ; [Research Report] RR-2316, INRIA. 1994.

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

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

The Synthesis Problem for Elementary Net Systems is NP-Complete

Subjects: SYNTHESIS PROBLEM FOR NETS; ELEMENTARY NETS SYSTEMS; REGIONS

  • Source: https://inria.hal.science/inria-00074122 ; [Research Report] RR-2558, INRIA. 1995.

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

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

Dualities between Nets and Automata Induced by Schizophrenic Objects

Subjects: SYNTHESIS PROBLEM FOR NETS; REGIONS; DUALITY

  • Source: https://inria.hal.science/inria-00074223 ; [Research Report] RR-2452, INRIA. 1995.

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

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

On the Synthesis of General Petri Nets

Subjects: SYNTHESIS PROBLEM FOR NETS; HIGHER-DIMENSIONAL AUTOMATA; POLYNOMIAL ALGORITHM

  • Source: https://inria.hal.science/inria-00073668 ; [Research Report] RR-3025, INRIA. 1996.

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

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

Splitting of Actions, Higher-Dimensional Automata, and Net Synthesis

Subjects: SYNTHESIS PROBLEM FOR NETS; HIGHER-DIMENSIONAL AUTOMATA; SPLITTING OF ACTIONS

  • Source: https://inria.hal.science/inria-00073681 ; [Research Report] RR-3013, INRIA. 1996.

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

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

Stratified Petri Nets

Subjects: SELFMODIFYING PETRI NETS; CASCADE PRODUCT; NET SYNTHESIS PROBLEM

  • Source: https://inria.hal.science/inria-00073561 ; [Research Report] RR-3128, INRIA. 1997.

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

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

A Bayes nets-based prediction/verification scheme for active visual reconstruction

Subjects: ROBOTIQUE; VA; [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO]Hong Kong; China; Hong Kong SAR China

  • Source: 3rd Asian Conf. on Computer Vision, ACCV'98, LNCS 1351https://inria.hal.science/inria-003525573rd Asian Conf. on Computer Vision, ACCV'98, LNCS 1351, 1998, Hong Kong, China, Hong Kong SAR

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

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

Deriving Unbounded Petri Nets from Formal Languages

Subjects: PETRI NETS; REGULAR LANGUAGES; CONTEXT-FREE LANGUAGES

  • Source: https://inria.hal.science/inria-00073324 ; [Research Report] RR-3365, INRIA. 1998.

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

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

Reconfigurable Nets, a Class of High Level Petri Nets Supporting Dynamic Changes within Workflow Systems

Subjects: RECONFIGURABLE NETS; WORKFLOW SYSTEMS; BOUNDEDNESS

  • Source: https://inria.hal.science/inria-00073350 ; [Research Report] RR-3339, INRIA. 1998.

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

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