Interval diagram techniques for symbolic model checking of Petri nets

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Interval diagram techniques for symbolic model checking of Petri nets

Full text

Pdf (54 KB)

Source

Design, Automation, and Test in Europe archive
Proceedings of the conference on Design, automation and test in Europe table of contents

Munich, Germany

Article No. 14

Year of Publication: 1999

ISBN:1-58113-121-6

Authors

Karsten Strehl	Computer Engineering and Networks Lab, Swiss Federal Institute of Technology, Switzerland
Lothar Thiele	Computer Engineering and Networks Lab, Swiss Federal Institute of Technology, Switzerland

Sponsor

SIGDA: ACM Special Interest Group on Design Automation

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 5, Downloads (12 Months): 14, Citation Count: 1

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/307418.307452 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Randal E. Bryant, Graph-Based Algorithms for Boolean Function Manipulation, IEEE Transactions on Computers, v.35 n.8, p.677-691, August 1986 [doi>10.1109/TC.1986.1676819]
	2	J. R. Burch , E. M. Clarke , K. L. McMillan , D. L. Dill , L. J. Hwang, Symbolic model checking: 1020 states and beyond, Information and Computation, v.98 n.2, p.142-170, June 1992 [doi>10.1016/0890-5401(92)90017-A]
	3	Enric Pastor , Oriol Roig , Jordi Cortadella , Rosa M. Badia, Petri Net Analysis Using Boolean Manipulation, Proceedings of the 15th International Conference on Application and Theory of Petri Nets, p.416-435, June 20-24, 1994
	4	[4] A. Srinivasan, T. Kam, S. Malik, and R. K. Brayton. Algorithms for discrete function manipulation. In Proceedings of the IEEE International Conference on Computer-Aided Design, 1990.
	5	Karsten Strehl , Lothar Thiele, Symbolic model checking of process networks using interval diagram techniques, Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design, p.686-692, November 08-12, 1998, San Jose, California, United States [doi>10.1145/288548.289117]