Next:
Efficient state-space exploration of
Up:
main
Previous:
General results on methodology
New tools and techniques
Subsections
Efficient state-space exploration of Petri nets
Incremental Construction of Abstractions
Slicing techniques
The TReX tool
Counting the elements of finite-state set representations