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