Semantic Embedding of Petri Nets into Event-B

Details Semantic Embedding of Petri Nets into Event-B Semantic Embedding of Petri Nets into Event-B

2005-10-24

arxiv.org/abs/cs/0510073v1

Computer Science

Logic in Computer Science

16 pages, 3 figures

Scientific paper

We present an embedding of Petri nets into B abstract systems. The embedding is achieved by translating both the static structure (modelling aspect) and the evolution semantics of Petri nets. The static structure of a Petri-net is captured within a B abstract system through a graph structure. This abstract system is then included in another abstract system which captures the evolution semantics of Petri-nets. The evolution semantics results in some B events depending on the chosen policies: basic nets or high level Petri nets. The current embedding enables one to use conjointly Petri nets and Event-B in the same system development, but at different steps and for various analysis.

Affiliated with

Also associated with

No associations

Rating

Semantic Embedding of Petri Nets into Event-B 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 Semantic Embedding of Petri Nets into Event-B, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Semantic Embedding of Petri Nets into Event-B will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-522598