Neha Patil (Editor)

Theory of regions

Updated on
Edit
Like
Comment
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit

Theory of regions is an approach for synthesizing a Petri net from a transition system. As such, it aims at recovering concurrent, independent behaviour from transitions between global states. Theory of regions handles elementary net systems as well as P/T nets and other kinds of nets. An important point is that the approach is aimed at the synthesis of unlabeled Petri nets only.

Contents

Definition

A region of a transition system ( S , Λ , → ) is a mapping assigning to each state s ∈ S a number σ ( s ) (natural number for P/T nets, binary for ENS) and to each transition label a number τ ( ℓ ) such that consistency conditions σ ( s ′ ) = σ ( s ) + τ ( ℓ ) holds whenever ( s , ℓ , s ′ ) ∈→ .

Intuitive explanation

Each region represents a potential place of a Petri net.

Mukund: event/state separation property, state separation property.

References

Theory of regions Wikipedia
(Text) CC BY-SA