A new approach to study selected functional properties ofmanufacturing systems based on the concept of orthogonal functionalabstractions

摘要

In this paper, we introduced a concept of orthogonal functionalabstractions. The orthogonal functional abstractions represent selectedexternal functional behaviour of Petri net models. By using orthogonalabstractions which represent one specific aspect of the externalbehaviour of Petri net models constituting a model of a system, theselected functionality of the whole system can be studied in separationfrom other functionalities. This allows one to study paths of flow ofmajor resources in the system. In addition, the correctness of theinterfaces between the constituent components of the system can bestudied as well