Petrinette: a tool for the integrated analysis of petri nets and finite state machines

---

Autoria(s): Cerone, A.; Spargo, N.

Data(s)	01/01/2001
Identificador	http://espace.library.uq.edu.au/view/UQ:83921
Publicador	Software Verification Research Cen. Univ of Qld
Palavras-Chave	#280302 Software Engineering #700102 Application tools and system utilities #K
Tipo	Research Report