Pages that link to "Item:Q2063102"

The following pages link to Formal specification and verification of decentralized self-adaptive systems using symmetric nets (Q2063102):

Displaying 2 items.

• Modular rewritable Petri nets: an efficient model for dynamic distributed systems (Q6120343) (← links)
• Canonization of reconfigurable PT nets in \texttt{Maude} (Q6173110) (← links)