Sciweavers

1369 search results - page 164 / 274
» On the Semantics of Petri Nets
Sort
View
EMISA
2006
Springer
14 years 2 months ago
A Unified Formal Foundation for Service Oriented Architectures
: This paper summarizes how an algebra for mobile systems, the -calculus, can be applied as unified formal foundation to service oriented architectures (SOA). The concepts accounte...
Frank Puhlmann
APSEC
2000
IEEE
14 years 2 months ago
A GUI and testing tool for SOFL
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...
Shaoying Liu, Tetsuo Fukuzaki, Koji Miyamoto
ER
2000
Springer
136views Database» more  ER 2000»
14 years 2 months ago
Business Modelling Is Not Process Modelling
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...
Jaap Gordijn, Hans Akkermans, Hans van Vliet
WSC
2008
14 years 1 months ago
A proposal for coordinator control recipe in a batch process
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...
Jose Francisco, Briones de la Torre, Antonio Espu&...
AUSAI
2008
Springer
14 years 23 days ago
An Optimality Principle for Concurrent Systems
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 ...
Langford B. White, Sarah L. Hickmott