A new methodology for automated Petri Net generation: Method application. (May 2019)

• Record Type: Journal Article
• Authors: Latsou, Christina; Dunnett, Sarah J.; Jackson, Lisa M.
• Is Part Of: Reliability engineering & system safety. Volume 185(2019)
• Page Start: 113
• Page End: 123
• Publication Date: 2019-05
• Subjects: Risk and reliability -- Automatic Petri Net generation -- UML Activity Diagram -- Model transformation -- MySQL database; Reliability (Engineering) -- Periodicals; System safety -- Periodicals; Industrial safety -- Periodicals; Fiabilité -- Périodiques; Sécurité des systèmes -- Périodiques; Sécurité du travail -- Périodiques; 620.00452
• DOI: 10.1016/j.ress.2018.12.017
• Languages: English
• ISSNs: 0951-8320

Abstract

Highlights: Full automated PN generation taking as input a topology diagram as used in industry. Direct transformation of a UML AD of a system/process to the corresponding PN. Handling and efficiently modelling systems/processes with dependencies and loops. Providing generic applicability, without targeting specific domains.