498 search results - page 50 / 100 » On the Category of Petri Net Computations |
ICECCS
2000
IEEE
15 years 5 months ago
2000
IEEE
Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried ou...
104
Voted
ENTCS
2008
15 years 22 days ago
2008
The satisfiability problem is the fundamental problem in proving the conflict-freeness of specifications, or in finding a counterexample for an invalid statement. In this paper, w...
103
Voted
EDOC
2007
IEEE
15 years 7 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...
114
Voted
WSC
2000
15 years 2 months ago
2000
Simulation is used in the design process of dynamic systems. The results of simulation are employed for validating a model, and they are helpful for the improvement of the design ...
97
Voted
FMSD
2006
15 years 20 days ago
2006
In this paper we present data structures and distributed algorithms for CSL model checking-based performance and dependability evaluation. We show that all the necessary computatio...