Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems (2007)

Cached

Download Links

by Kurt Jensen , Lars Michael Kristensen , Lisa Wells
Venue:INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
Citations:54 - 1 self

Documents Related by Co-Citation

676 Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use Volume 1 – K Jensen - 1997
95 der Aalst and A.H.M. ter Hofstede. Yawl: yet another workflow language – W M P van
5 Discovering Colored Petri Nets From Event Logs – A Rozinat, R S Mans, M Song, W M P van der Aalst
23 4.0: Comprehensive Support for Real Process Analysis – W M P van der Aalst, B F van Dongen, C W Günther, R S Mans, A K - 2007
13 Short-Term Simulation: Bridging the Gap between Operational Control and Strategic Decision Making – H A Reijers, W M P van der Aalst - 1999
3 ter Hofstede, and W.M.P. van der Aalst. Business Process Simulation for Operational Decision Support – M T Wynn, M Dumas, C J Fidge, A H M - 2008
36 Simulation – S M Ross - 2002
8 Using simulation in the business process reengineering effort – R Ardhaldjian, M Fahner - 1994
1196 Petri Nets: Properties, Analysis and Applications – T Murata - 1989
15 CPN Tools for editing, simulating, and analysing coloured Petri nets – Anne Vinter Ratzer, Lisa Wells, Henry Michael Lassen, Mads Laursen, Jacob Frank, Martin Stig Stissing, Michael Westergaard, Søren Christensen, Kurt Jensen - 2003
31 Design methods for reactive systems – R Wieringa - 2003
2 A Detailed Analysis of Enterprise Architecture, Process Modeling, and Simulation Tools – C Hall, P Harmon - 2006
57 Simulation with Arena – W D Kelton, R P Sadowski, D A Sadowski - 2002
16 Design and Control of Workflow Processes: Business Process Management for the Service Industry – H Reijers - 2003
23 Simulation: A statistical perspective – J P C Kleijnen, W van Groenendaal - 1992
139 Production Workflow: Concepts and Techniques – F Leymann, D Roller - 1998
2028 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
5 Workflow Simulation for Operational Decision Support Using Design, Historic and State Information – A. Rozinat, M. T. Wynn, A. H. M. Ter Hofstede, C. J. Fidge
22 Business process management demystified: A tutorial on models, systems and standards for workflow management – W Van Der Aalst - 2004