For the most recent entries see the Petri Nets Newsletter.

Kategorielle Konstruktionen für algebraische Petrinetze.

Dimitrovici, Cristian; Hummert, Udo

Technische Universität Berlin, Foschungsberichte des Fachbereichs Informatik No. 1989/23, 1989.

Abstract: The authors present several categorial constructions for Pteri nets which can be regarded as a suitable basis for composition and decompostion concepts. The authors show that the category of place/transition nets and the category of algebraic net schemes are cocomplete, ie that coproducts and cokernels exist. The T-invariant functor from the category of place/transition nets into the category of free abelian groups which assigns to each net its group of T-invariants preserves finite limits whereas the S-invariant functor transforms finite colimits into finite limits.

Keywords: categorial construction; composition; decomposition; place/transition net; algebraic net scheme; T-invariant; S-invariant; limit.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography