For the most recent entries see the Petri Nets Newsletter.

A Type of Propositional Logic Derived from Petri-Net Models.

Calin, S.

In: Bul. Inst. Politehn. Bucuresti Ser. Automat. Calc. 50; 21, No. 11, pages 3-12. 1988. In Romanian.

Keywords: propositional logic (derived from nets); modal logic; tense logic.

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

Back to the Petri Nets Bibliography