Show simple item record  

dc.contributor.authorMohajerani, Sahar
dc.contributor.authorMalik, Robi
dc.contributor.authorFabian, Martin
dc.contributor.editorLesage, J.J.
dc.contributor.editorFaure, J.M.
dc.contributor.editorCury, José E. R.
dc.contributor.editorLennartson, B
dc.coverage.spatialParis, France
dc.date.accessioned2014-12-17T01:54:48Z
dc.date.available2014
dc.date.available2014-12-17T01:54:48Z
dc.date.issued2014
dc.identifier.citationMohajerani, S., Malik, R., & Fabian, M. (2014). An algorithm for compositional nonblocking verification of extended finite-state machines. IFAC Proceedsing Volumes, 47(2), 237-382. http://doi.org/10.3182/20140514-3-FR-4046.00039en
dc.identifier.urihttps://hdl.handle.net/10289/9016
dc.description.abstractThis paper describes an approach for compositional nonblocking verification of discrete event systems modelled as extended finite-state machines (EFSM). Previous results about finite-state machines in lock-step synchronisation are generalised and applied to EFSMs communicating via shared variables. This gives rise to an EFSM-based conflict check algorithm that composes EFSMs gradually and partially unfolds variables as needed. At each step, components are simplified using conflict-equivalence preserving abstraction. The algorithm has been implemented in the discrete event systems tool Supremica. The paper presents experimental results for the verification of two scalable manufacturing system models, and shows that the EFSM-based algorithm verifies some large models faster than previously used methods.
dc.format.extent376 - 382
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.publisherIFAC
dc.rightsThis is an author’s accepted version of a paper published in the Proceedings of the Twelfth International Workshop on Discrete Event Systems. © 2014 IFAC
dc.sourceWODES 2014
dc.titleAn algorithm for compositional nonblocking verification of extended finite-state machines
dc.typeConference Contribution
dc.identifier.doi10.3182/20140514-3-FR-4046.00039
dc.relation.isPartOfProceedings of the Twelfth International Workshop on Discrete Event Systems
pubs.begin-page376en_NZ
pubs.elements-id82099
pubs.end-page382en_NZ
pubs.finish-date2014-05-16
pubs.issue3en_NZ
pubs.start-date2014-05-14
pubs.volume12en_NZ


Files in this item

This item appears in the following Collection(s)

Show simple item record