1. Interval timed coloured petri nets and their analysis;Aalst,1993
2. The application of petri nets to workflow management;Aalst;Journal of circuits, systems, and computers,1998
3. A calculus for access control in distributed systems;Abadi;ACM Transactions on Programming Languages and Systems,1993
4. Event-condition-action systems for reconfigurable logic control;Almeida;IEEE Transactions on Knowledge and Data Engineering,2007
5. An agent-based approach for policy enforcement in secure workflow systems;Alotaibi,2010