Abstract
In this paper, a formal model of Event-Driven Nets (EDNs) is presented. Real-time temporal logic is used for representing both the behavior and structure of a modelled net. The structure of the net is defined using a set of executable predicates formed over state and pulse temporal variables. Considering this formal model, we outline an implementation of an interpretation technique for the EDN structural description. Finally, the modelling power of EDNs is demonstrated by the behavioral and performance simulation of a simple distributed computer system.
Full Text
Published Version
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call