Bisimulation non-interference analysis of bounded Petri nets.

Ning Ran, Jinyuan Hao, Zhou He, Mauro Franceschelli, Carla Seatzu

Browse the full CoDIT paper archive.