Search | Science Publications

Articles where this person is an author, newest first. People are matched by their name as printed (no ORCID iD is recorded for them), not by name alone; search the name as text to find namesakes too.

Research ArticleOpen accessThe 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 PDF Cite