325 search results - page 9 / 65 » Controlling Petri Net Process Models |
HICSS
2006
IEEE
14 years 2 months ago
2006
IEEE
In terms of the progress of the industry, the velocity and dynamic nature of the global environment, has caused serious damage and diminished our earth’s resources. A lot of eff...
SMC
2007
IEEE
14 years 2 months ago
2007
IEEE
—The development of theoretical-based methods for the assessment of multi-agent systems properties is of critical importance. This work investigates methodologies for modeling, a...
ICLP
2010
Springer
14 years 14 days ago
2010
Springer
Interactive Scores is a formalism for the design and performance of interactive scenarios that provides temporal relations (TRs) among the objects of the scenario. We can model TRs...
BPM
2000
Springer
14 years 5 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, ...
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE