For the most recent entries see the
Petri Nets Newsletter.
An incremental verification technique using decomposition of Petri nets.
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,
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography