• Aucun résultat trouvé

Encoding Synchronous Interactions Using Labelled Petri Nets

N/A
N/A
Info
Télécharger
Protected

Academic year: 2021

Partager "Encoding Synchronous Interactions Using Labelled Petri Nets"

Copied!
17
0
0

Chargement.... (Voir le texte intégral maintenant)

Texte intégral

Figure

Fig. 3. Graphical representation of labelled nets, the rightmost with interfaces.
Fig. 4. Operational semantics of nets with interfaces.
Fig. 5. The constant nets stop, repl a I , ⊕ n i=1 a i Ii and sum I 1 ∪I 2 .
Fig. 7. Some process encodings.
+2

Références

Télécharger maintenant ( PDF - 17 Page - 568.82 KB )

Documents relatifs