The Petri Net API - A collection of Petri net-related functions

class PetriNet; The Petri Net API a collection of Petri net-related functions Niels Lohmann Stephan Mennicke Christian Sura

YET ANOTHER API FOR PETRI NETS? 1 DISCLAIMER #1 WE DO KNOW ABOUT THE PETRI NET KERNEL! DISCLAIMER #2 WE DO KNOW ABOUT THE PNML FRAMEWORK!

DESIGN GOALS 2 GOAL #1 ONLY IMPLEMENT ACTUALLY USED FUNCTIONALITY

DESIGN GOALS 3 GOAL #2 BE AS PERFORMANT AS POSSIBLE

ORIGIN 4 CREATE MANIPULATE OUTPUT

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 FREE + OPEN SOURCE #include <pnapi/pnapi.h> using namespace pnapi;

STATUS QUO 8 26 DEVELOPERS 7 FOR THE API 29 TOOLS 16 USING THE API 410,000 LINES OF CODE 25,000 LINES ARE 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

INTEGRATION 10 Oryx! ProM! YAWL Editor!

SUMMARY 11 YET ANOTHER PETRI NET API BUT THIS ONE IS ACTUALLY USED ENCAPSULATION FACILITATES DEVELOPMENT MORE THAN TWICE AS FAST DOWNLOAD IT! http://service-‐technology.org/pnapi

class PetriNet; The Petri Net API a collection of Petri net-related functions niels.lohmann@uni-rostock.de nlohmann Niels Lohmann Stephan Mennicke Christian Sura

http://www.informatik.uni-rostock.de	313
http://wwwteo.informatik.uni-rostock.de	9
http://www.slideshare.net	2
http://esla.informatik.uni-rostock.de	2
http://translate.googleusercontent.com	1
http://webcache.googleusercontent.com	1
https://www.informatik.uni-rostock.de	1
http://ikaria.informatik.uni-rostock.de	1

The Petri Net API - A collection of Petri net-related functions

by Universität Rostock

Accessibility

Categories

Upload Details

Usage Rights

8 Embeds 330

Statistics