A formal foundation for workflow composition, workflow view definition, and workflow normalization based on petri nets · Study