Petri Net Security Checker: Structural Non-interference at Work