126 search results - page 22 / 26 » Model checking object petri nets in prolog |
BPM
2004
Springer
14 years 26 days ago
2004
Springer
For the integration of electronic negotiation systems within information systems, it is essential to model both using the same modelling paradigm to avoid frictions. We develop a g...
DEDS
2007
13 years 7 months ago
2007
The unfolding of a concurrent system represents in a compact manner all possible runs of this system. Unfoldings are used in many applications, ranging from model-checking (offlin...
BPM
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. A configurable process model describes a family of similar process models in a given domain. Such a model can be configured to obtain a specific process model that is sub...
VRML
2000
ACM
13 years 12 months ago
2000
ACM
Modeling is used to build structures that serve as surrogates for other objects. As children, we learn to model at a very young age. An object such as a small toy train teaches us...
APN
2007
Springer
14 years 1 months ago
2007
Springer
This tool paper describes the functionality of ProM. Version 4.0 of ProM has been released at the end of 2006 and this version reflects recent achievements in process mining. Proc...