For the most recent entries see the
Petri Nets Newsletter.
Modular state space exploration for timed petri nets.
Lakos, C.;
Petrucci, L.
In:
International Journal on Software Tools for Technology Transfer (STTT).
2007.
URL: http://dx.doi.org/10.1007/s10009-007-0033-2.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography