3 search results - page 1 / 1 » Modeling and control of elementary 2D-Traffic systems using ... |
CDC
2009
IEEE
13 years 9 months ago
2009
IEEE
RP
2009
Springer
13 years 11 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...
CDC
2009
IEEE
13 years 5 months ago
2009
IEEE
In this paper, we study the reachability problem for the class of (strictly) monotone Petri nets that we define based on algebraic conditions. More specifically, given a (strictly)...