941 search results - page 164 / 189 » Haskell-Coloured Petri Nets |
APSEC
2000
IEEE
14 years 1 days ago
2000
IEEE
SOFL is a formal language and method for system specification and design. As a language it is an integration of Petri nets, Data Flow Diagrams, and VDM-SL. As a method it is a com...
ER
2000
Springer
14 years 1 days ago
2000
Springer
Innovative e-business projects start with a design of the e-business model. We often encounter the view, in research as well as industry practice, that an e-business model is simil...
WSC
2008
13 years 10 months ago
2008
In this work, we propose a coordinator control recipe in the context of a batch process with the use of elements of petri nets and some techniques associated with non linear contr...
AUSAI
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. This paper presents a formulation of an optimality principle for a new class of concurrent decision systems formed by products of deterministic Markov decision processes ...
ZEUS
2010
13 years 10 months ago
2010
Choreographies offer a global view on interacting processes. There are two ways to capture this global view: interaction models and interconnection models. Although there is a mapp...