Simulating Cyberattacks with a Petri Net Discrete Event Simulator
Christopher Daniel Colvett, Mikel D. Petty, John A. Bland, Kenneth R. Baker · 2019
Petri nets with Players, Strategies, and Costs (PNPSC) is a unique formalism that allows for modeling of cyberattacks and defenses. Simulating the PNPSC net required the development of a discrete event simulator to perform the execution of the model. This paper details the simulator and its development. Each component of the PNPSC formalism described in this paper is also represented in the discrete event simulator. The simulator was developed in python with the capability to enable machine learning to develop attacker and defender strategies. A sample PNPSC net is described and the resulting tuple is given.