For the most recent entries see the Petri Nets Newsletter.

Keyword: lambda calculus

Christensen, S.; Petrucci, L.:
How to determine and use place flows in colored Petri nets. 1998.
Schepers, Jörg:
GRAPH: Eine auf Petri-Netzen basierende Entwicklungsumgebung für verteilte Systeme. 1990.

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

Back to the Petri Nets Bibliography