1369 search results - page 49 / 274 » On the Semantics of Petri Nets |
EDOC
2007
IEEE
14 years 3 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...
DEXAW
2003
IEEE
14 years 2 months ago
2003
IEEE
Public-key infrastructures are a prerequisite for security in distributed systems and for reliable electronic commerce. It is their goal to provide the authenticity of public keys...
TACAS
1997
Springer
14 years 1 months ago
1997
Springer
In this paper, we describe the computer tool Design CPN supporting editing, simulation, and state space analysis of Coloured Petri Nets. So far, approximately 40 man-years have bee...
BPM
2000
Springer
14 years 18 days ago
2000
Springer
Workflow management systems facilitate the everyday operation of business processes by taking care of the logistic control of work. In contrast to traditional information systems, ...
CMMR
2005
Springer
13 years 11 months ago
2005
Springer
Petri Nets are a formal tool for studying systems that are concurrent, asynchronous, distributed, parallel, nondeterministic, and/or stochastic. They were used in a number of real-...