Document Type

Technical Report

Publication Date

1979-11-01

Filename

WUCS-79-8.pdf

DOI:

10.7936/K7SN07B9

Technical Report Number

WUCS-79-8

Abstract

Let C^n be the direct product of the bicyclic monoid C, taken n times, where n is a positive integer. It is shown that (1) every Petry net with n places can be represented by a finite subset of C^n represents a Petri net with n places, and (3) the firing rule of Petri net with n places, and (3) the firing rule of Petri nets can be defined as a faithful representation of C^n by the inverse hull of additive semigroup N^n is the set of natural numbers. A generalization of C, called 'link semigroup,' is defined, and the above results on Petri nets are derived as a special case of general property of the link semigroup.

Comments

Permanent URL: http://dx.doi.org/10.7936/K7SN07B9

Share

COinS