For the most recent entries see the
Petri Nets Newsletter.
Verification and Validation of Control Algorithms by Coupling of Interpreted Petri Nets.
Frey, Georg;
Litz, Lothar
In:
Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC'98), 11-14 October 1998, San Diego, USA, pages 7-12.
October 1998.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography