941 search results - page 30 / 189 » Haskell-Coloured Petri Nets |
ACSD
2009
IEEE
14 years 14 days ago
2009
IEEE
The application of synthesis of Petri nets from languages for practical problems has recently attracted increasing attention. However, the classical synthesis problems are often n...
MMMACNS
2001
Springer
13 years 11 months ago
2001
Springer
Abstract. With the rise of global networks like the Internet the importance of workflow systems is growing. However, security questions in such environments often only address secu...
AGENTCL
2000
Springer
13 years 11 months ago
2000
Springer
Conversations are a useful means of structuring communicative interactions among agents. The value of a conversation-based approach is largely determined by the conversational mod...
APN
1999
Springer
13 years 11 months ago
1999
Springer
: This paper examines how object-oriented extensions to the Petri Net formalism provide flexible structuring primitives which can aid the modelling of network protocols. A key bene...
TSE
2002
13 years 7 months ago
2002
Fluid (or Hybrid) Petri Nets with flush-out arcs are Petri net based models with two classes of places: discrete places that carry a natural number of distinct objects (tokens), a...