133 search results - page 23 / 27 » Petri Nets, Traces, and Local Model Checking |
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...
SQJ
2008
13 years 7 months ago
2008
- We present a comprehensive UML statechart diagram analysis framework. This framework allows one to progressively perform different analysis operations to analyze UML statechart d...
QEST
2010
IEEE
13 years 5 months ago
2010
IEEE
The method of stochastic state classes approaches the analysis of Generalised Semi Markov Processes (GSMP) through symbolic derivation of probability density functions over Differe...
TACAS
2004
Springer
14 years 25 days ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...
SAFECOMP
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. To ensure the consistency of database subsystems involved in communication systems (e.g., telephone systems), appropriate scheduled maintenance policies are necessary. Au...