For the most recent entries see the Petri Nets Newsletter.

Keyword: execution semantics

Rana, O.; Shields, M.; Jones, A.C.:
Analyzing Java execution semantics using stochastic Petri nets. 2000.
Huan, Chao Keh; Lewis, T.G.:
HelpDez: Colored-Petri-Net-Based Hypermedia Help System Designer. 1990.

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

Back to the Petri Nets Bibliography