Zur Hauptnavigation Zum Inhaltsbereich Zur Suche Zum Seitenfuß

UHH > MIN > Informatics > TGI > Events > PNSE'12 Diese Seite ist nur in Englisch verfügbar. English Version. Cette page n'existe qu'en Anglais. Ésta página sólo existe en Inglés.

PNSE'12

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
Imprint/Disclaimer
Last Change: 07:00 06/26/2012   Seitenanfang