Produktformsmodeller underlättar en effektiv analys av stora stokastiska modeller och har sökts efter i cirka tre decennier. Förutom det dominerande arbetet på könätverk, några produkt-former hittades för stokastiska Petri nät (SPN) som tillåter gaffeljoin konstruktioner och köa nätverk utvidgas till att omfatta speciella kunder som kallas signaler, viz. G-nätverk. Vi vädjar till Reversed Compound Agent Theorem (RCAT) att bevisa nya produkt-form lösningar för SPNs där det finns speciella övergångar, vars bränningar fungerar på ett liknande sätt som signaler i G-nätverk, men som kan genereras genom synkroniserade bränningar (eller service slutförande) och kan påverka flera platser samtidigt. Vi visar att SPN med signaler är strikta generaliseringar av G-nätverk med negativa kunder, utlösare och katastrofer, och illustrerar med många exempel.
Till exempel Martin et al. REF härleder en ny produkt-form lösning för Stochastic Petri nät (SPN) med signaler med användning av RACT.