Result of the Questionnaire
(preliminary to the reflexion of building an exchange format standard)

Introduction

Please find here the answers to the questionnaire dedicated to the definition of the main characteristics of Petri net dialects used in tools. If you have problems viewing this BIG table (It is possible with Netscape), you can get the pdf file here.

Objectives of this form

The aim of this form is to gather information about current tools for editing dialects of Petri nets. This information will be used for defining a common XML representation of models. Such a common representation will be of great help for allowing seamless integration of Petri nets based editing tools.

This questionnaire does not focuse on Tool functions themselves.

Registered Petri nets tools

tool information

Tool

PN dialect

PN type

PN-type if others

email

URL

Origin

Artifex

Extended Petri Nets

High level nets

info@artis-software.com

http://www.artis-software.com

Company

CoopnTools

CO-OPN

Others

O-O algebraic Petri nets

Didier.Buchs@epfl.ch

http://lglwww.epfl.ch/Conform

Academic (free)

CPN-AMI

AMI-Nets

Well Formed Colored Nets

Fabrice.Kordon@lip6.fr

http://www-src.lip6.fr/CPN-AMI

Academic (free)

DaNAMiCS

GSPNs

Colored Nets

idavies@cs.uct.ac.za

http://www.cs.uct.ac.za/Research/DNA/DaNAMiCS/

Academic (sold)

DAWN Tool (based on the PNK)

DAWN nets

Others

Algebraic net schemes

kindler@informatik.hu-berlin.de

http://www.informatik.hu-berlin.de/top/Projekte/Tools/index-eng.html#DAWNtool

Academic (free)

Design/CPN

Coloured Petri Nets

Colored Nets

khm@daimi.au.dk

http://www.daimi.au.dk/designCPN/

Academic (free)

DSPNexpress 2000

DSPNs

Place/Transition nets

dspn@ls4.cs.uni-dortmund.de

http://www4.cs.uni-dortmund.de/~Lindemann/

Academic (free)

EDS Petri Net Tool

Predicate nets

Others

Stochastic Timed Coloured Nets

ptrmrgn@attglobal.net

Company

ExSpect

ExSpect-Nets

High level nets

exspect@bakkenist.nl

http://www.exspect.com/

Company

GreatSPN

GSPN, SWN

Others

both Stochastic & WellFormed

greatspn@di.unito.it

http://www.di.unito.it/~greatspn

Academic (free)

HiQPN-Tool

Queueing Petri Nets

Others

Hierachical Stoch.PNs + queues

bause@ls4.cs.uni-dortmund.de

http://ls4-www.informatik.uni-dortmund.de/QPN

Academic (free)

INCOME Process Designer

Extended petri pets

Predicate/transition

Carsten.Gentner@promatis.de

http://www.promatis.com

Company

Integrated Net Analyzer INA

PNT-Nets

Others

Place/Transition, Colored Nets

roch@informatik.hu-berlin.de

http://www.informatik.hu-berlin.de/lehrstuehle/automaten/ina/

Academic (free)

LoLA

place/transition nets

Place/Transition nets

kschmidt@informatik.hu-berlin.de

http://www.informatik.hu-berlin.de/~kschmidt/lola.html

Academic (free)

Maria

Algebraic System Nets

High level nets

msmakela@saturn.tcs.hut.fi

http://www.tcs.hut.fi/Software/maria/

Academic (free)

MISS-RdP

MISS-RdP nets

High level nets

jean-claude.hochon@ixi.fr

http://www.ixi.fr/tools/

Company

Moses Tool Suite

Compositional PN Structures

High level nets

janneck@tik.ee.ethz.ch

http://www.tik.ee.ethz.ch/~moses

Academic (free)

PACE

Extended Petri Nets

High level nets

info@ibepace.com

http://www.ibepace.com

Company

PED

Place/Transition nets

Place/Transition nets

ped@informatik.tu-cottbus.de

http://www-dssz.informatik.tu-cottbus.de/~wwwdssz/software/ped.html

Academic (free)

PEP

M-nets

High level nets

pep_help@informatik.uni-oldenburg.de

theoretica.informatik.uni-oldenburg.de/~pep

Academic (free)

PetriSim

Time-nets

Place/Transition nets

jskl1@stator.um.edu.mt

http://staff.um.edu.mt/jskl1/petrisim/index.html

Academic (free)

PetShop

Cooperative Objects

Others

Cooperative Objects

bastide@cict.fr

Others

PN-COS

SPN (Strucrured Petri Nets)

High level nets

hel@cos.ru

http://www.cos.ru

Academic (sold)

PNSim

?

Place/Transition nets

markatatos@iname.com

http://www.elyros.com/PNSim/

Academic (free)

PNtalk

OOPN/PNtalk

Others

Object-Oriented Petri Nets

vojnar@dcse.fee.vutbr.cz

http://www.fee.vutbr.cz/~janousek/pntalk

Academic (free)

Poses++

? language we call also Poses

High level nets

poses@gpc.de

http://www.gpc.de

Company

PROD

PROD-Nets

Predicate/transition

Kimmo.Varpaaniemi@hut.fi

http://www.tcs.hut.fi/Software/prod/index.html

Academic (free)

Renew

reference nets

High level nets

support@renew.de

http://renew.de

Academic (free)

SEA

Extended Pr/T-Nets

Predicate/transition

car@c-lab.de

http://www.c-lab.de/sea

Academic (free)

SYROCO

CoOperative Objects

High level nets

sibertin@univ-tlse1.fr

http://www.univ-tlse1.fr/CERISS/Syroco.html

Academic (free)

The Model Checking Kit

various dialects

High level nets

mckit@in.tum.de

http://wwwbrauer.informatik.tu-muenchen.de/gruppen/theorie/KIT/

Academic (free)

TimeNET

(coloured)eDSPN, DDSPN

Others

coloured non-markovian nets

timenet@cs.tu-berlin.de

http://pdv.cs.tu-berlin.de/forschung/timenet/

Academic (free)

VIPtool

VIPmodel Nets

High level nets

tfr@aifb.uni-karlsruhe.de

http://www.aifb.uni-karlsruhe.de/InfoSys/VIP/overview/

Academic (free)

WebSPN

NMSPN

Others

Non Markovian Stochastic Nets

mscarpa@iit.unict.it, apulia@iit.unict.it

http://sun195.iit.unict.it/WebSPN

Academic (free)

Woflan

TPN-Nets

Place/Transition nets

h.m.w.verbeek@tm.tue.nl

http://www.win.tue.nl/~woflan

Academic (free)

Petri net definitions

Tool

Color domain or type

Color function or operation

Extra elements

black token

finite/enumeration

product of finite domain

any type definition

product of any type

Others

constant

identity

produc/record

modulo successor

modulo predecessor

broadcast

marking dependent functions

any user fuction

Sigma-algebra

Others

Artifex

Yes

No

No

Yes

Yes

No

Yes

No

No

No

No

Yes

No

Yes

No

No

  • queues

CoopnTools

No

No

No

No

Yes

No

No

No

No

No

No

No

No

No

Yes

No

CPN-AMI

Yes

Yes

Yes

No

No

No

Yes

Yes

Yes

Yes

Yes

Yes

No

No

No

No

DaNAMiCS

Yes

Yes

No

No

No

No

Yes

No

No

No

No

No

No

No

No

No

DAWN Tool (based on the PNK)

No

No

No

Yes

No

No

No

No

No

No

No

Yes

No

No

Yes

No

  • Specification of algebras
  • Concrete Algebras

Design/CPN

Yes

Yes

Yes

Yes

Yes

Yes

Yes

Yes

Yes

Yes

Yes

Yes

Yes

Yes

No

No

  • record type
  • union type
  • subset type

DSPNexpress 2000

Yes

No

No

No

No

No

No

No

No

No

No

No

Yes

No

No

No

EDS Petri Net Tool

Yes

No

No

No

Yes

Yes

Yes

Yes

Yes

No

No

No

No

Yes

No

No

ExSpect

Yes

No

No

Yes

Yes

No

Yes

No

Yes

No

No

No

No

Yes

No

No

GreatSPN

Yes

Yes

Yes

No

No

No

Yes

Yes

Yes

Yes

Yes

Yes

No

No

No

No

HiQPN-Tool

No

Yes

No

No

No

No

Yes

No

No

No

No

No

No

No

No

No

queues

INCOME Process Designer

Yes

Yes

Yes

Yes

Yes

No

Yes

Yes

Yes

No

No

No

No

Yes

No

No

  • Organisation model
  • Object model
  • Access rights

Integrated Net Analyzer INA

Yes

Yes

Yes

No

No

No

Yes

Yes

Yes

Yes

Yes

No

No

No

No

No

LoLA

Yes

No

No

No

No

No

Yes

No

No

No

No

No

No

No

No

No

Maria

Yes

Yes

Yes

Yes

Yes

No

Yes

Yes

Yes

Yes

Yes

Yes

Yes

No

Yes

Yes

  • variable-length buffer type (queue and stack)
  • arrays can be indexed by structured types
  • user-defined functions
  • multi-set operations: sum, filter, item mapping, multiplicity mapping

MISS-RdP

Yes

No

No

Yes

Yes

No

Yes

Yes

Yes

No

No

No

No

No

No

No

Moses Tool Suite

Yes

No

No

Yes

No

No

Yes

No

No

No

No

No

No

Yes

No

No

  • interface specification

PACE

Yes

No

No

No

No

No

Yes

No

No

No

No

No

Yes

Yes

No

No

  • channel
  • module
  • tokens may have attributes

PED

Yes

No

No

No

No

No

Yes

No

No

No

No

No

No

No

No

No

PEP

Yes

No

Yes

No

No

No

Yes

No

No

No

No

No

No

Yes

No

No

  • Transition modes

PetriSim

Yes

No

No

No

No

No

Yes

No

No

No

No

No

No

Yes

No

No

PetShop

No

No

No

No

Yes

No

No

No

No

No

No

No

No

Yes

No

No

PN-COS

Yes

No

Yes

No

No

No

Yes

No

No

No

No

No

Yes

No

No

No

PNSim

Yes

No

No

No

No

No

Yes

Yes

No

No

No

No

No

No

No

Yes

PNtalk

No

No

No

No

Yes

No

No

No

No

No

No

No

No

Yes

No

No

Poses++

Yes

Yes

Yes

Yes

Yes

No

Yes

Yes

Yes

Yes

Yes

Yes

Yes

Yes

No

No

PROD

Yes

Yes

Yes

No

No

No

Yes

Yes

Yes

Yes

Yes

No

Yes

Yes

No

No

  • a tester
  • an LTL-formula to be verified
  • a relation between priorities
  • C preprocessor directives

Renew

Yes

No

No

Yes

No

No

Yes

No

No

No

No

No

No

Yes

No

No

SEA

No

No

No

Yes

Yes

No

Yes

Yes

Yes

No

No

No

Yes

Yes

No

No

SYROCO

No

No

No

Yes

Yes

No

Yes

Yes

No

No

No

No

No

Yes

No

No

  • type are defined in imported C++ files

The Model Checking Kit

Yes

Yes

Yes

No

No

No

Yes

No

No

No

No

No

No

No

No

No

TimeNET

Yes

Yes

No

No

No

No

Yes

No

No

No

No

No

Yes

No

No

No

VIPtool

No

No

Yes

No

No

No

No

No

No

No

No

No

No

No

Yes

No

WebSPN

Yes

Yes

No

No

No

No

Yes

No

Yes

No

No

No

Yes

No

No

No

Woflan

Yes

No

No

No

No

No

Yes

No

No

No

No

No

No

No

No

No

Place definition

Tool

Places characteristics

marking value

Extra information

typed place

special place

FIFO

Others

capacity

priority

probability

time

delay

boolean

integer

bag/multiset

terms

Artifex

Yes

Yes

Yes

No

No

No

No

No

No

No

No

Yes

No

CoopnTools

Yes

No

No

No

No

No

No

No

No

No

No

Yes

No

CPN-AMI

Yes

No

No

No

No

No

No

No

No

No

No

Yes

No

DaNAMiCS

Yes

No

No

No

Yes

No

No

No

No

No

No

Yes

No

DAWN Tool (based on the PNK)

Yes

No

No

No

No

No

No

No

No

No

No

No

Yes

Design/CPN

Yes

No

No

No

No

No

No

Yes

Yes

No

No

Yes

No

DSPNexpress 2000

Yes

No

No

No

Yes

Yes

Yes

Yes

Yes

No

Yes

No

No

EDS Petri Net Tool

Yes

Yes

Yes

Yes

No

No

No

No

Yes

No

No

Yes

No

  • FIFO, LIFO & Boolean

ExSpect

Yes

Yes

Yes

No

No

No

No

No

No

No

No

Yes

No

GreatSPN

Yes

No

No

No

No

Yes

No

No

No

No

No

Yes

No

HiQPN-Tool

Yes

Yes

No

Yes

Yes

No

No

No

Yes

No

No

Yes

No

  • queue
  • scheduling strategies

INCOME Process Designer

Yes

Yes

Yes

Yes

Yes

No

No

Yes

Yes

No

No

Yes

No

  • Description, Problemfields
  • Assigned Documents
  • Free definable additional fields
  • costs

Integrated Net Analyzer INA

Yes

No

No

No

Yes

No

No

Yes

Yes

No

No

Yes

No

LoLA

No

No

No

No

No

No

No

No

No

No

Yes

No

No

Maria

Yes

Yes

No

Yes

Yes

No

No

No

No

No

No

Yes

No

  • Tester place for e.g. livelock detection
  • capacity constraint: union of closed ranges, e.g. (1..3,6..8)

MISS-RdP

Yes

Yes

No

Yes

Yes

No

No

No

No

No

Yes

No

No

Moses Tool Suite

Yes

Yes

No

Yes

Yes

No

No

No

No

No

No

Yes

No

PACE

Yes

Yes

Yes

Yes

Yes

No

No

No

No

No

Yes

No

No

PED

No

No

No

No

Yes

No

No

Yes

Yes

No

Yes

No

No

PEP

Yes

No

No

No

No

No

No

No

No

No

No

Yes

No

PetriSim

No

No

No

No

No

No

No

No

No

No

Yes

No

No

PetShop

Yes

Yes

No

Yes

No

No

No

No

No

No

No

Yes

No

PN-COS

Yes

Yes

No

Yes

Yes

No

No

Yes

Yes

No

No

Yes

No

PNSim

Yes

No

No

No

Yes

No

No

No

No

No

Yes

No

No

PNtalk

Yes

Yes

No

Yes

No

No

No

No

No

No

No

Yes

No

  • method net parameter places
  • method net return places
  • initial actions of places

Poses++

Yes

Yes

Yes

Yes

Yes

No

No

No

No

No

No

No

Yes

PROD

Yes

Yes

No

Yes

No

No

No

No

No

No

No

Yes

No

Renew

Yes

No

No

No

No

No

No

No

No

No

No

Yes

No

SEA

Yes

No

No

No

No

No

No

No

No

No

No

Yes

No

SYROCO

Yes

Yes

Yes

No

No

Yes

No

Yes

Yes

No

No

Yes

No

  • ordering of token in places: FIFO, LIFO, random, user define
  • an action may be associated to moving tokens from/into a place

The Model Checking Kit

Yes

No

No

No

No

No

No

No

No

No

Yes

No

No

TimeNET

Yes

No

No

No

Yes

No

No

No

No

No

No

Yes

No

VIPtool

Yes

No

No

No

No

No

No

No

No

No

No

Yes

No

WebSPN

No

No

No

No

No

No

No

No

No

No

Yes

No

No

Woflan

No

No

No

No

No

No

No

No

No

No

Yes

No

No

Transition definition

Tool

Transition characteristics

Extra information

label

guard

action

trans type

immediate

Others

priority

probability

time

delay

Artifex

Yes

Yes

Yes

Yes

Yes

Yes

Yes

No

Yes

Yes

  • firing after specific time out
  • releasing tokens after specific delay

CoopnTools

Yes

Yes

No

Yes

Yes

No

No

No

No

No

CPN-AMI

No

Yes

No

No

No

No

No

No

No

No

DaNAMiCS

Yes

No

No

Yes

Yes

No

Yes

Yes

Yes

Yes

DAWN Tool (based on the PNK)

No

Yes

No

Yes

No

Yes

No

No

No

No

  • Distinction between external and progress

Design/CPN

Yes

Yes

Yes

Yes

Yes

Yes

No

No

Yes

Yes

  • What's diff. between time and delay?

DSPNexpress 2000

Yes

Yes

No

Yes

Yes

No

Yes

Yes

Yes

Yes

  • deterministic transitions
  • exponential transitions

EDS Petri Net Tool

Yes

No

Yes

Yes

Yes

Yes

No

Yes

No

Yes

  • Stochastic & fixed delay

ExSpect

No

Yes

Yes

Yes

Yes

No

Yes

No

No

No

GreatSPN

No

Yes

No

Yes

Yes

No

Yes

Yes

Yes

Yes

HiQPN-Tool

Yes

No

No

Yes

Yes

Yes

No

Yes

No

Yes

  • timed transitions

INCOME Process Designer

Yes

No

Yes

No

No

No

Yes

No

Yes

Yes

  • Description, Problemfields
  • costs
  • Restrictions on execution time (earliest starting time, ...)
  • Assignment of roles

Integrated Net Analyzer INA

No

No

No

No

No

No

Yes

No

Yes

Yes

LoLA

No

No

No

No

No

No

No

No

No

No

Maria

Yes

Yes

No

Yes

No

Yes

No

No

No

No

  • nondeterministic output variables

MISS-RdP

Yes

Yes

Yes

Yes

No

Yes

Yes

Yes

Yes

Yes

Moses Tool Suite

Yes

Yes

Yes

No

No

No

No

No

Yes

Yes

PACE

Yes

No

Yes

Yes

Yes

No

No

Yes

Yes

Yes

  • condition
  • many standard and empirical probability distributions

PED

No

No

No

Yes

Yes

Yes

Yes

No

Yes

Yes

  • Fakts

PEP

Yes

Yes

Yes

Yes

No

Yes

No

No

No

No

PetriSim

No

No

Yes

No

No

No

No

No

No

Yes

  • Delay = firing duration

PetShop

Yes

Yes

Yes

Yes

No

Yes

No

No

No

No

PN-COS

Yes

Yes

Yes

Yes

No

Yes

Yes

No

Yes

Yes

PNSim

Yes

No

No

No

No

No

No

No

No

No

PNtalk

Yes

Yes

Yes

No

No

No

No

No

No

Yes

Poses++

Yes

Yes

Yes

No

No

No

Yes

No

Yes

Yes

  • max allowed parallel fire count

PROD

Yes

Yes

Yes

No

No

No

Yes

No

No

No

  • a visibility flag for each instance

Renew

Yes

Yes

Yes

No

No

No

No

No

No

No

SEA

No

Yes

Yes

No

No

No

No

No

Yes

Yes

SYROCO

No

Yes

Yes

No

No

No

Yes

No

No

No

  • action code is C++

The Model Checking Kit

Yes

Yes

No

No

No

No

No

No

No

No

TimeNET

Yes

Yes

No

Yes

Yes

Yes

Yes

Yes

Yes

No

  • exponentially, deterministic, general firing delays

VIPtool

Yes

Yes

No

No

No

No

No

No

No

No

WebSPN

Yes

No

No

Yes

Yes

Yes

Yes

Yes

Yes

Yes

  • preemption policies (prd, prs, pri)

Woflan

No

No

No

No

No

No

No

No

No

No

Arc definition

Tool

labels

type of arcs

arc information

Extra information

always 1

integer

single variable

expression

pre

post

test

inhibitor

others

guard

time

Artifex

Yes

No

No

No

Yes

Yes

Yes

No

No

No

No

  • double direction arc

CoopnTools

No

No

No

Yes

Yes

Yes

Yes

Yes

No

No

No

CPN-AMI

No

No

No

Yes

Yes

Yes

No

No

No

No

No

DaNAMiCS

No

Yes

No

No

Yes

Yes

No

Yes

No

No

No

DAWN Tool (based on the PNK)

No

No

No

Yes

Yes

Yes

No

No

Yes

No

No

  • fair arcs

Design/CPN

No

No

No

Yes

Yes

Yes

No

No

Yes

No

Yes

  • double direction arcs

DSPNexpress 2000

No

No

No

Yes

Yes

Yes

No

Yes

No

Yes

No

EDS Petri Net Tool

Yes

No

No

No

Yes

Yes

No

No

No

No

No

ExSpect

Yes

No

No

No

Yes

Yes

No

Yes

No

No

Yes

GreatSPN

No

No

No

Yes

Yes

Yes

No

Yes

No

No

No

HiQPN-Tool

No

Yes

No

No

Yes

Yes

No

No

No

No

No

INCOME Process Designer

No

No

No

Yes

Yes

Yes

No

No

Yes

No

No

  • Probability
  • Multiplicator
  • Probability for costs and times

Integrated Net Analyzer INA

No

No

No

Yes

Yes

Yes

No

No

No

No

Yes

  • arc expr. for selfmodifing nets (arc weight=formal sum of places)
  • arc expr. for colored nets (matrices)

LoLA

No

Yes

No

No

Yes

Yes

No

No

No

No

No

Maria

No

No

No

Yes

Yes

Yes

No

No

No

No

No

MISS-RdP

Yes

No

No

No

Yes

Yes

No

Yes

Yes

No

No

Moses Tool Suite

No

Yes

No

No

Yes

Yes

No

Yes

No

No

No

PACE

Yes

No

No

No

Yes

Yes

No

Yes

No

No

No

  • attributes

PED

No

Yes

No

No

Yes

Yes

Yes

Yes

Yes

No

Yes

PEP

No

No

No

Yes

Yes

Yes

No

No

No

No

No

PetriSim

No

Yes

No

No

Yes

Yes

No

Yes

No

No

No

PetShop

No

No

No

Yes

Yes

Yes

Yes

Yes

No

No

No

PN-COS

Yes

No

No

No

Yes

Yes

No

No

No

Yes

No

PNSim

No

Yes

No

No

Yes

Yes

No

Yes

No

No

No

PNtalk

No

No

No

Yes

Yes

Yes

Yes

No

No

No

No

Poses++

No

No

No

Yes

Yes

Yes

Yes

Yes

No

Yes

Yes

PROD

No

No

No

Yes

Yes

Yes

No

No

No

Yes

No

Renew

No

No

No

Yes

Yes

Yes

Yes

Yes

Yes

No

No

  • flexible arcs

SEA

No

No

Yes

No

Yes

Yes

Yes

Yes

No

No

No

SYROCO

No

No

No

Yes

Yes

Yes

No

Yes

No

No

Yes

  • time : min and max delay of staying

The Model Checking Kit

No

Yes

No

No

Yes

Yes

No

No

No

Yes

No

TimeNET

No

No

No

Yes

Yes

Yes

No

Yes

No

No

No

VIPtool

No

No

Yes

No

Yes

Yes

No

No

No

No

No

WebSPN

No

Yes

No

No

No

No

No

Yes

No

No

No

Woflan

Yes

No

No

No

Yes

Yes

No

No

No

No

No

Petri net compositions

Tool

Type of net composition

type of net coordination

Extra information

inclusion

hierarchy

modularity

others

place fusion

transition fusion

message passing

transaction

references

others

Artifex

Yes

Yes

Yes

No

Yes

No

Yes

No

No

No

CoopnTools

No

No

Yes

No

No

Yes

Yes

Yes

Yes

Yes

  • complex synchronizations between nets

CPN-AMI

No

No

Yes

No

Yes

Yes

No

No

No

No

  • Modularity by means of a dedicated composition tool

DaNAMiCS

No

Yes

No

No

No

No

No

No

Yes

No

DAWN Tool (based on the PNK)

No

No

No

No

Yes

No

No

No

No

No

  • different pages + place fusion

Design/CPN

No

Yes

No

No

Yes

No

No

No

No

No

  • What is modularity?

DSPNexpress 2000

No

No

Yes

No

No

No

No

No

No

No

EDS Petri Net Tool

Yes

Yes

No

No

Yes

Yes

No

No

No

No

ExSpect

No

Yes

No

No

Yes

No

No

No

No

No

GreatSPN

No

No

No

No

No

No

No

No

No

No

HiQPN-Tool

No

Yes

No

No

No

No

No

No

No

No

  • place refinement

INCOME Process Designer

No

Yes

No

No

Yes

No

No

No

No

No

Integrated Net Analyzer INA

No

No

No

No

No

No

No

No

No

No

LoLA

No

No

No

No

No

No

No

No

No

No

Maria

No

No

No

No

No

No

No

No

No

No

MISS-RdP

No

Yes

Yes

No

Yes

No

Yes

No

No

No

Moses Tool Suite

No

Yes

Yes

No

No

No

Yes

No

Yes

No

  • dynamic composition structures

PACE

Yes

Yes

Yes

No

Yes

Yes

Yes

No

Yes

No

  • initialization, interruption, continuation and termination codes
  • external interfaces (DDE, DLL)
  • many visualization objects
  • special user interfaces

PED

No

Yes

No

No

No

No

No

No

No

No

PEP

No

Yes

Yes

Yes

Yes

Yes

Yes

Yes

No

Yes

  • choice
  • parallel composition
  • scoping
  • synchronisation, etc.

PetriSim

No

No

No

No

No

No

No

No

No

No

PetShop

No

No

No

No

No

No

No

No

Yes

No

PN-COS

Yes

Yes

No

No

No

No

No

No

No

No

PNSim

Yes

No

No

No

No

No

No

No

No

No

PNtalk

No

No

No

No

No

No

Yes

No

Yes

No

  • classes
  • object nets
  • method nets
  • synchronous ports

Poses++

Yes

Yes

Yes

No

Yes

No

Yes

No

Yes

No

  • modules as C++ class like sub nets
  • module fusion (similar to C++ reference constructors)

PROD

Yes

No

No

No

No

No

No

No

No

No

Renew

No

No

No

No

Yes

No

No

No

Yes

Yes

  • synchronous channels

SEA

Yes

Yes

No

No

Yes

Yes

No

No

No

No

SYROCO

No

No

Yes

No

No

No

Yes

No

Yes

No

  • Each net is executed as a separate process

The Model Checking Kit

No

No

No

No

No

No

No

No

No

No

TimeNET

No

Yes

No

No

No

No

No

No

No

No

VIPtool

No

No

Yes

No

No

No

No

No

No

No

WebSPN

No

No

No

No

No

No

No

No

No

No

Woflan

No

No

No

No

No

No

No

No

No

No


Result of the questionnaire - May 16, 2000