95 search results - page 6 / 19 » Formal Support for QVT-Relations with Coloured Petri Nets |
APSEC
2007
IEEE
14 years 1 months ago
2007
IEEE
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...
COLCOM
2009
IEEE
14 years 3 days ago
2009
IEEE
The need for collaboration and information sharing has been recently growing dramatically with the convergence of outsourcing and offshoring, the increasing need to cut costs thro...
APN
2004
Springer
14 years 24 days ago
2004
Springer
Abstract. We present an approach and associated computer tool support for conducting distributed state space exploration for Coloured Petri Nets (CPNs). The distributed state space...
ACSD
2008
IEEE
14 years 1 months ago
2008
IEEE
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, two automati...
APN
2009
Springer
14 years 2 months ago
2009
Springer
The ASCoVeCo State space Analysis Platform (ASAP) is a tool for performing explicit state space analysis of coloured Petri nets (CPNs) and other formalisms. ASAP supports a wide ra...