A-Nets: Structured representation of time and actions using Petri nets