class	
  PetriNet;


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



Niels Lohmann
St...
YET ANOTHER API FOR PETRI NETS?                 1




                        DISCLAIMER #1
                        WE DO ...
DESIGN GOALS                    2




               GOAL #1

               ONLY IMPLEMENT
               ACTUALLY USED
 ...
DESIGN GOALS                 3




                 GOAL #2

                  BE AS
               PERFORMANT
           ...
ORIGIN           4




         CREATE
         MANIPULATE
         OUTPUT
FEATURES                               5


 PETRI NET CREATION AND MANIPULATION
 SEVERAL INPUT/OUTPUT FILE FORMATS
 STRUCT...
DISCLAIMER          6




  NO TIME
  NO STOCHASTICS
  NO COLOR
  NO SPECIAL ARCS
TECHNICALITIES                                         7
     C++ LIBRARY                 PLATFORM INDEPENDENT




 EASY I...
STATUS QUO                                   8
26 DEVELOPERS           7 FOR THE API


29 TOOLS                      16 US...
SCENARIOS                                   9

BPEL2oWFN: COMPILER BACK-END
WENDY: STATE SPACE GENERATION
MARLENE: ADAPTER...
INTEGRATION              10




              Oryx!
                      ProM!


  YAWL Editor!
SUMMARY                                   11


YET ANOTHER PETRI NET API
   BUT THIS ONE IS ACTUALLY USED

ENCAPSULATION F...
class	
  PetriNet;


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

   niels.lohmann@u...
Upcoming SlideShare
Loading in …5
×

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

2,126 views

Published on

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).

Published in: Education
0 Comments
2 Likes
Statistics
Notes
  • Be the first to comment

No Downloads
Views
Total views
2,126
On SlideShare
0
From Embeds
0
Number of Embeds
608
Actions
Shares
0
Downloads
45
Comments
0
Likes
2
Embeds 0
No embeds

No notes for slide

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

  1. 1. class  PetriNet; The Petri Net API a collection of Petri net-related functions Niels Lohmann Stephan Mennicke Christian Sura
  2. 2. 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!
  3. 3. DESIGN GOALS 2 GOAL #1 ONLY IMPLEMENT ACTUALLY USED FUNCTIONALITY
  4. 4. DESIGN GOALS 3 GOAL #2 BE AS PERFORMANT AS POSSIBLE
  5. 5. ORIGIN 4 CREATE MANIPULATE OUTPUT
  6. 6. 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
  7. 7. DISCLAIMER 6 NO TIME NO STOCHASTICS NO COLOR NO SPECIAL ARCS
  8. 8. TECHNICALITIES 7 C++ LIBRARY PLATFORM INDEPENDENT EASY INTEGRATION FREE + OPEN SOURCE #include  <pnapi/pnapi.h> using  namespace  pnapi;
  9. 9. 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
  10. 10. 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
  11. 11. INTEGRATION 10 Oryx! ProM! YAWL Editor!
  12. 12. 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
  13. 13. 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

×