Sciweavers

82 search results - page 1 / 17
» Distinguishing Environment and System in Coloured Petri Net ...
Sort
View
SIES
2007
IEEE
13 years 10 months ago
Distinguishing Environment and System in Coloured Petri Net Models of Reactive Systems
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
Simon Tjell
APSEC
2007
IEEE
13 years 10 months ago
Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...
João M. Fernandes, Jens Bæk Jø...
CORR
2010
Springer
108views Education» more  CORR 2010»
13 years 3 months ago
Using Coloured Petri Nets for design of parallel raytracing environment
Abstract. This paper deals with the parallel raytracing part of virtualreality system PROLAND, developed at the home institution of authors. It describes an actual implementation o...
Stefan Korecko, Branislav Sobota
IFM
2004
Springer
185views Formal Methods» more  IFM 2004»
13 years 9 months ago
Object-Oriented Modelling with High-Level Modular Petri Nets
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
Cécile Bui Thanh, Hanna Klaudel
APN
2003
Springer
13 years 7 months ago
Reactive Petri Nets for Workflow Modeling
Abstract. Petri nets are widely used for modeling and analyzing workflows. Using the token-game semantics, Petri net-based workflow models can be analyzed before the model is actua...
Rik Eshuis, Juliane Dehnert