Building a PN Model: Example Task Ordering
tasks are associated with the places or with the transitions
A transition firing represent the
execution of a task. The input
of a transition are the conditions
A transition firing represents the
beginning or the end of a task
execution. A marked place
represents a task in execution
Building a Petri net Model