For the most recent entries see the Petri Nets Newsletter.

Towards Automatic Interpretation of S-Invariants of Predicate/Transition Nets.

Moslemie, A.

Digital Systems Laboratory, Research Report, Series A, No. 6. Helsinki: Helsinki University of Technology, August 1988.

Abstract: Some steps taken towards automatic interpretation of S-invariants of predicate/transition nets are presented. Three main topics are involved: first, understanding both the nature as well as computation of S-invariants, secondly, transforming these objects into formulae of an adequate calculus of modal logic, and thirdly, providing a proof procedure for proving their logical consequences within that calculus.


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

Back to the Petri Nets Bibliography