1014 search results - page 154 / 203 » ''What Is a Petri Net |
FORMATS
2003
Springer
14 years 4 months ago
2003
Springer
We present a process algebra suitable to the modelling of timed concurrent systems and to their efficient verification through model checking. The algebra is provided with two con...
HYBRID
2003
Springer
14 years 4 months ago
2003
Springer
Abstract. In this paper we show how hybrid control and modeling techniques can be put to work for solving a problem of industrial relevance in Surface Mount Technology (SMT) manufa...
ICES
2003
Springer
14 years 4 months ago
2003
Springer
Abstract. As mobile devices become more powerful, interprocess communication becomes increasingly more important. Unfortunately, this larger freedom of mobility gives rise to unkno...
ADAEUROPE
2001
Springer
14 years 3 months ago
2001
Springer
Deriving test cases from specifications is now recognised as a major application of formal methods to software development. Several methods have been proposed for various formalism...
CSCWD
2001
Springer
14 years 3 months ago
2001
Springer
XRL (eXchangeable Routing Language) is an instancebased workflow language that uses XML for the representation of process definitions and Petri nets for its semantics. Since XRL i...