First Page | Document Content | |
---|---|---|
Date: 2014-03-27 03:32:37Petri net Management Formal methods Model checking Workflow Process calculus Science TAPAAL Model Checker Concurrency Models of computation Diagrams | Where did I go wrong? Explaining errors in business process models Niels Lohmann Universität Rostock, Institut für Informatik, 18051 Rostock, Germany [removed] Abstract. Business process modeling isAdd to Reading ListSource URL: ceur-ws.orgDownload Document from Source WebsiteFile Size: 610,80 KBShare Document on Facebook |