VERIFICATION APPROACH FOR COMPOSITlONAL HIERARCHICAL TIME PETRI-NETS.POMPES PAR TRANSITIONS MULTIPLES

منو

" VERIFICATION APPROACH FOR COMPOSITlONAL HIERARCHICAL TIME PETRI-NETS.POMPES PAR TRANSITIONS MULTIPLES "

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]