350 search results - page 53 / 70 » Petri Net Analysis Using Invariant Generation |
BROADNETS
2006
IEEE
14 years 3 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...
CSCWD
2001
Springer
14 years 2 months ago
2001
Springer
Workflow management techniques are aiming at supporting business process across organization boundaries. Current techniques are lacking of the formalism tools to model and analyze...
TACAS
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. We propose a static analysis framework for concurrent programs based on reduction of thread interleavings using sound invariants on the top of partial order techniques. S...
APN
1994
Springer
14 years 1 months ago
1994
Springer
In this paper we describe a modelling project to improve a nuclear waste management program in charge of the creation of a new system for the permanent disposal of nuclear waste. S...
SBCCI
2004
ACM
14 years 3 months ago
2004
ACM
Software synthesis is defined as the task of translating a specification into a software program, in a general purpose language, in such a way that this software can be compiled...