For the most recent entries see the Petri Nets Newsletter.

The Completeness of Linear Logic for Petri Net Models.

Ishihara, K.; Hiraishi, K.

In: Logic Journal of the IGPL, Vol. 9, No. 4, pages 581-599. 2001.


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

Back to the Petri Nets Bibliography