https://github.com/bptlab/lola-webservice
A web service wrapper for LoLA 2.0 (Low-Level Analyzer for petri nets)
https://github.com/bptlab/lola-webservice
Last synced: about 2 months ago
JSON representation
A web service wrapper for LoLA 2.0 (Low-Level Analyzer for petri nets)
- Host: GitHub
- URL: https://github.com/bptlab/lola-webservice
- Owner: bptlab
- Created: 2017-10-17T14:48:02.000Z (over 8 years ago)
- Default Branch: master
- Last Pushed: 2019-05-30T14:12:38.000Z (about 7 years ago)
- Last Synced: 2025-09-09T19:01:41.067Z (9 months ago)
- Language: PHP
- Size: 5.31 MB
- Stars: 2
- Watchers: 5
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# LoLA 2 as a service
This is a Docker context to build an image for a container that exposes LoLA 2.0 as a webservice.
## How to use
* Build a Docker image: `docker build -t bpt/lola .`
* Run as Docker container and bind to local port 8080: `docker run --rm -it --name lola -p 8080:80 bpt/lola`
* Navigate to `localhost:8080`, select a PNML file, select checks and run
## The `lola.php` wrapper script
The service wrapper (`lola.php`) will do the following:
* read user input as *PNML*
* convert to *lola* format using `petri`
* parse the *.lola* file (soundness checks with LoLA 2.0 require prior knowledge of source and sink place(s))
* run selected checks
* display the check results together with a witness path, if there is any
## The provided `Dockerfile`
When building, it will
* base on a php/nginx image
* install required dependencies
* patch and build LoLA 1.18 (needed for petri tool)
* build LoLA 2.0
* build petri