<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2009-09-17 09:28:06Formal methods Theoretical computer science Petri nets Computer science TAPAAL Model Checker ExSpecT Models of computation Diagrams Concurrency |
| First Page | Document Content | |
|---|---|---|
Date: 2009-09-17 09:28:06Formal methods Theoretical computer science Petri nets Computer science TAPAAL Model Checker ExSpecT Models of computation Diagrams Concurrency |
![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 is](https://www.pdfsearch.io/img/88dbecf346a6ae5753ea06c85f0a9512.jpg "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 is")
![High-level Petri Nets - Concepts, Definitions and Graphical Notation Final Draft International Standard ISO/IEC[removed]Version[removed]May 10, 2002 Contents](https://www.pdfsearch.io/img/a78e48b772dd9e2b1f41732c4fb7882f.jpg "High-level Petri Nets - Concepts, Definitions and Graphical Notation Final Draft International Standard ISO/IEC[removed]Version[removed]May 10, 2002 Contents")
