Publicação: Exception handling with Petri net for digital systems
| dc.contributor.author | De Oliveira, W. L.A. | |
| dc.contributor.author | Marranghello, N. [UNESP] | |
| dc.contributor.author | Damiani, F. | |
| dc.contributor.institution | Universidade Estadual de Campinas (UNICAMP) | |
| dc.contributor.institution | Universidade Estadual Paulista (UNESP) | |
| dc.date.accessioned | 2022-04-29T07:35:48Z | |
| dc.date.available | 2022-04-29T07:35:48Z | |
| dc.date.issued | 2002-01-01 | |
| dc.description.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. | en |
| dc.description.affiliation | DSIF/FEEC/Unicamp | |
| dc.description.affiliation | DCCE/Ibilce/Unesp | |
| dc.description.affiliationUnesp | DCCE/Ibilce/Unesp | |
| dc.description.sponsorship | Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) | |
| dc.description.sponsorshipId | FAPESP: 99/04321-7 | |
| dc.format.extent | 229-234 | |
| dc.identifier | http://dx.doi.org/10.1109/SBCCI.2002.1137663 | |
| dc.identifier.citation | Proceedings - 15th Symposium on Integrated Circuits and Systems Design, SBCCI 2002, p. 229-234. | |
| dc.identifier.doi | 10.1109/SBCCI.2002.1137663 | |
| dc.identifier.scopus | 2-s2.0-84965124905 | |
| dc.identifier.uri | http://hdl.handle.net/11449/228147 | |
| dc.language.iso | eng | |
| dc.relation.ispartof | Proceedings - 15th Symposium on Integrated Circuits and Systems Design, SBCCI 2002 | |
| dc.source | Scopus | |
| dc.title | Exception handling with Petri net for digital systems | en |
| dc.type | Trabalho apresentado em evento | |
| dspace.entity.type | Publication | |
| unesp.campus | Universidade Estadual Paulista (UNESP), Instituto de Biociências Letras e Ciências Exatas, São José do Rio Preto | pt |
| unesp.department | Ciências da Computação e Estatística - IBILCE | pt |