Games hung on Petri-net places: a newly found phishing scenario joins an existing campaign through one entry value, no re-solve
A modeling scheme that attaches local games to places of a colored Petri net, so that a game's outcome becomes typed tokens that enable, synchronize, or block later games; in an intrusion campaign, a newly discovered phishing scenario is composed with the existing campaign through a single entry value, matching a full re-solve.