Define a sender-receiver petri network with the following properties

a)In any arrangement, the sender is inactive, ready to ship or has just completed sending. Recipient is inactive, ready to receive or has just finished receiving.

b)The message channel contains at most n messages.

c)The sender (respectively the recipient) is inactive then and onlywhen it sent the right signal to the environment. He can go out from inactive state only to the ambient signal.

d)If the sender has reached the inactive state, then he cannot out of it exit before the receiver also goes inactive.

e)Decision on whether the recipient is to be ready to receive or also has to be inactive, depends on the sender's behavior. Thanks there are no conflicts of this.

f)The recipient can only become inactive if the channel is there empty and the sender is inactive