TGI

• Homepage
• Announcements
• Staff
• Students

Education

• Education (German only)

Research

• Research
• Publications

Misc

• Service
• Tools
• Petri Nets World
  

PNSE'12

• Important Dates
• Scope
• Topics
• Invited Speaker
• Programme
• Programme Committee
• Registration & Accommodation
• Submissions
• CfP: [PDF, TXT]

Tool Demos

MuPSi

Thomas Irgang, Andreas Harrer and Robin Bergenthum

http://www.fernuni-hagen.de/sttp/forschung/mupsi.shtml

A multitouch Petri net simulator for transition steps.

PetriPad

Julian Burkhart and Michael Haustermann

https://paose.informatik.uni-hamburg.de/paose/wiki/PetriPad

A Collaborative Petri Net Editor.

Grade/CPNi

Michael Westergaard, Dirk Fahland and Christian Stahl

http://cpntools.org/gradecpn/start

A tool for automatically grading several student assignments using CPN Tools.

SYNOPS

Robert Lorenz, Markus Huber, Christoph Etzel and Dan Zecha

http://www.informatik.uni-augsburg.de/lehrstuehle/inf/projekte/synops/

Generation of Partial Languages and Synthesis of Petri Nets.

Renew on Android

Dominic Dibbern

https://paose.informatik.uni-hamburg.de/paose/wiki/Android

Porting the Renew Petri Net Simulator to the Operating System Android.

SonarEditor

Jan Bolte

https://paose.informatik.uni-hamburg.de/paose/wiki/SonarEditor

A Tool for Modelling Multi-Agent-Organizations.

Poster

Agentworkflows for Flexible Workflow Execution

Thomas Wagner

Cloud Transition: Integrating Cloud Calls into Workflow Petri Nets

Sofiane Bendoukha and Thomas Wagner

A Concurrent Simulator for Petri Nets Based on the Paradigm of Actors of Hewitt

Luca Bernardinello and Francesco Adalberto Bianchi

A Petri Net Approach to Synthesize Intelligible State Machine Models from Choreography

Toshiyuki Miyamoto and Yasuwo Hasegawa

Modeling and Simulation-Based Design Using Object-Oriented Petri Nets: A Case Study

Radek Koci and Vladimir Janousek