For the most recent entries see the
Petri Nets Newsletter.
Minimal Transition Systems for History-Preserving Bisimulation.
Montanari, Ugo;
Pistore, M.
In:
Reischuk, R.; Morvan, M.: Lecture Notes in Computer Science, Vol. 1200: STACS 97, pages 413-425.
Springer-Verlag,
1997.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography