SE-561

Math Foundations of Software Engineering

Homework Assignment 5 (Due Thursday, Dec. 11)

1. Consider the following Petri net model.

       a. Give the equivalent mathematical definition of the model.
       b. List all reachable markings.

       c. Make a minimum change to the model such that t2 can fire up to three

           times consecutively.

       d. On top of c, make a minimum change to the model such that t1 will

           never fire but there is no impact to the firings of t2 and t3.

 

2. Below is the Petri net model of a simple manufacturing system with a  

    single machine and a buffer.

 
  

 

 

 

 

 

Place	Description
p1	The buffer available
p2	A part in the buffer
p3	The machine available
p4	The machine processing a part
p5	The machine failed
Transition	Description
t1	A part arrives
t2	The machine starts processing a part
t3	The machine ends processing a part
t4	The machine fails
t5	Repair the machine

 

   a. Give the marking and markings that indicate the machine is failed.

   b. If there are two machines, what would be the model?