IEEE - Institute of Electrical and Electronics Engineers, Inc. - The definition of an interruptible Petri nets

ICESS 2005. Second International Conference on Embedded Software and Systems

Author(s): Cheng Guangming ; Liao Minghong
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2005
Conference Location: Xian, China, China
Conference Date: 16 December 2005
ISBN (Paper): 0-7695-2512-1
DOI: 10.1109/ICESS.2005.92
Regular:

Petri nets as an important tool are more and more used in the specification, formal analysis, validation, simulation and software test of embedded system. While as an important component of... View More

Advertisement