In this paper, we proposed 'the composition of Petri Nets(PN) using relational function' in the previous paper. In other words, by the composition, two joinable transitions are merged to a new transition after eliminating common places. In addition we...
In this paper, we proposed 'the composition of Petri Nets(PN) using relational function' in the previous paper. In other words, by the composition, two joinable transitions are merged to a new transition after eliminating common places. In addition we propose a extended composition of place using relational function, such that two joinable places are merged to a new place after eliminating common transitions.