TCS / Research / Publications / Applying Reduction Rules to Algebraic Petri nets
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

Applying Reduction Rules to Algebraic Petri nets

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},
}

PostScript (489 kB)
GZipped PostScript (167 kB)

[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 19 January 2010.