PETRI NET-BASED MODELING OF A CLASS OF COMPLEX DIGITAL-SYSTEMS

Authors
JAYARAM R RAMAN S RAJ RV PATNAIK LM
Citation
R. Jayaram et al., PETRI NET-BASED MODELING OF A CLASS OF COMPLEX DIGITAL-SYSTEMS, Computers & electrical engineering, 23(1), 1997, pp. 41-53
Citations number
17
Categorie Soggetti
Computer Application, Chemistry & Engineering","Computer Science Hardware & Architecture","Computer Science Interdisciplinary Applications","Engineering, Eletrical & Electronic
Journal title
Computers & electrical engineering → ACNP
ISSN journal
00457906
Volume
23
Issue
1
Year of publication
1997
Pages
41 - 53
Database
ISI
SICI code
0045-7906(1997)23:1<41:PNMOAC>2.0.ZU;2-K
Abstract
We present through the use of Petri Nets, modeling techniques for digi tal systems realizable using FPGAs. These Petri Net models are used fo r logic validation at the logic design phase. The technique is illustr ated by modeling practical circuits. Further, the utility of the techn ique with respect to timing analysis of the modeled digital systems is considered. Copyright (C) 1997 Elsevier Science Ltd