For the most recent entries see the
Petri Nets Newsletter.
Liveness Analysis of Sequence Control Specification Described in Capacity Designated Petri Net Using Reduction.
Murata, Tomohiro;
Komoda, N.
In:
Proc. of the 1987 IEEE Int. Conf. on Robotics and Automation, Vol. 3, pages 1960-1965.
Washington, DC: IEEE Computer Society Press,
1987.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography