Classifying Boolean Nets for Region-based Synthesis

Applications of Region Theory 2011.

社会科学（总论）;计算机科学

Jetty Kleijn1 ; Maciej Koutny2 ; Marta Pietkiewicz-Koutny2 ; Grzegorz Rozenberg1,3

Others  :  http://ceur-ws.org/Vol-725/paper01.pdf
PID  :  41691

来源: CEUR

【 摘 要 】

A Petri net model is referred to as Boolean if the only possible markings are sets, i.e., places are marked or not without further quantification; moreover, also the enabling conditions and firing rule are based on this principle of set-based token arithmetic. Elementary Net systems are an example of a class of Boolean nets, and so are the recently introduced set-nets. In our investigation of the synthesis problem for set-nets, it would be useful to know how this new net model can be fitted into the general theory of net synthesis based on the generic concept of τ-nets. Here, we demonstrate how set-nets and the idea of Boolean operations on tokens provide an opportunity to classify a wide variety of Boolean nets that are amenable to region-based net synthesis.