6. Integrating LoLA
• soundness checks: • classical soundness • weak soundness • relaxed soundness• integration as Web service
• http://oryx-project.org/oryx/editor;petrinet• http://esla.informatik.uni-rostock.de/  service-tech/.lola
• generic plugin for standard Petri net  properties• nets are translated from PNML to LoLA  format• LoLA is called as syst...
Verification with LoLA: 6 Integrating LoLA
Verification with LoLA: 6 Integrating LoLA
Verification with LoLA: 6 Integrating LoLA
Verification with LoLA: 6 Integrating LoLA
Verification with LoLA: 6 Integrating LoLA
Verification with LoLA: 6 Integrating LoLA
Verification with LoLA: 6 Integrating LoLA
Verification with LoLA: 6 Integrating LoLA
Verification with LoLA: 6 Integrating LoLA
Verification with LoLA: 6 Integrating LoLA
Verification with LoLA: 6 Integrating LoLA
Verification with LoLA: 6 Integrating LoLA
Verification with LoLA: 6 Integrating LoLA
Verification with LoLA: 6 Integrating LoLA
Upcoming SlideShare
Loading in …5
×

Verification with LoLA: 6 Integrating LoLA

646 views

Published on

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

  • Be the first to like this

No Downloads
Views
Total views
646
On SlideShare
0
From Embeds
0
Number of Embeds
164
Actions
Shares
0
Downloads
0
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • \n
  • Verification with LoLA: 6 Integrating LoLA

    1. 1. 6. Integrating LoLA
    2. 2. • soundness checks: • classical soundness • weak soundness • relaxed soundness• integration as Web service
    3. 3. • http://oryx-project.org/oryx/editor;petrinet• http://esla.informatik.uni-rostock.de/ service-tech/.lola
    4. 4. • generic plugin for standard Petri net properties• nets are translated from PNML to LoLA format• LoLA is called as system call

    ×