Transformation
 Transformation of BPMN models for Behaviour Analysis

2007-06-01

Presented at the Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems , Funchal, Madeira - Portugal

Additional Metadata
MSC	Specification and verification (program logics, model checking, etc.) (msc 68Q60)
THEME	Software (theme 1)
Publisher	INSTICC Press
Editor	J.C. Augusto , J. Barjis , U. Ultes-Nitsche
Conference	Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems
Organisation	Specification and Analysis of Embedded Systems
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Raedts, I., van der Werf, J. M., Petkovic, M., Usenko, Y., Somers, L., & Groote, J. F. (2007). Transformation Transformation of BPMN models for Behaviour Analysis. In J. C. Augusto, J. Barjis, & U. Ultes-Nitsche (Eds.), proceedings of the 5th International Workshop on (..). MSVVEIS-2007 (pp. 126–137). INSTICC Press.

Publication