498 search results - page 14 / 100 » On the Category of Petri Net Computations |
90
Voted
ISVC
2007
Springer
15 years 6 months ago
2007
Springer
Video event understanding requires a formalism that can model complex logical temporal and spatial relations between composing sub-events. In this paper we argue that the Petri-Net...
85
Voted
ENTCS
2008
15 years 24 days ago
2008
Using linear algebraic techniques, we analyse the computational complexity of testing reachability in Petri nets for which markings can grow very fast. This leads to two subclasse...
98
Voted
AUTOMATICA
2004
15 years 18 days ago
2004
In this paper, we consider a deterministic timed continuous Petri net model where conflicts at places are solved by using stationary routing parameters. We show how to compute the...
117
Voted
DAC
1996
ACM
15 years 4 months ago
1996
ACM
-- This paper presents an efficient method for the timing verification of concurrent systems, modeled as labeled Timed Petri nets. The verification problems we consider require us ...
96
Voted
IPPS
2006
IEEE
15 years 6 months ago
2006
IEEE
Application servers have been widely adopted as distributed infrastructure (or middleware) for developing distributed systems. Current approaches for performance evaluation of app...