Section:
Software and Platforms
Flipflop : A Test and Flip Net
Synthesis Tool for Maintenance and Surgical Process Mining
Participant :
Benoît Caillaud.
http://tinyurl.com/oql6f3y
Flipflop is a Test and Flip net synthesis tool implementing a linear
algebraic polynomial time algorithm. Computations are done in the
ring. Test and Flip nets extend Elementary Net Systems by
allowing test to zero, test to one and flip arcs. The effect of flip
arcs is to complement the marking of the place. While the net
synthesis problem has been proved to be NP hard for Elementary Net
Systems, thanks to flip arcs, the synthesis of Test and Flip nets can
be done in polynomial time. Test and flip nets have the required
expressivity to give concise and accurate representations of surgical
processes (models of types of surgical operations). Test and Flip nets
can express causality and conflict relations. The tool takes as input
either standard XES log files (a standard XML file format for process
mining tools) or a specific XML file format for surgical
applications. The output is a Test and Flip net, solution of the
following synthesis problem: Given a finite input language (log file),
compute a net, which language is the least language in the class of
Test and Flip net languages, containing the input language.
This software has been designed in the context of the S3PM project (see Section
8.1 ).
Previous | 
Home