357 search results - page 39 / 72 » On the Model of Computation of Place Transition Petri Nets |
127
Voted
GG
2010
Springer
15 years 3 months ago
2010
Springer
In recent years, a research thread focused on the use of the unfolding semantics for verification purposes. This started with a paper by McMillan, which devises an algorithm for co...
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...
110
click to vote
APN
2005
Springer
15 years 7 months ago
2005
Springer
STGs give a formalism for the description of asynchronous circuits based on Petri nets. To overcome the state explosion problem one may encounter during circuit synthesis, a nondet...
134
click to vote
ISPA
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Powerful grid and cluster computers allow efficient distributed simulation. Optimistic simulation techniques have been developed which allow for more parallelism in the l...
117
click to vote
EUROPAR
1997
Springer
15 years 6 months ago
1997
Springer
The large latency of memory accesses is a major obstacle in obtaining high processor utilization in large scale shared-memory multiprocessors. Access to remote memory is likely to ...