This chapter presents the data structures in GPenSIM. Some of the data structures are simple as they represent the basic elements such as a place, transition, token, token colors, and resource. The other data structures are large (and sometimes complex) as they represent static Petri net graph (‘spng’), Petri net structure with initial dynamics (‘pni’), and Petri Net run-time structure (‘PN’); these structures combine the basic Petri net structure with colors and resources (in Colored Petri nets) and Modules (in Modular Petri nets).

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Data Structures in GPenSIM

  • Reggie Davidrajuh

摘要

This chapter presents the data structures in GPenSIM. Some of the data structures are simple as they represent the basic elements such as a place, transition, token, token colors, and resource. The other data structures are large (and sometimes complex) as they represent static Petri net graph (‘spng’), Petri net structure with initial dynamics (‘pni’), and Petri Net run-time structure (‘PN’); these structures combine the basic Petri net structure with colors and resources (in Colored Petri nets) and Modules (in Modular Petri nets).