Research ArticleOpen accessIn the keywordsThe Definition of Extended High-level Timed Petri NetsCheng Guangming, Liao Minghong, Wu XianghuMany extensions of Petri nets have been proposed to model the behaviors and time relations of embedded system, yet these models are all based on some assumptions about the behaviors of embedded systems. Especially they all do not have the actual ability to model interrupt mechanism of embedded system. A new net which is called Extended High Level Timed Petri … …Journal of Computer Science, Vol. 2, Issue 2 · 28 Feb 2006 · 7,039 accessesView PDFCite