This repository has been archived by the owner on Jan 8, 2024. It is now read-only.
Features:
- Parse LoTLan file and detect syntax and semantic errors
- Show syntax and semantic errors with nice error message and number and row
- Interface for VS Code Extension to get error messages (syntax and semantic)
- Generation and Execution of PetriNets representing Tasks and TransportOrderSteps
- Scheduling of LoTLan files via PetriNets: Events can be fired and the next executable TransportOrder is returned
- SQLite Logger to log TransportOrder states and Materialflows
- Unit Tests for Validation and Scheduling
- Documentation with tutorial and examples for Scheduling