important instructions:

subject:formal method

plez read the question carefully

plez do according to question otherwise i dislike ur ans.

do'nt solve the question without knowing everything,

Task 1: (10 marks) Design a Moore Machine that takes binary number as input and produce 1's complement of that number as output. Task 2: (10 marks) Design a mealy Machine that takes binary number as input and produce 2's complement of that number as output. Assume that the string is read from LSB to MSB. Task 3: (10 marks) Explain how modelling with CPN tools can help in achieving industrial targets. Add 2-3 real life projects as example to strengthen your answer. (Read out Chapter 1 from Book Colored pertinent modelling and validation of concurrent systems to answer this question.) Task 4: (10 marks) Create a Petri net which models the following equation: output = a + b2 + 2ab. Task 5: (10 marks) ( Model the above Petri net in Q4 using CPN tools. (Take the screenshot and attach with the assignment)