public void Constructor()
{
var net = new PetriNet <int>();
var simulator = new PetriNetSimulator <int>(net);
Assert.AreSame(net, simulator.Net);
}
public void Simulate()
{
#region Petri Net setup
var net = new PetriNet <Person>();
// Places
var customerAtEntrance = net.AddPlace("Customer in front of barber");
var customerWaiting = net.AddPlace("Customer waiting");
var cutting = net.AddPlace("Cutting");
var idle = net.AddPlace("Idle barber");
var customerPaying = net.AddPlace("Customer paying");
var customerNotPaying = net.AddPlace("Customer not paying");
var customerOut = net.AddPlace("Customer out");
// Transitions
var enter = net.AddTransition("Enter");
var startCutting = net.AddTransition("Start cutting");
startCutting.Condition = new CustomerWaitingAndBarberReady();
var finishCutting = net.AddTransition("Finish cutting");
finishCutting.Condition = new CustomerHairCutAndBarberFinished();
var exit = net.AddTransition("Exit");
exit.Condition = new CustomerPaid();
// Arcs
net.AddArc(customerAtEntrance, enter);
net.AddArc(enter, customerWaiting);
var goToChair = net.AddArc(customerWaiting, startCutting);
goToChair.Annotation = new GoToChair();
net.AddArc(startCutting, cutting);
net.AddArc(cutting, finishCutting);
var goToIdle = net.AddArc(finishCutting, idle);
goToIdle.Annotation = new GoToIdle();
net.AddArc(idle, startCutting);
var goToPay = net.AddArc(finishCutting, customerPaying);
goToPay.Annotation = new GoToPay();
var notPay = net.AddArc(finishCutting, customerNotPaying);
notPay.Annotation = new NoRobber();
net.AddArc(customerPaying, exit);
net.AddArc(customerNotPaying, exit);
net.AddArc(exit, customerOut);
var jean = new Customer("Jean");
var daniel = new Customer("Daniel");
customerAtEntrance.Marking.Add(jean);
customerAtEntrance.Marking.Add(daniel);
var joe = new Barber("Joe");
idle.Marking.Add(joe);
#endregion
// Run simulation
var simulator = new PetriNetSimulator <Person>(net);
simulator.Initialize();
CollectionAssert.AreEquivalent(new[] { jean, daniel }, customerAtEntrance.Marking);
CollectionAssert.IsEmpty(customerWaiting.Marking);
CollectionAssert.IsEmpty(cutting.Marking);
CollectionAssert.AreEquivalent(new[] { joe }, idle.Marking);
CollectionAssert.IsEmpty(customerPaying.Marking);
CollectionAssert.IsEmpty(customerNotPaying.Marking);
CollectionAssert.IsEmpty(customerOut.Marking);
simulator.SimulateStep();
CollectionAssert.IsEmpty(customerAtEntrance.Marking);
CollectionAssert.AreEquivalent(new[] { jean, daniel }, customerWaiting.Marking);
CollectionAssert.IsEmpty(cutting.Marking);
CollectionAssert.AreEquivalent(new[] { joe }, idle.Marking);
CollectionAssert.IsEmpty(customerPaying.Marking);
CollectionAssert.IsEmpty(customerNotPaying.Marking);
CollectionAssert.IsEmpty(customerOut.Marking);
simulator.SimulateStep();
CollectionAssert.IsEmpty(customerAtEntrance.Marking);
CollectionAssert.AreEquivalent(new[] { daniel }, customerWaiting.Marking);
CollectionAssert.AreEquivalent(new Person[] { joe, jean }, cutting.Marking);
CollectionAssert.IsEmpty(idle.Marking);
CollectionAssert.IsEmpty(customerPaying.Marking);
CollectionAssert.IsEmpty(customerNotPaying.Marking);
CollectionAssert.IsEmpty(customerOut.Marking);
simulator.SimulateStep();
CollectionAssert.IsEmpty(customerAtEntrance.Marking);
CollectionAssert.AreEquivalent(new[] { daniel }, customerWaiting.Marking);
CollectionAssert.IsEmpty(cutting.Marking);
CollectionAssert.AreEquivalent(new[] { joe }, idle.Marking);
CollectionAssert.AreEquivalent(new[] { jean }, customerPaying.Marking);
CollectionAssert.IsEmpty(customerNotPaying.Marking);
CollectionAssert.IsEmpty(customerOut.Marking);
simulator.SimulateStep();
CollectionAssert.IsEmpty(customerAtEntrance.Marking);
CollectionAssert.IsEmpty(customerWaiting.Marking);
CollectionAssert.AreEquivalent(new Person[] { joe, daniel }, cutting.Marking);
CollectionAssert.IsEmpty(idle.Marking);
CollectionAssert.IsEmpty(customerPaying.Marking);
CollectionAssert.IsEmpty(customerNotPaying.Marking);
CollectionAssert.AreEquivalent(new[] { jean }, customerOut.Marking);
simulator.SimulateStep();
CollectionAssert.IsEmpty(customerAtEntrance.Marking);
CollectionAssert.IsEmpty(customerWaiting.Marking);
CollectionAssert.IsEmpty(cutting.Marking);
CollectionAssert.AreEquivalent(new Person[] { joe }, idle.Marking);
CollectionAssert.AreEquivalent(new Person[] { daniel }, customerPaying.Marking);
CollectionAssert.IsEmpty(customerNotPaying.Marking);
CollectionAssert.AreEquivalent(new[] { jean }, customerOut.Marking);
simulator.SimulateStep();
CollectionAssert.IsEmpty(customerAtEntrance.Marking);
CollectionAssert.IsEmpty(customerWaiting.Marking);
CollectionAssert.IsEmpty(cutting.Marking);
CollectionAssert.AreEquivalent(new Person[] { joe }, idle.Marking);
CollectionAssert.IsEmpty(customerPaying.Marking);
CollectionAssert.IsEmpty(customerNotPaying.Marking);
CollectionAssert.AreEquivalent(new[] { jean, daniel }, customerOut.Marking);
// No more move
simulator.SimulateStep();
CollectionAssert.IsEmpty(customerAtEntrance.Marking);
CollectionAssert.IsEmpty(customerWaiting.Marking);
CollectionAssert.IsEmpty(cutting.Marking);
CollectionAssert.AreEquivalent(new Person[] { joe }, idle.Marking);
CollectionAssert.IsEmpty(customerPaying.Marking);
CollectionAssert.IsEmpty(customerNotPaying.Marking);
CollectionAssert.AreEquivalent(new[] { jean, daniel }, customerOut.Marking);
}
