A formal model for coupling computer based system and physicalsystems

摘要

One of the main challenges of information technology is thendevelopment of heterogeneous systems consisting of digital and analognparts. A technique for the common modeling of the different system partsnand their interfaces that allows development all parts of the system inna consistent manner is shown. This technique is based on extensions ofnpredicate/transition nets. Based on this model tools for thenspecification and evaluation of heterogeneous systems are built