Paper Info
Title
Modifying Petri Net Models by Means of Crosscutting Operations
Abstract
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 thenecessary 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.
Year
DOI
Venue
2003
10.1109/CSD.2003.1207712
ACSD
Keywords
Field
DocType
graphical representation,crosscutting operations,petri net,modifying petri,existent composition construct,composition construct,classic setting,simple composition operation,future model modification,proposed operation,complex abstraction,application example,composition operator,petri nets,object oriented programming,stress,formal specification,formal logic,computer languages,formal verification,concurrent computing,history,systems analysis
Object-oriented modeling,Abstraction,Petri net,Programming language,Object-oriented programming,Computer science,Systems analysis,Formal specification,Theoretical computer science,Concurrent computing,Formal verification
Conference
ISBN
Citations 
PageRank 
0-7695-1887-7
5
0.57
References 
Authors
14
2
Name
Order
Citations
PageRank
João Paulo Barros110518.03
Luís Gomes23512.80