630 search results - page 77 / 126 » Oclets - Scenario-Based Modeling with Petri Nets |
148
click to vote
ACSD
2006
IEEE
16 years 5 days 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...
170
click to vote
OTM
2005
Springer
15 years 11 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...
150
click to vote
CDC
2009
IEEE
15 years 10 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...
155
click to vote
FOSSACS
2009
Springer
16 years 27 days 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...
180
click to vote
FORMATS
2005
Springer
15 years 11 months ago
2005
Springer
Monitoring real-time concurrent systems is a challenging task. In this paper we formulate (model-based) supervision by means of hidden state history reconstruction, from event (e.g...