For the most recent entries see the Petri Nets Newsletter.

Validation of Petri Net Models by Petri-Net-Machine.

Starke, Peter H.

In: IFIP/IMACS/IFORS Conf. / Tal, A.A.: Proc. of the Fifth IFAC, pages 77-80. Oxford, England: Pergamon, April 1986.


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

Back to the Petri Nets Bibliography