Title :
Exception handling with Petri net for digital systems
Author :
De Oliveira, Wagner Luiz Alves ; Marranghello, Norian ; Damiani, Furio
Author_Institution :
DSIF, UNICAMP, Brazil
Abstract :
Petri net is a language for system modeling. Petri net extensions achieve a wide range of applications, such as: communication protocols, programming languages, computer architectures, distributed systems, industrial process control. These extensions allow the description of parallel systems, which can be simulated at the temporal, logical, and functional levels with reasonable simplicity. Such extensions have some limitations when describing digital systems. This paper presents an extension to overcome the existing limitations. Emphasis is placed on PNDS mechanisms aimed at exception handling.
Keywords :
Petri nets; digital systems; exception handling; hardware-software codesign; PNDS mechanisms; Petri net extensions; Petri net for digital systems; Petri net system modeling language; communication protocols; computer architectures; digital systems description limitations; distributed systems; exception handling; functional level simulation; industrial process control; logical level simulation; parallel systems description; programming languages; temporal level simulation; Application software; Communication industry; Computer architecture; Computer industry; Computer languages; Digital systems; Electrical equipment industry; Industrial control; Modeling; Protocols;
Conference_Titel :
Integrated Circuits and Systems Design, 2002. Proceedings. 15th Symposium on
Print_ISBN :
0-7695-1807-9
DOI :
10.1109/SBCCI.2002.1137663
