454 search results - page 45 / 91 » Modeling and analysis of multi-agent systems using petri net... |
114
click to vote
TOPNOC
2008
15 years 1 months ago
2008
Abstract. In a seminal paper, McMillan proposed a technique for constructing a finite complete prefix of the unfolding of bounded (i.e., finitestate) Petri nets, which can be used ...
107
click to vote
ASIAN
1998
Springer
15 years 6 months ago
1998
Springer
In recent years, several semantics for place/transition Petri nets have been proposed that adopt the collective token philosophy. We investigate distinctions and similarities betwe...
106
click to vote
CIIA
2009
15 years 3 months ago
2009
The power of Petri nets resides on the availability of several tools for analysis and verification of properties of systems. Users have to combine the functionality of tools in dif...
109
click to vote
CDC
2009
IEEE
15 years 6 months ago
2009
IEEE
— Timed Continuous Petri Net (TCPN) systems are piecewise linear models with input constraints that can approximate the dynamical behavior of a class of timed discrete event syst...
117
click to vote
RP
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We compare several languages for specifying Markovian population models such as queuing networks and chemical reaction networks. These languages —matrix descriptions, s...