View
1.784
Download
7
Category
Preview:
DESCRIPTION
Workshop presentation given by Niels Lohmann on October 7, 2010 in Cottbus, Germany at the 17th German Workshop on Algorithms and Tools for Petri Nets (AWPN 2010).
Citation preview
The Petri Net API
Niels LohmannStephan MennickeChristian Sura
class PetriNet;
a collection of Petri net-related functions
YET ANOTHER API FOR PETRI NETS? 1
DISCLAIMER #1 WE DO KNOW ABOUTTHE PETRI NET KERNEL!
DISCLAIMER #2 WE DO KNOW ABOUTTHE PNML FRAMEWORK!
DESIGN GOALS 2
GOAL #1
ONLY IMPLEMENTACTUALLY USEDFUNCTIONALITY
DESIGN GOALS 3
GOAL #2
BE AS PERFORMANTAS POSSIBLE
ORIGIN 4
CREATEMANIPULATEOUTPUT
FEATURES 5
PETRI NET CREATION AND MANIPULATION
SEVERAL INPUT/OUTPUT FILE FORMATS
STRUCTURAL REDUCTION TECHNIQUES
TRANSLATION FROM/INTO AUTOMATA
INTERFACES / NET COMPOSITION
ROLE INFORMATION
FINAL MARKINGS
STRUCTURAL CHECKS
DISCLAIMER 6
NO TIME
NO STOCHASTICS
NO COLOR
NO SPECIAL ARCS
TECHNICALITIES 7
C++ LIBRARY PLATFORM INDEPENDENT
EASY INTEGRATION
#include <pnapi/pnapi.h>using namespace pnapi;
FREE + OPEN SOURCE
16 USING THE API
7 FOR THE APISTATUS QUO 8
26 DEVELOPERS
29 TOOLS
410,000 LINES OF CODE25,000 LINESARE THE API
SCENARIOS 9
BPEL2oWFN: COMPILER BACK-END
WENDY: STATE SPACE GENERATION
MARLENE: ADAPTER SYNTHESIS
SARA: SUPPORT OF REACHABILITY ANALYSIS
DIANE: NET DECOMPOSITION
LINDA: SUPPORT OF FINGERPRINT COMPUTATION
PETRI: GENERAL PURPOSE FRONT-END TOOL
...
YAWL Editor!
ProM!
INTEGRATION 10
Oryx!
SUMMARY 11
BUT THIS ONE IS ACTUALLY USEDYET ANOTHER PETRI NET API
http://service-‐technology.org/pnapiDOWNLOAD IT!
MORE THAN TWICE AS FASTENCAPSULATION FACILITATES DEVELOPMENT
The Petri Net API
Niels LohmannStephan MennickeChristian Sura
class PetriNet;
a collection of Petri net-related functions
niels.lohmann@uni-rostock.denlohmann
Recommended