Use of Petri nets for resource allocation in projects | Synapse