| 11. | In distributed token semantics the important calculus of place invariants for Petri nets remains valid.
|
| 12. | The following picture describes an algebraic Petri net model of the " dining philosophers problem ".
|
| 13. | Petri nets have also been proposed as a possible behavioral model for use with refinement types.
|
| 14. | Moreover, Petri Nets can be used to model different software systems and transitions between these systems.
|
| 15. | He then moved to studying Petri net as a paradigm for the design of complex control systems.
|
| 16. | In Figure 1 a Petri net is shown containing a token Petri net in place a .
|
| 17. | In Figure 1 a Petri net is shown containing a token Petri net in place a .
|
| 18. | CPN-AMI relies on AMI-Nets, that are Well Formed Petri Nets with syntactic facilities.
|
| 19. | In recent years research has shown that Petri Nets can contribute to the development of business process integration.
|
| 20. | The configuration of tokens distributed over an entire Petri net diagram is called a " marking ".
|
