Interval diagram techniques for symbolic model checking of Petri nets

Authors:
Karsten Strehl;Lothar Thiele
Affiliations:
Computer Engineering and Networks Lab, Swiss Federal Institute of Technology, Switzerland;Computer Engineering and Networks Lab, Swiss Federal Institute of Technology, Switzerland
Venue:
DATE '99 Proceedings of the conference on Design, automation and test in Europe
Year:
1999

Graph-Based Algorithms for Boolean Function Manipulation

IEEE Transactions on Computers
Symbolic model checking: 1020 states and beyond

Information and Computation - Special issue: Selections from 1990 IEEE symposium on logic in computer science
Symbolic model checking of process networks using interval diagram techniques

Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design
Petri Net Analysis Using Boolean Manipulation

Proceedings of the 15th International Conference on Application and Theory of Petri Nets

Scheduling hardware/software systems using symbolic techniques

CODES '99 Proceedings of the seventh international workshop on Hardware/software codesign
Symbolic Representation of Upward-Closed Sets

TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets

TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Model checking EGF on basic parallel processes

ATVA'11 Proceedings of the 9th international conference on Automated technology for verification and analysis

Hi-index	0.00