For the most recent entries see the Petri Nets Newsletter.

Keyword: propositional logic

Lin, C.; Chaudhury, A.; Whinston, A.; Marinescu, D. C.:
Logical Inference of Horn Clauses in Petri Net Models. 1993.
Calin, S.:
A Type of Propositional Logic Derived from Petri-Net Models. 1988.

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

Back to the Petri Nets Bibliography