Abstract: Connections of detailed Petri N model and its component CN-net on the level of their structural and dynamic properties are investigated.

Keywords: component Petri net, components-places, components-transitions, languages of component net with components-places and component net with components-transitions.

ACM Classification Keywords: Petri net, language of Petri net, homomorphism, epimorphism, model, model verification.

Link:

COMPONENT MODELING: ON CONNECTIONS OF DETAILED PETRI MODEL AND COMPONENT MODEL OF PARALLEL DISTRIBUTED SYSTEM

Elena Lukyanova

http://www.foibg.com/ijima/vol02/ijima02-01-p02.pdf