Validation of scenario-based business requirements with Coloured Petri Nets Artigo de Conferência