Skip to Main content Skip to Navigation
New interface
Conference papers

Surgical Process Mining with Test and Flip Net Synthesis

Benoît Caillaud 1, 2 
1 S4 - System synthesis and supervision, scenarios
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
2 HYCOMES - Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : Surgical process modeling aims at providing an explicit representation of surgical procedural knowledge. Surgical process models are inferred from a set of surgical procedure recordings, and represent in a concise manner concurrency, causality and conflict relations between actions. The paper presents preliminary results regarding the use of test and flip nets, a mild extension of flip-flop nets, to represent surgical process models. A test and flip net synthesis algorithm, based on linear algebraic methods in the Z/2Z ring is detailed. Experimental results regarding the use of this synthesis algorithm to automate the construction of simple surgical process models are also presented.
Document type :
Conference papers
Complete list of metadata

Cited literature [10 references]  Display  Hide  Download
Contributor : Benoît Caillaud Connect in order to contact the contributor
Submitted on : Friday, October 11, 2013 - 3:56:45 PM
Last modification on : Wednesday, February 2, 2022 - 3:50:40 PM
Long-term archiving on: : Friday, April 7, 2017 - 10:01:20 AM


Files produced by the author(s)


  • HAL Id : hal-00872284, version 1


Benoît Caillaud. Surgical Process Mining with Test and Flip Net Synthesis. Application of Region Theory (ART), Jul 2013, Barcelona, Spain. pp.43-54. ⟨hal-00872284⟩



Record views


Files downloads