pm4js/pm4js/algo/simulation/playout/petri_net/algorithm.js

Process Mining for Javascript

class PetriNetPlayout {
	static apply(acceptingPetriNet, numDesideredTraces=1000, activityKey="concept:name", timestampKey="time:timestamp") {
		let petriNet = acceptingPetriNet.net;
		let initialMarking = acceptingPetriNet.im;
		let finalMarking = acceptingPetriNet.fm;
		let count = 0;
		let minTimestamp = 10000000;
		let eventLog = new EventLog();
		while (true) {
			if (count >= numDesideredTraces) {
				break;
			}
			let trace = new Trace();
			let marking = initialMarking.copy();
			while (!(finalMarking.equals(marking))) {
				let enabledTransitions = marking.getEnabledTransitions();
				let pickedTransition = enabledTransitions[Math.floor(Math.random() * enabledTransitions.length)];
				if (pickedTransition.label != null) {
					let eve = new Event();
					eve.attributes[activityKey] = new Attribute(pickedTransition.label);
					eve.attributes[timestampKey] = new Attribute(new Date(minTimestamp*1000));
					trace.events.push(eve);
				}
				marking = marking.execute(pickedTransition);
				minTimestamp++;
			}
			eventLog.traces.push(trace);
			count++;
		}
		Pm4JS.registerObject(eventLog, "Simulated Event log (from Petri net)");
		return eventLog;
	}
}

try {
	global.PetriNetPlayout = PetriNetPlayout;
	module.exports = {PetriNetPlayout: PetriNetPlayout};
}
catch (err) {
	// not in Node
	//console.log(err);
}

Pm4JS.registerAlgorithm("PetriNetPlayout", "apply", ["AcceptingPetriNet"], "EventLog", "Perform Playout on a Petri net", "Alessandro Berti");