Outline an alternative way of defining timed PNs that could cope with the problem.

Consider the portion of a PN given in Suppose you want to model a requirement of the type “Once a token is produced in place P3, it can be consumed, either through transition t1 or through transition t2, within a time t„,,„. If neither of these alternatives happens, the token cannot be consumed any more.” Show that timed PNs, as defined in this chapter, cannot describe such a requirement. Outline an alternative way of defining timed PNs that could cope with the problem.


 

Save your time - order a paper!

Get your paper written from scratch within the tight deadline. Our service is a reliable solution to all your troubles. Place an order on any task and we will take care of it. You won’t have to worry about the quality and deadlines

Order Paper Now

PLACE THIS ORDER OR A SIMILAR ORDER WITH homework handlers TODAY AND GET AN AMAZING DISCOUNT

get-your-custom-paper

The post Outline an alternative way of defining timed PNs that could cope with the problem. appeared first on homework handlers .