Date post: | 28-Nov-2014 |
Category: |
Education |
Upload: | universitaet-rostock |
View: | 1,768 times |
Download: | 7 times |
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