Morphisms of Coloured Petri Nets

Details Morphisms of Coloured Petri Nets Morphisms of Coloured Petri Nets

2006-08-07

arxiv.org/abs/cs/0608038v1

Computer Science

Software Engineering

Scientific paper

We introduce the concept of a morphism between coloured nets. Our definition generalizes Petris definition for ordinary nets. A morphism of coloured nets maps the topological space of the underlying undirected net as well as the kernel and cokernel of the incidence map. The kernel are flows along the transition-bordered fibres of the morphism, the cokernel are classes of markings of the place-bordered fibres. The attachment of bindings, colours, flows and marking classes to a subnet is formalized by using concepts from sheaf theory. A coloured net is a sheaf-cosheaf pair over a Petri space and a morphism between coloured nets is a morphism between such pairs. Coloured nets and their morphisms form a category. We prove the existence of a product in the subcategory of sort-respecting morphisms. After introducing markings our concepts generalize to coloured Petri nets.

Affiliated with

Also associated with

No associations

Rating

Morphisms of Coloured Petri Nets does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Morphisms of Coloured Petri Nets, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Morphisms of Coloured Petri Nets will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-600931