454 search results - page 36 / 91 » Modeling and analysis of multi-agent systems using petri net... |
131
click to vote
TSE
2002
15 years 1 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...
114
click to vote
AUTOMATICA
2010
15 years 8 days ago
2010
In this paper we present an efficient approach for the fault detection of discrete event systems using Petri nets. We assume that some of the transitions of the net are unobservabl...
107
click to vote
COOPIS
2004
IEEE
15 years 5 months ago
2004
IEEE
More and more companies use "process aware" information systems to make their business processes more efficient. To do this, workflow definitions must be formulated in a ...
130
click to vote
RECOMB
2005
Springer
16 years 2 months ago
2005
Springer
Abstract. The Pathalyzer is a program for analyzing large-scale signal transduction networks. Reactions and their substrates and products are represented as transitions and places ...
118
click to vote
APN
1995
Springer
15 years 5 months ago
1995
Springer
State Space Analysis is one of the most developed analysis methods for Petri Nets. The main problem of state space analysis is the size of the state spaces. Several ways to reduce ...