Achieving Atomicity of Tokens in Time Petri Nets: An Approach Based on Virtual Tokens | IEEE Conference Publication | IEEE Xplore