Algebraic higher-order nets: Graphs and Petri nets as tokens

被引：0

作者：

Hoffmann, K ^{[1
]}

Mossakowski, T

机构：

[1] Tech Univ Berlin, Inst Software Engn & Theoret Comp Sci, Berlin, Germany

[2] Univ Bremen, Dept Comp Sci, BISS, Bremen, Germany

来源：

RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES | 2003年 / 2755卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Petri nets and Algebraic High-Level Nets are well-known to model parallel and concurrent systems. In this paper, we introduce the concept of Algebraic Higher-Order Nets, which allow to have dynamical tokens like graphs or (ordinary low-level) Petri nets. For this purpose, we specify graphs and Petri nets in the higher-order algebraic specification language HASCASL such that graphs and Petri nets become first-class citizens, i.e. members of algebras (rather than algebras themselves). As an example, we model hospital therapeutic processes by a single higher-order net. Individual care plans for each patient are tokens modeled by low-level nets.

引用

页码：253 / 267

页数：15