Petri nets: an introduction
Nonsequential processes
Model checking using net unfoldings
TAPSOFT '93 Selected papers of the colloquium on Formal approaches of software engineering
Elements of distributed algorithms: modeling and analysis with Petri nets
Elements of distributed algorithms: modeling and analysis with Petri nets
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
Model Validation - A Theoretical Issue?
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Unifying Petri Nets, Advances in Petri Nets
Process equivalence: comparing two process models based on observed behavior
BPM'06 Proceedings of the 4th 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
A declarative approach for flexible business processes management
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
Data and abstraction for scenario-based modeling with petri nets
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
Hi-index | 0.00 |
The major aim of this chapter is to describe an approach towards the development of techniques and tools to support the construction, validation and the verification of Petri net models of information systems and business processes. To this end, the behavior of the models is defined by partially ordered causal runs, represented by process nets. We discuss how these runs are constructed and visualized for validation purposes, and how they are analyzed. Moreover, we demonstrate how different dynamic properties can be formulated and checked by searching respective patterns in process nets.