Items and behavior: general system modules and their runs

章节
发表日期：

2024年

查看全文

Peter Fettke,
Wolfgang Reisig

摘要

So far, the three aspects of architecture, behavior and items/data of a system have been considered one by one. They are now integrated; with general system modules yielding a powerful modeling technique. Formally, such modules are a variant of Petri nets with items or symbols as tokens, and terms as arc inscriptions.