خط مشی دسترسیدرباره ما
ثبت نامثبت نام
راهنماراهنما
فارسی
ورودورود
صفحه اصلیصفحه اصلی
جستجوی مدارک
تمام متن
منابع دیجیتالی
رکورد قبلیرکورد بعدی
Document Type : Latin Dissertation
Language of Document : English
Record Number : 154622
Doc. No : ET26414
Main Entry : LAN CHEN
Title Proper : VERIFICATION APPROACH FOR COMPOSITlONAL HIERARCHICAL TIME PETRI-NETS.POMPES PAR TRANSITIONS MULTIPLES
Note : This document is digital این مدرک بصورت الکترونیکی می باشد
Abstract : Although Petri nets (PNs) have for many years been applied as a formal modelin which one could describe and analyze systems, it can be argued that they are notwidely used in industrial-sized systems. The main reason for this can be attributed to alack of compositionality which means that PNs were unable to deal with large complexor even midsized systems. A useful idea for this problem is to handle the complexity ofsystems by composing them out of smaller components. In the past decade, Many.
Subject : Electericl tess
: برق
electronic file name : TL50687.pdf
Title and statement of responsibility and : VERIFICATION APPROACH FOR COMPOSITlONAL HIERARCHICAL TIME PETRI-NETS.POMPES PAR TRANSITIONS MULTIPLES [Thesis]
 
 
 
(در صورت عدم وضوح تصویر اینجا را کلیک نمایید)