Contenu connexe
Plus de Universität Rostock (20)
Verification with LoLA: 6 Integrating LoLA
- 2. • soundness checks:
• classical soundness
• weak soundness
• relaxed soundness
• integration as Web service
- 12. • generic plugin for standard Petri net
properties
• nets are translated from PNML to LoLA
format
• LoLA is called as system call
Notes de l'éditeur
- \n
- \n
- \n
- \n
- \n
- \n
- \n
- \n
- \n
- \n
- \n
- \n
- \n
- \n
- \n
- \n
- \n
- \n