Abstract
ABSTRACTSoft systems methodologies are known for investigating the problems occurring in the management of organisations using conceptual models. These models are informal and thus they are easily used and understood by a non‐specialist. However, such models cannot be subjected to formal analysis, and problems can occur in verifying their correctness. This paper addresses this issue by combining Petri net theory with the conceptual models of a methodology known as the Boardman Soft Systems Methodology (BSSM). Specifically, a systematic approach is presented that allows the systemigrams of the BSSM to be translated into Petri net models. This translation allows a systemigram to be checked for the integrity of its data, and Petri net theory can be used to analyse the resulting Petri net models. It is the intention that this type of analysis would be used by a target audience to verify and validate the systemigram models. Application of this approach is illustrated by an industrial case study that involves the Order Intake phase of a product's life cycle.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
