On a Homomorphism of a Component Petri Net

Authors:
E. A. Lukyanova
Affiliations:
Taurida National V. I. Vernadsky University, Simferopol, Ukraine
Venue:
Cybernetics and Systems Analysis
Year:
2014

Citing 8
Cited 0

Process versus unfolding semantics for place/transition Petri nets

Theoretical Computer Science - Special volume on Petri nets
On the Semantics of Petri Nets

CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
Formal Methods of Analysis of System Properties

Cybernetics and Systems Analysis
Decomposition of Petri nets

Cybernetics and Systems Analysis
Compositional analysis of Petri nets

Cybernetics and Systems Analysis
Unfoldings: A Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. An EATCS Series)

Unfoldings: A Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. An EATCS Series)
Finite Completeness of Categories of Petri Nets

Fundamenta Informaticae
Investigating single-type structural elements of a component Petri net during component modeling and analysis of a complex system with parallelism

Cybernetics and Systems Analysis

Quantified Score

Hi-index	0.00

Visualization

Abstract

A reduced Petri net model of a parallel distributed system is considered as a component Petri net (a CN) with a view to determining the adequacy between two models, namely, a detailed Petri model N and a component Petri model (CN model) of this distributed system. The concepts of a component relation 驴 and a component relation domain are introduced. A surjective homomorphism between the N and CN models and an isomorphism between the N / 驴 net, i.e., the factor model of N with respect to the relation 驴, and CN are established.