Modeling Petri Net Based Systems by Net Transformations

Urbášek, Milan

doi:10.1016/s1571-0661(04)80744-8

Search citation statements

Order By: Relevance

Paper Sections

Select...

Introduction1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2003

2010

Publication Types

Select...

Article2

Other1

Book1

Relationship

Self Cite0

Independent4

Authors

Journals

Cited by 4 publications

(1 citation statement)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…It shows that the three challenging problems can be resolved by the approach of Petri net model transformation (net transformation for short) [1][6] [7]. PN transformation is an important approach to manipulate Petri net structure changes in the way of replacement or operation.…”

Section: Introductionmentioning

confidence: 99%

Petri Net Algebras for DES Model Transformation

Li¹,

Guan²,

Dou

2010

2010 International Conference on Computational Intelligence and Software Engineering

View full text Add to dashboard Cite

This paper proposes a class of strict and high efficient Petri net algebras by combining the algebraic system theory with net transformation operations for model transformation of discrete event systems. The algebras include the fundamental operation systems of P/T net nodes and blocks as well as the advanced node-interfaced and block-interfaced net operation systems. Meanwhile, the algebraic properties of the net operations defined are discussed, e.g., closure, associativeness, and commutativeness. At the end of the work, application of the algebras presented is illustrated by an example and the result indicates the validity of the algebras.

show abstract

Section: Introductionmentioning

confidence: 99%