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