For the most recent entries see the Petri Nets Newsletter.

An Unfolding Algorithm for Synchronous Products of Transition Systems.

Esparza, Javier; Römer, Stefan

In: Baeten, Jos C.M.; Mauw, Sjouke: Lectures Notes in Computer Science, Vol. 1664: Proceedings of 10th International Conference on Concurrency Theory, Eindhoven, pages 2-20. Springer-Verlag, August 1999.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography