Demonstration Tools for Petri Nets

1
Demonstration Tools for Petri Nets

• Wouter de Zwijger
• Advisor dr. Jetty Kleijn

2
Overview

• Overview
• Motivation
• Elementary net systems
• Net properties
• Tool criteria
• Selection of different tools
• Chosen tool in detail
• Examples

3
Motivation

• Different net types
• Tools are mostly industrial orientated
• Tool required for better understanding
• Support in education
• Main focus on simple nets i.e. elementary net
  systems and p/t-nets

4
Elementary Net systems vs p/t-nets

• A place can have at most one token
• A transition must have at least one input and one
  output place
• No self loops
• Fire rule also depended on output places
• Causality, concurrency , conflict

5
Elementary Net systems vs p/t-nets

• Elementary net system

• P/t -net

6
Elementary Net systems vs p/t-nets

• P/t -net

• Elementary net system

7
Elementary Net systems vs p/t-nets

• Elementary net system

• P/t -net

8
Elementary Net systems as p/t-nets

• capacity

Cap 2
9
Net properties

• processes
• Configuration graph
• Siphons and traps
• invariants

10
Configuration graph
11
Configuration graph
12
Siphons traps

• Siphon a group of places where the total number
  of tokens in this siphon can not increase.

• Trap a group of places where the total number of
  tokens in this trap can not decrease

13
Place Invariants
P2 P4 P6 1 P1 P3 P5 1
14
Tools basic Requirements

• Start free in price gtgt easy to get
• Easy to install
• Graphical representation

15
Functional requirements

• Net types
• EN systems, p/t-nets...
• Graphical environment
• Token game
• Configuration graph
• Net properties
• Modifiable

16
Tools triedCPN tools

• Pro's
• High level nets
• Nice interfaceCons
• Not open source
• Does not support EN systems

17
Tools triedWoPeD

• Pro's
• Open source
• Has all required functionality
• Cons
• No EN system support
• No p/t-nets with capacity

18
Tools triedNetLab

• Pro's
• Open source
• p/t-nets with capacity
• Cons
• Text based configuration graph

19
Tools triedPipe2

• Pro's
• Open source
• Nice configuration graph
• p/t-nets with capacity
• Java, so platform independent
• Cons
• Contain some bugs

20
Tools triedPetriLLD

• Pro's
• Open source
• EN system support
• Cons
• No analysing modules
• Bad interface
• Very basic

21
Tools triedbasic java applications

• Pro's
• No install required
• EN system support
• Cons
• Limited in functionality
• Not open source

22
Pipe2 features

• Graphical interface
• Token game
• Open source
• Analyse tools by modules
• Java, so platform independent

23
Modifications and new modules

• Bugs
• Load bug fix
• Minimal Siphons and traps bug fix
• New modules
• EN validator module
• Process generator (for EN systems only)

24
Examples, vb , ect

• Try it yourself )