Abstract
Occurrence nets are insufficient to precisely describe executions of elementary net systems with contacts. Traditionally, S-complementation is used for removal of contacts from the systems. Although the main behavior and properties of the original elementary net systems are preserved during S-complementation, their topologies may be changed greatly. This paper introduces a new kind of nets—expansion nets—for representing behavior of elementary net systems. As shown in the paper, expansion nets are natural as well as sufficient for describing the precise behavior of elementary net systems with or without contacts.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Paper version not known
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
