Hello. Under my M.Sc thesis i´m building a catalog of Simbits to address several characteristics of organizational/information-based business processes/workflows that can be difficult to represent in a simulation model.
One of the issues that arose was how to verify the Simbits, i.e, how to prove that the solution really does what i mention it does. For example, one common situation in workflow management systems is the ability of a human resource to redo some work-item (activity/task instance) after its completion. The technical approach in Simio involved a Server object to represent a