For the most recent entries see the Petri Nets Newsletter.

Keyword: consistency

Liu, N.K.; Dillon, T.:
An Approach Towards the Verification of Expert Systems Using Numerical Petri Nets. 1991.
Johansson, Kaj:
Modelling Message Protocols for the Byzantine Generals Problem with PrT-Nets. 1988.

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

Back to the Petri Nets Bibliography