First Page | Document Content | |
---|---|---|
![]() Date: 2013-06-24 11:01:34Concurrency Models of computation Petri nets Theoretical computer science International Conference on Applications and Theory of Petri Nets and Concurrency Software engineering Diagrams Computing Model checking Wil van der Aalst Petri | Add to Reading List |
![]() | QUT Digital Repository: http://eprints.qut.edu.au/ Rozinat, Anne and Wynn, Moe T. and van der Aalst, Wil M. and ter Hofstede, Arthur H. and Fidge, Colin JWorkflow Simulation for Operational Decision Support UsinDocID: 1tbRN - View Document |
![]() | Microsoft Word - CFPDraft- PNDocID: 1qP5k - View Document |
![]() | 20160527_ecppm2016-process-mining_schaijk-berloDocID: 1q7p2 - View Document |
![]() | Univ.-Prof. Dr. Stefanie Rinderle-Ma List of Publications 1 Summary :DocID: 1pNe1 - View Document |
![]() | Petri Nets 2014 & ACSD 2014 Tunis, Tunisia 23rd - 27th June INDEXDocID: 1pt8G - View Document |