An incremental model repair approach to timed discrete event systems
Sign Up to like & getrecommendations! Published in 2017 at "IFAC-PapersOnLine"
DOI: 10.1016/j.ifacol.2017.08.2395
Abstract: Abstract New results on the model repair for timed discrete systems, modeled as Time Petri net systems, are presented in this paper. Unexpected and missed behavior in the nominal model, leading to observed but unexpected… read more here.
Keywords: model repair; incremental model; model; event ... See more keywords
A Logic Petri Net-Based Model Repair Approach by Constructing Choice Bridges
Sign Up to like & getrecommendations! Published in 2019 at "IEEE Access"
DOI: 10.1109/access.2019.2896079
Abstract: Process models can be discovered from event logs generated by the enterprise information system. As business processes’ frequently changing, some activities in event logs may belong to different choice branches, while the actual model can… read more here.
Keywords: logic petri; petri net; model repair; choice ... See more keywords