Nonsequential processes
Model checking using net unfoldings
TAPSOFT '93 Selected papers of the colloquium on Formal approaches of software engineering
Colored Petri nets (vol. 3)
Elements of distributed algorithms: modeling and analysis with Petri nets
Elements of distributed algorithms: modeling and analysis with Petri nets
Primer in Petri Net Design
Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]
Place or Transition Petri Nets
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Basic Linear Algebraic Techniques for Place or Transition Nets
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Unifying Petri Nets, Advances in Petri Nets
Modeling, Simulation and Analysis of Business Processes
Business Process Management, Models, Techniques, and Empirical Studies
Validation of Process Models by Construction of Process Nets
Business Process Management, Models, Techniques, and Empirical Studies
UML - a universal modeling language?
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Synthesis of Petri Nets from Scenarios with VipTool
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Modelling and validation with VipTool
BPM'03 Proceedings of the 2003 international conference on Business process management
Can i execute my scenario in your net? viptool tells you!
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
| Hi-index | 0.00 |
The analysis and verification of a Petri net model can only yield a valuable result if the model correctly captures the considered system and if the analyzed or verified properties reflect the actual requirements. So validation of both nets and specifications of desired properties is a first class task in model-based system development. This contribution considers validation concepts based on various chapters of Petri net theory. A particular emphasis is on simulation based validation. Simulation means construction of runs, which are high-level process nets in our approach. We discuss how simulation is used for validation purposes and how the creation of runs can be performed in an efficient way.