Incorporating deduction into object Petri nets

We propose a Petri net model which inherits features of object oriented and deductive paradigms of computing. Embedding these features at the modelling level facilitates specification and validation of problem descriptions and their attempted solutions. The proposed model extends the object Petri net model by incorporating domain specific constraints in the form of rules. Such a model can capture deducto-object oriented computations, wherein the modeller organises computations along object oriented, or deductive lines or a combination of both