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.
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.
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
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
Algebraic net schemes
kindler@informatik.hu-berlin.de
http://www.informatik.hu-berlin.de/top/Projekte/Tools/index-eng.html#DAWNtool
Design/CPN
Coloured Petri Nets
khm@daimi.au.dk
http://www.daimi.au.dk/designCPN/
DSPNexpress 2000
DSPNs
Place/Transition nets
dspn@ls4.cs.uni-dortmund.de
http://www4.cs.uni-dortmund.de/~Lindemann/
EDS Petri Net Tool
Predicate nets
Stochastic Timed Coloured Nets
ptrmrgn@attglobal.net
ExSpect
ExSpect-Nets
exspect@bakkenist.nl
http://www.exspect.com/
GreatSPN
GSPN, SWN
both Stochastic & WellFormed
greatspn@di.unito.it
http://www.di.unito.it/~greatspn
HiQPN-Tool
Queueing Petri Nets
Hierachical Stoch.PNs + queues
bause@ls4.cs.uni-dortmund.de
http://ls4-www.informatik.uni-dortmund.de/QPN
INCOME Process Designer
Extended petri pets
Predicate/transition
Carsten.Gentner@promatis.de
http://www.promatis.com
Integrated Net Analyzer INA
PNT-Nets
Place/Transition, Colored Nets
roch@informatik.hu-berlin.de
http://www.informatik.hu-berlin.de/lehrstuehle/automaten/ina/
LoLA
place/transition nets
kschmidt@informatik.hu-berlin.de
http://www.informatik.hu-berlin.de/~kschmidt/lola.html
Maria
Algebraic System Nets
msmakela@saturn.tcs.hut.fi
http://www.tcs.hut.fi/Software/maria/
MISS-RdP
MISS-RdP nets
jean-claude.hochon@ixi.fr
http://www.ixi.fr/tools/
Moses Tool Suite
Compositional PN Structures
janneck@tik.ee.ethz.ch
http://www.tik.ee.ethz.ch/~moses
PACE
info@ibepace.com
http://www.ibepace.com
PED
ped@informatik.tu-cottbus.de
http://www-dssz.informatik.tu-cottbus.de/~wwwdssz/software/ped.html
PEP
M-nets
pep_help@informatik.uni-oldenburg.de
theoretica.informatik.uni-oldenburg.de/~pep
PetriSim
Time-nets
jskl1@stator.um.edu.mt
http://staff.um.edu.mt/jskl1/petrisim/index.html
PetShop
Cooperative Objects
bastide@cict.fr
PN-COS
SPN (Strucrured Petri Nets)
hel@cos.ru
http://www.cos.ru
PNSim
?
markatatos@iname.com
http://www.elyros.com/PNSim/
PNtalk
OOPN/PNtalk
Object-Oriented Petri Nets
vojnar@dcse.fee.vutbr.cz
http://www.fee.vutbr.cz/~janousek/pntalk
Poses++
? language we call also Poses
poses@gpc.de
http://www.gpc.de
PROD
PROD-Nets
Kimmo.Varpaaniemi@hut.fi
http://www.tcs.hut.fi/Software/prod/index.html
Renew
reference nets
support@renew.de
http://renew.de
SEA
Extended Pr/T-Nets
car@c-lab.de
http://www.c-lab.de/sea
SYROCO
CoOperative Objects
sibertin@univ-tlse1.fr
http://www.univ-tlse1.fr/CERISS/Syroco.html
The Model Checking Kit
various dialects
mckit@in.tum.de
http://wwwbrauer.informatik.tu-muenchen.de/gruppen/theorie/KIT/
TimeNET
(coloured)eDSPN, DDSPN
coloured non-markovian nets
timenet@cs.tu-berlin.de
http://pdv.cs.tu-berlin.de/forschung/timenet/
VIPtool
VIPmodel Nets
tfr@aifb.uni-karlsruhe.de
http://www.aifb.uni-karlsruhe.de/InfoSys/VIP/overview/
WebSPN
NMSPN
Non Markovian Stochastic Nets
mscarpa@iit.unict.it, apulia@iit.unict.it
http://sun195.iit.unict.it/WebSPN
Woflan
TPN-Nets
h.m.w.verbeek@tm.tue.nl
http://www.win.tue.nl/~woflan
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
constant
identity
produc/record
modulo successor
modulo predecessor
broadcast
marking dependent functions
any user fuction
Sigma-algebra
Yes
No
queues
Places characteristics
marking value
Extra information
typed place
special place
FIFO
capacity
priority
probability
time
delay
boolean
integer
bag/multiset
terms
Transition characteristics
label
guard
action
trans type
immediate
labels
type of arcs
arc information
always 1
single variable
expression
pre
post
test
inhibitor
others
Type of net composition
type of net coordination
inclusion
hierarchy
modularity
place fusion
transition fusion
message passing
transaction
references