In: Rivista di matematica per le science economiche e sociali, Vol. 12, No. 2, pages 67-92. 1989.
Abstract: The construction and analysis of Operations Research (OR) problems are considered under the assumption that the problem structures depend essentially on logical constituents. The nature of logical constituents is not ``adequately'' represented by complexes of binary variables. As an alternative the net-theoretic appraoch can be used ro construct graphical problem descriptions. These descriptions base on logic and Petri net theory. It is explored which contributions to problem modelling reslut from combining logic, net theory, linear arithmetic and graphical problem description. An example is given concerning the design of annual balance sheets of stock corporations with regard to corporate income tax.
Keywords: logically based modelling (of) operations research problems; (combination of) logic, net theory, linear arithmetic, graphical description; annual balance sheet; corporate income tax; industrial management.