Communication Analysis for System-On-Chip Design
Proceedings of the conference on Design, automation and test in Europe - Volume 1
Implementing Coloured Petri Nets Using a Functional Programming Language
Higher-Order and Symbolic Computation
A partial reconfigurable architecture for controllers based on Petri nets
SBCCI '04 Proceedings of the 17th symposium on Integrated circuits and system design
Metastability in Asynchronous Wait-Free Protocols
IEEE Transactions on Computers
Probabilistic performance risk analysis at system-level
CODES+ISSS '07 Proceedings of the 5th IEEE/ACM international conference on Hardware/software codesign and system synthesis
A check-points extraction method for formal verification
ISTASC'07 Proceedings of the 7th Conference on 7th WSEAS International Conference on Systems Theory and Scientific Computation - Volume 7
An efficient specification for model checking using check-points extraction method
ACS'07 Proceedings of the 7th Conference on 7th WSEAS International Conference on Applied Computer Science - Volume 7
Transactions on Petri Nets and Other Models of Concurrency I
Bottom-up performance analysis considering time slice based software scheduling at system level
CODES+ISSS '09 Proceedings of the 7th IEEE/ACM international conference on Hardware/software codesign and system synthesis
The Role of Back-Pressure in Implementing Latency-Insensitive Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Hardware and Petri nets: application to asynchronous circuit design
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
CASCADE: a tool kernel supporting a comprehensive design method for asynchronous controllers
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Automatic structure-based code generation from coloured Petri nets: a proof of concept
FMICS'10 Proceedings of the 15th international conference on Formal methods for industrial critical systems
Temporal formula specifications of asynchronous control module in model checking
ACS'06 Proceedings of the 6th WSEAS international conference on Applied computer science
Using UML activities for system-on-chip design and synthesis
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Hi-index | 0.00 |
From the Publisher:Presents a summary of the state-of-the-art in the applications of Petri nets to designing digital systems and circuits.