Sciweavers

463 search results - page 71 / 93
» Using Colored Petri Nets for Conversation Modeling
Sort
View
ANSS
2005
IEEE
14 years 2 months ago
Approximation of Discrete Phase-Type Distributions
The analysis of discrete stochastic models such as generally distributed stochastic Petri nets can be done using state space-based methods. The behavior of the model is described ...
Claudia Isensee, Graham Horton
ACSD
2007
IEEE
116views Hardware» more  ACSD 2007»
14 years 3 months ago
Finding Structure in Unstructured Processes: The Case for Process Mining
Today there are many process mining techniques that allow for the automatic construction of process models based on event logs. Unlike synthesis techniques (e.g., based on regions...
Wil M. P. van der Aalst, Christian W. Günther
ECBS
2006
IEEE
143views Hardware» more  ECBS 2006»
14 years 2 months ago
Requirements Engineering for the Adviser Portal Bank System
The Adviser Portal (AP) is a new IT system for 15 Danish banks. The main goal of AP is to increase the efficiency and quality of bank advisers’ work. Requirements engineering fo...
Jens Bæk Jørgensen, Kristian Bisgaard...
DSD
2006
IEEE
99views Hardware» more  DSD 2006»
14 years 9 days ago
Flexible Bus and NoC Performance Analysis with Configurable Synthetic Workloads
We present a flexible method for bus and network on chip performance analysis, which is based on the adaptation of workload models to resemble various applications. Our analysis m...
Rikard Thid, Ingo Sander, Axel Jantsch
JCIT
2008
94views more  JCIT 2008»
13 years 8 months ago
Finding Semantic Errors in the Rule-base of Production Systems, and Reasoning with Insufficient Input Data Petri-net-based Appro
Two simple but practical production systems are modeled using Petri Nets. Petri-net models are very useful in finding semantic errors like generalization error and missing conditi...
Hong-Youl Lee