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 ".
