941 search results - page 62 / 189 » Haskell-Coloured Petri Nets |
146
click to vote
ASIAN
1999
Springer
15 years 10 months ago
1999
Springer
This paper aims at introducing an extension of M-nets, a fully compositional class of high-level Petri nets, and of its low-level counter part, Petri Boxes Calculus (PBC). We intro...
149
click to vote
ACTA
2007
15 years 6 months ago
2007
Abstract This paper introduces the notion of well-structured language. A wellstructured language can be defined by a labelled well-structured transition system, equipped with an u...
183
click to vote
ICSEA
2006
IEEE
15 years 12 months ago
2006
IEEE
—Stochastic activity networks (SANs) are a stochastic generalization of Petri nets. SAN models have been used to evaluate a wide range of systems and are supported by several mod...
166
click to vote
FASE
2005
Springer
15 years 11 months ago
2005
Springer
This paper is concerned with the application of Web services to distributed, cross-organizational business processes. In this scenario, it is crucial to answer the following questi...
162
click to vote
CAISE
2005
Springer
15 years 11 months ago
2005
Springer
Coupling of cross-organizational business processes in electronic markets is a difficult and time-consuming task. In practice business processes are geographically distributed whic...