Links
Third IEEE international Workshop on Factory Communication Systems
Timed Procedure Transition Petri Net (TPTPN)