In: Proc. 2nd Workshop on Hardware Design and Petri Nets (HWPN'99) of the 20th Int. Conf. on Application and Theory of Petri Nets (PN'99), 21 June 1999, Williamsburg, VA, pages 101-112. 1999.
Abstract: Reactive embedded systems have intricate control requirements and concurrency. Moreover, they often perform data transformations are are specified with exceptions. Petri nets offer many features promising their successful applications as formal model for such systems, including inherent concurrency, asynchronous execution and distributed state. However, they lack the concept of exception handling as well as satisfactory hierarchy and data path representation. In result, this potentially powerful formalism is hardly used in hardware/software co-design. This paper defines a model for embedded systems based on Petri nets with all the properties needed for such a purpose.
Keywords: Petri nets, data path representation, exception conditions, exception handling, reactive embedded systems.