Reachability Analysis of Petri-nets by FPGA Based Accelerators

TitleReachability Analysis of Petri-nets by FPGA Based Accelerators
Publication TypeConference Paper
Year of Publication1998
AuthorsCsertán, G., Majzik, I., Pataricza, A., and Allmaier, S.
Conference NameProc. Design and Diagnostics of Electronic Circuits and Systems Workshop (DDECS'98)
Date Published1998
URLhttp://mycite.omikk.bme.hu/doc/16325.pdf