Implementation

	Home
	Team
	Motivation
	Requirements
	Design
	Implementation
	Experiments
	Conclusions
	References
	Presentation
	Appendix

Implementation

Currently all implementations are being done by hand and the petri-nets are being inputted into the program Pipe2.5 in order to do the analysis. This is indeed not ideal and we recognize this and we hope to move as soon as possible to a graph rewriting tool where we can encode these transformations and have them execute on the models we desire.