454 search results - page 61 / 91 » Modeling and analysis of multi-agent systems using petri net... |
118
click to vote
CONCUR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
110
click to vote
ATVA
2006
Springer
15 years 5 months ago
2006
Springer
Chaining can reduce the number of iterations required for symbolic state-space generation and model-checking, especially in Petri nets and similar asynchronous systems, but require...
118
click to vote
APN
2004
Springer
15 years 7 months ago
2004
Springer
Process mining offers a way to distill process models from event logs originating from transactional systems in logistics, banking, e-business, health-care, etc. The algorithms us...
129
click to vote
BROADNETS
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper studies the system parameters that affect the total cost of managing the multicast group on a router. A Petri net model is first proposed to describe the states and tra...
124
click to vote
SIGSAND
2008
15 years 3 months ago
2008
Configurable business software solutions are increasingly being implemented based on service oriented architectures (SOA). Hereunto model driven approaches for the definition and i...