Analysis of Statecharts + Sequence Diagrams through mapping on Place/Transition Petri Nets

	Home
	Team
	Motivation
	Requirements
	Design
	Implementation
	Experiments
	Conclusions
	References
	Presentation
	Appendix