Publisher
Springer International Publishing
Reference17 articles.
1. DD-Net-Checker (2021). https://github.com/MichalKnapik/dd-net-checker
2. LTR (2021). https://github.com/MichalKnapik/automata-net-reduction-tool
3. van der Aalst, W.M.P., van Hee, K.M.: Workflow Management: Models, Methods, and Systems. Cooperative information systems . MIT Press (2002)
4. Aminof, B., Kupferman, O., Murano, A.: Improved model checking of hierarchical systems. Inf. Comput. 210, 68–86 (2012)
5. Lecture Notes in Computer Science;É André,2021