1. 1 CPN Tools Future work

2. 2 Overview Language extensions Manual simulation Analysis techniques Editing Other

3. 3 Language extensions Queue places Bounded places Channels

4. 4 FIFO places

5. 5 Bounded places

6. 6 Channels Sort of like place fusions

7. 7 Manual simulation Choosing bindings Break points

8. 8 Choosing bindings (1)

9. 9 Choosing bindings (2) v BIND : 20 > n = ? > p = ? > r = ? > s = 8

10. 10 Choosing bindings (3) v BIND : 20 > n = ? > p = ? v r = ? * 1 * 2 * 3 * 4 * 5 * 6 * 7 * 8 * 9 * 10 > s = 8

11. 11 Choosing bindings (4) v BIND : 2 > n = ? > p = ? r = 7 s = 8

12. 12 Choosing bindings (5) v BIND : 1 n = 3 p = "TE" r = 7 s = 8

13. 13 Choosing bindings (6) Index on the transition instance Free variables belong to small color sets, eg. – Boolean – Enumeration Problems – Combinatory – Many tokens

14. 14 Break points Net specific – Number of tokens on a place – Enabling information Arbitrary ML functions

15. 15 Analysis techniques Performance analysis – Mean list length – Mean token amount – Etc. Advanced state space reduction techniques – Equivalence classes – Sweep line method – Symmetry method

16. 16 Editing Additional alignment possibilities Deeper index representation of nets – Change information on page elements in the index Clone of declarations Change font and font size Etc.

17. 17 Other Linux and Mac versions Use of PNML Chinese version – General solution to support other language – Standard ML limits the translation of simulator messages