Search
Now showing items 1-3 of 3
Reachability Analysis of Petri-nets by FPGA Based Accelerators
([s. n.], 1998)
Reachability and Timing Analysis in Data Flow Networks: A Case Study
(IEEE Computer Society Press, 1996)
Hardware Accelerators for Petri-net Analysis
(Univ. Wien, 1998)