Unformatted text preview: Petri-Nets. Explain why deadlock does not occur. (3) Consider the ±ollowing description o± a computer system. Jobs appear and are put on an input list. When the processor is ±ree, and there is a job on the input list, the processor starts to process the job. When the job is complete, it is placed on an output list, and i± there are more jobs on the input list, the processor continues with another job; otherwise it waits ±or another job. Model the system using Petri Nets....
View Full Document
- Spring '09
- English-language films, Input/output, Concurrency, UML state machine, input list