941 search results - page 137 / 189 » History-Dependent Petri Nets |
IJSI
2008
13 years 9 months ago
2008
Abstract Commercial organizations increasingly need software processes sensitive to business value, quick to apply, supportive of multi-stakeholder collaboration, and capable of ea...
EDOC
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— In practice, the development of process-aware information systems suffers from a gap between conceptual business process models and executable workflow specifications...
APN
2004
Springer
14 years 3 months ago
2004
Springer
Process mining offers a way to distill process models from event logs originating from transactional systems in logistics, banking, e-business, health-care, etc. The algorithms us...
HASE
1999
IEEE
14 years 2 months ago
1999
IEEE
Even though a thorough system specification improves the quality of the design , it is not sufficient to guarantee that a system will satisfy its reliability targets. Within this ...
CONCUR
2006
Springer
14 years 1 months ago
2006
Springer
Event structures have been used for giving true concurrent semantics to languages and models of concurrency such as CCS, Petri nets and graph grammars. Although certain nominal cal...