Context in source publication

Context 1
... this sense, the marking function represents the system states evolution during the execution. Figure 1 shows an example of a PN called PN Example . • three places (p 0 , p 1 , p 2 ) and three transitions (t 0 , t 1 , t 2 ); ...

Citations

... In [4] we introduced the prototype of moDEling MObile NEtworks (DEMONE), a tool aimed at both modeling and simulating MANETs: it can be used for both specifying MANETs protocols and services and for studying performance. DEMONE allows managing the network at two different abstraction levels: the level of each mobile host, considered as a computational agent, and the level of the network considered as a set of hosts. ...