638 search results - page 64 / 128 » Animation modeling with petri nets |
211
click to vote
TSMC
2010
14 years 11 months ago
2010
Business Process Execution Language for Web Services (BPEL) is becoming the industrial standard for modeling web service-based business processes. Behavioral compatibility for web ...
124
click to vote
ACSD
2006
IEEE
15 years 10 months ago
2006
IEEE
A schedule of a Petri Net (PN) represents a set of firing sequences that can be infinitely repeated within a bounded state space, regardless of the outcomes of the nondeterminis...
141
click to vote
OTM
2005
Springer
15 years 9 months ago
2005
Springer
Business processes are becoming more and more complex and at the same time their correctness is becoming a critical issue: The costs of errors in business information systems are g...
130
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— Timed Continuous Petri Net (TCPN) systems are piecewise linear models with input constraints that can approximate the dynamical behavior of a class of timed discrete event syst...
128
click to vote
FOSSACS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We extend discrete-timed Petri nets with a cost model that assigns token storage costs to places and firing costs to transitions, and study the minimal cost reachability...