For the most recent entries see the
Petri Nets Newsletter.
An incremental verification technique using decomposition of Petri nets.
Klai, Kais;
Haddad, Serge;
Ilie,
In:
Proceedings of the second IEEE International Conference on Systems, Man and Cybernetics (SMC'02), October 6-9, 2002, Hammamet, Tunisia, Volume 2.
IEEE Computer Society Press,
October 2002.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography