Author:
Biliński Krzysztof,Dagless Erik L.
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. P. Azema, R. Valette, and M. Diaz. Petri nets as a common tool for design verification and hardware simulation. In Proceedings of the 12th ACM/IEEE Design Automation Conference, pages 109–116. IEEE Computer Society Press, 1976.
2. G. Balbo. Performance Issues inParallel Programming. In K. Jensen, editor, Proceedings of the 13th International Conference: Application and Theory of Petri Nets, volume 616 of Lecture Notes in Computer Science, pages 1–23. Springer-Verlag, June 1992.
3. K. Bilinski, M. Adamski, J. Saul, and E. Dagless. Parallel Controller Synthesis From A Petri Net Specification. In Proceedings of the European Design Automation Conference EURO-DAC'94, pages 96–101, Grenoble, September 19–23, 1994. IEEE Computer Society Press.
4. K.S. Brace, R.L. Rudell, and R.E. Bryant. An Efficient Implamentation of a BDD package. In Proceedings of the 27th ACM/IEEE Design Automation Conference, pages 40–45. IEEE Computer Society Press, 1990.
5. R.E. Bryant. Graph-Based Algorithms for Boolean Function Manipulation. IEEE Transaction on Computers, C-35(12):1035–1043, December 1986.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Petri nets and digital hardware design;Lecture Notes in Computer Science;1998