PetriBaR: A MATLAB Toolbox for Petri Nets Implementing Basis Reachability Approaches
Liu, Siqi, Tong, Yin, Seatzu, Carla, Giua, AlessandroVolume:
51
Year:
2018
Language:
english
Journal:
IFAC-PapersOnLine
DOI:
10.1016/j.ifacol.2018.06.319
File:
PDF, 569 KB
english, 2018