Expansion Nets and Expansion Processes of Elementary Net Systems

Occurrence nets are insufficient to precisely describe executions of elemen-tary net systems with contacts. naditionally, S-complementation is used for re-moval of contacts from the systems. Although the main behavior and propertiesof the original elementary net systems are preserved during S-complementation,their topologies may be changed greatly This paper introduces a new kind ofnets-eopansion nebefor representing behavior of elementary net systems. Asshown in the paper, expansion nets are natural as wel…