Abstract
The construction and analysis of OR-problems are considered under the assumption that the problem structures depend essentially on logical constituents. The conventional approach to use binary (“0/1”) variables suffers from models which are very complicated and intransparent. The nature of logical constitutents is not “adequately” represented by complexes of binary variables. As an alternative the net-theoretic approach can be used to construct graphical problem descriptions. These descriptions base on the propositional or predicate logic and the theory of Petri nets. The resulting net models have the advantages of compactness and easy interpretation. Furthermore conventional arithmetic and logically based algorithrns can be applied to the analysis of net models (for consistency checks e.g.). The efficiency of model construction and analysis is not considered. Instead of this the preceding aspect is explored which contributions to problem modelling result from combining logic, net theory, linear arithmetic and graphical problem description. An example demonstrates these results. It concerns the design of annual balance sheets of stock corporations with regard to corporate income tax.
Published Version
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: Rivista di Matematica per le Scienze Economiche e Sociali
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
