Using ECATNets for specifying communication software in the OSI framework

Architectural method to design and control dynamic composite web services

“…They inherit flexibility of control from Metanets and data structure, concurrency and composability from Open-ECATNets (Latreche et al, 2011). Indeed, this model consists of two levels, the higher level, represented by an ECATNet (Bettaz et al, 1992), a class of high-level algebraic Petri nets, and the lower one represented by a set of interacting Open-ECATNets.…”

Modelling of object based systems with hidden sorted ECATNets

“…M(p) is the marking of p. In some other situations we would like to fue a transition if its input place does not contain a given multiset M of precised tokens. We suggested [4] for this situation to use the notation -M instead of the multiset IC(p,t). The form of the metarule corresponding to this notation is + 0 (m4).…”

“…Examples of concrete use of such cases may be found in [9]. We suggested [4] in this situation to use the notation empty at the place of the multiset IC(p,t). The form of the metarule corresponding to this notation is the following: (p, DT(p,t)) + (q,CT(q,t)) if M(p) + 0 (m3).…”