463 search results - page 52 / 93 » Using Colored Petri Nets for Conversation Modeling |
118
click to vote
ICLP
2010
Springer
15 years 7 months ago
2010
Springer
Interactive Scores is a formalism for the design and performance of interactive scenarios that provides temporal relations (TRs) among the objects of the scenario. We can model TRs...
127
click to vote
FORTE
2004
15 years 4 months ago
2004
The main goal of this paper is to extend sPBC with the iteration operator, providing an operational semantics for the language, as well as a denotational semantics, which is based ...
126
click to vote
CAISE
2005
Springer
15 years 8 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...
125
click to vote
WOSP
2004
ACM
15 years 8 months ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
149
click to vote
INFORMS
1998
15 years 2 months ago
1998
High-level formalisms such as stochastic Petri nets can be used to model complex systems. Analysis of logical and numerical properties of these models often requires the generatio...