loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Third International Conference on Application of Concurrency to System Design (ACSD'03)
Modifying Petri Net Models by Means of Crosscutting Operations
Guimar?es, Portugal
June 18-June 20
ISBN: 0-7695-1887-7
João Paulo Barros, Universidade Nova de Lisboa and Instituto Politécnico de Beja
Luís Gomes, Universidade Nova de Lisboa
Increasingly complex abstraction and composition constructs have been proposed for Petri nets, sometimes to the point that the quantity and diversity of net inscriptions seem to obscure the proclaimed advantages of Petri nets graphical representation. These constructs are oriented towards system synthesis but typically overlook the necessity of future model modifications due to unanticipated changes in requirements. These can imply modifications across several of the initially composed modules. This paper proposes the use of two simple composition operations, net addition and net subtraction, that allow the introduction of the necessary modifications without being dependent on the net class or composition constructs in use. The operations can even be used concomitantly with the existent composition constructs. Three application examples are also presented which illustrate the use of the proposed operations in classic settings.
Citation:
João Paulo Barros, Luís Gomes, "Modifying Petri Net Models by Means of Crosscutting Operations," acsd, pp.177, Third International Conference on Application of Concurrency to System Design (ACSD'03), 2003
Usage of this product signifies your acceptance of the Terms of Use.