1369 search results - page 221 / 274 » On the Semantics of Petri Nets |
TACAS
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...
ACSD
2006
IEEE
14 years 4 months ago
2006
IEEE
Recently, the formal approach of I–Systems has been newly hed through an abstract axiomatic system where events in system components are solely derived and defined from their b...
BROADNETS
2006
IEEE
14 years 4 months ago
2006
IEEE
This paper studies the system parameters that affect the total cost of managing the multicast group on a router. A Petri net model is first proposed to describe the states and tra...
IPPS
2006
IEEE
14 years 4 months ago
2006
IEEE
Workstation clusters equipped with high performance interconnect having programmable network processors facilitate interesting opportunities to enhance the performance of parallel...
CCGRID
2005
IEEE
14 years 3 months ago
2005
IEEE
In heterogeneous and dynamic distributed systems like the Grid, detailed monitoring of workload and its resulting system performance (e.g. response time) is required to facilitate...