Free Choice Petri Nets without frozen tokens and Bipolar Synchronization Systems

Details Free Choice Petri Nets without frozen tokens and Bipolar Synchronization Systems Free Choice Petri Nets without frozen tokens and Bipolar Synchronization Systems

2006-09-17

arxiv.org/abs/cs/0609095v2

Computer Science

Logic in Computer Science

Scientific paper

Bipolar synchronization systems (BP-systems) constitute a class of coloured Petri nets, well suited for modeling the control flow of discrete, dynamical systems. Every BP-system has an underlying ordinary Petri net, which is a T-system. Moreover, it has a second ordinary net attached, which is a free-choice system. We prove that a BP-system is live and safe if the T-system and the free-choice system are live and safe and if the free-choice system has no frozen tokens. This result is the converse of a theorem of Genrich and Thiagarajan and proves an elder conjecture. The proof compares the different Petri nets by Petri net morphisms and makes use of the classical theory of free-choice systems

Affiliated with

Also associated with

No associations

Rating

Free Choice Petri Nets without frozen tokens and Bipolar Synchronization Systems 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 Free Choice Petri Nets without frozen tokens and Bipolar Synchronization Systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Free Choice Petri Nets without frozen tokens and Bipolar Synchronization Systems will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-704501