Abstract
The net verification method of Discrete Event-Driven Systems modelled by UML activity diagrams is proposed. Verification is made in a formal way by suitable procedure called Activity Diagram to Net verifier (is short: ADN-verifier). First, conversion of activity diagrams (AD) into Coloured Petri net (CPN) is proposed. Next, dynamic properties of CPN are analysed, such as: rules independence, completeness, simulation of AD by CPN, detection of any structural incorrectness in AD model. The method was extended to identify incorrectness in the AD model. Application of ADN-verification method is presented by example from manufacturing systems domain.
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.
