Definice .

Nechť je přechodový graf. Předpokládejme (tj. zejména ).  

• Každou síť a každý proces nazveme systémem.
• Procesem nazveme čtveřici , kde:
  • Množina stavů procesu Q, přechodová relace a počáteční stav jsou dány přechodovým grafem
  • je aktuální stav procesu
• Sítí nazveme trojici , kde:
  • pro nějaké je uspořádaná n-tice, v níž v každé z dvojic , , značí i-tý (pod)systém a jeho rozhraní.
  • je konečná množina sběrnic
  • je konečná množina spojů splňující podmínky:
    • :
    • a.