Unfoldings of Bounded Hybrid Petri Nets. - Petr Novosad; Milan Ceska 001 (EUROCAST (1), 2011)

Algorithm for Computing Unfoldings of Unbounded Hybrid Petri Nets. - Petr Novosad; Milan Ceska 001 (EUROCAST (1), 2013)