Based Access Control -- ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri