Replace entry points

This PR builds on PR #50 to replace entry points with initial marking.

Before it is merged, Workflow should be updated to use `initialMarking` exclusively.