1369 search results - page 131 / 274 » On the Semantics of Petri Nets |
POPL
1990
ACM
14 years 1 months ago
1990
ACM
Abstract. Concurrent constraint programming is a simple but powerful framework for computation based on four basic computational ideas: concurrency (multiple agents are simultaneou...
FASE
2008
Springer
14 years 3 days ago
2008
Springer
Abstract. Reference process models capture recurrent business operations in a given domain such as procurement or logistics. These models are intended to be configured to fit the r...
DAGSTUHL
2006
13 years 11 months ago
2006
The need for process support in the context of web services has triggered the development of many languages, systems, and standards. Industry has been developing software solutions...
ENTCS
2006
13 years 10 months ago
2006
With the growing importance of model-driven development, the ability of transforming models into well-defined semantic domains becomes a key to automated code generation or verifi...
STTT
2008
13 years 10 months ago
2008
Abstract. This paper shows how a formal method in the form of Coloured Petri Nets (CPNs) and the supporting CPN Tools have been used in the development of the Course of Action Sche...