Reference:
Karsten Schmidt. Applying reduction rules to algebraic Petri nets. Research Report A44, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, March 1997.
Abstract:
We study the specific problems concerning the application of reduction rules to algebraic Petri nets. In particular we express the application conditions for the rules by means of term operations and discuss the validity of reduction rules in different interpretations of an algebraic net. Thereby the discussion is rather informal, that is we do not add formal proofs of their correctness. Nevertheless we demonstrate the principle feasibility of the net reduction approach for algebraic nets.
Keywords:
petri nets, structural analysis, net reductions.
Suggested BibTeX entry:
@techreport{HUT-TCS-A44,
address = {Espoo, Finland},
author = {Karsten Schmidt},
institution = {Helsinki University of Technology, Digital Systems Laboratory},
month = {March},
number = {A44},
pages = {47},
title = {Applying Reduction Rules to Algebraic {P}etri nets},
type = {Research Report},
year = {1997},
}
|