/* * These styles apply ONLY to the header and footer assets. */ * { padding: 0; margin: 0; box-sizing: border-box; } .footer { background: #f5f5f6; color: #555a62; font-size: 14px; line-height: 1.5; padding: 18px 0; } .footer-wrap { padding-left: 18px; padding-right: 18px; max-width: 1236px; margin: 0 auto; } .footer a { color: #0291db; } .footer a:hover { color: #0276b3; } .footer-row { display: flex; flex-wrap: wrap; justify-content: space-between; align-items: center; margin: -3px; } .footer-col { padding: 0 3px; } .footer-col-copyRight { justify-content: flex-start; } .footer-col-logo { justify-content: flex-end; } .footer-col-copyRight, .footer-col-logo { flex: 1; display: flex; } .logo { width: 120px; height: 28px; opacity: 0.6; } @media screen and (max-width: 768px) { .footer-row { display: block; } .footer-col { width: 100%; text-align: center; margin: 6px 0; } .footer-col:first-child { margin-top: 0; } .footer-col:last-child { margin-bottom: 0; } .footer-col-copyRight, .footer-col-logo { justify-content: center; } .logo { margin: 0 auto; } } /*# sourceMappingURL=styles.css.map */

To prevent spam users, you can only post on this forum after registration, which is by invitation. If you want to post on the forum, please send me a mail (h DOT m DOT w DOT verbeek AT tue DOT nl) and I'll send you an invitation in return for an account.

- Usage

Discussions on how to use (plug-ins of) ProM 6 go in here...

Discussion	Started By	Replies	Views	Most Recent
Using LTL model checker of PROM to define our own properties Answered	[Deleted User] March 2014	1	271	JBuijs March 2014
conversion cnet-bpmn Accepted Answer	lauraUnivpm February 2014	4	394	lauraUnivpm February 2014
Prom 6 in batch mode Question	[Deleted User] February 2014	0	225	[Deleted User] February 2014
Global statistic information Answered	Anto February 2014	1	148	JBuijs February 2014
Finding the bottleneck Answered	Sergei January 2014	4	1.7K	JBuijs February 2014
Installing ProM6 on linux Answered	twolf January 2014	2	548	twolf January 2014
Checking instance-spanning compliance constraints with ontologies Question	Jochen October 2013	0	151	Jochen October 2013
Many questions on plugins Accepted Answer	concorde February 2013	3	254	Aspi August 2013
timestamp not recognized in CSV file Question	lauraUnivpm July 2013	0	384	lauraUnivpm July 2013
LogMetrics Plugin - How to measure completeness etc.? Question	Marian March 2013	0	153	Marian March 2013
Fuzzy Miner: Nullpointer Exception mining example spaghetti log Answered	Marian February 2013	2	660	Marian March 2013
Plugins problem when running the Prom source code Question	qinlong February 2013	0	422	qinlong February 2013
Pattern Abstractions in a Single Trace Accepted Answer	edgar September 2012	3	300	sitesv February 2013
Performance with large logs	gSeb June 2011	9	2.5K	Marian February 2013
[Duplicate post-> remove it, please] Question	FraDibbe1 January 2013	0	102	FraDibbe1 January 2013
Concept drift plug-in Answered	dksissor December 2012	3	551	dksissor January 2013
Question about the graph type of the alpha algorithm	JBuijs November 2010	2	918	umair December 2012
automated import - petrinet export Question	sIrScHrOtTALoT December 2012	0	242	sIrScHrOtTALoT December 2012
Import XES files Accepted Answer	secotofrei June 2012	5	3.1K	azaras December 2012
Export Heuristic Model Question	nicogsch October 2012	0	153	nicogsch October 2012
Heuristic Miner Answered	Antje September 2012	1	229	nicogsch October 2012
log file Answered	temfack1 October 2012	2	670	aadrians October 2012
transform log in abstraction pattern plug-in	christiankuehnert June 2011	5	1.9K	edgar September 2012
How to save model as image	jaclaes March 2011	7	1.8K	rpremraj September 2012
Pattern Abstraction Visualizer throws exception Accepted Answer	Isabel January 2012	3	218	edgar September 2012
Different event labels yield different models. Accepted Answer	christoph_sonnenberg August 2012	1	147	jcbose August 2012
Use Package Manager via proxy Accepted Answer	edgar August 2012	2	877	edgar August 2012
EPC similarity plug-in installation Question	Nawel April 2012	0	183	Nawel April 2012
[Help] No Import Plugins Available Answered	hakim March 2012	1	3.5K	aadrians March 2012
ProM doesn't allow to import any files Accepted Answer	Karina November 2011	11	1.3K	[Deleted User] March 2012

Howdy, Stranger!

It looks like you're new here. If you want to get involved, click one of these buttons!

Sign In Register

/* * These styles apply ONLY to the header and footer assets. */ * { padding: 0; margin: 0; box-sizing: border-box; } .footer { background: #f5f5f6; color: #555a62; font-size: 14px; line-height: 1.5; padding: 18px 0; } .footer-wrap { padding-left: 18px; padding-right: 18px; max-width: 1236px; margin: 0 auto; } .footer a { color: #0291db; } .footer a:hover { color: #0276b3; } .footer-row { display: flex; flex-wrap: wrap; justify-content: space-between; align-items: center; margin: -3px; } .footer-col { padding: 0 3px; } .footer-col-copyRight { justify-content: flex-start; } .footer-col-logo { justify-content: flex-end; } .footer-col-copyRight, .footer-col-logo { flex: 1; display: flex; } .logo { width: 120px; height: 28px; opacity: 0.6; } @media screen and (max-width: 768px) { .footer-row { display: block; } .footer-col { width: 100%; text-align: center; margin: 6px 0; } .footer-col:first-child { margin-top: 0; } .footer-col:last-child { margin-bottom: 0; } .footer-col-copyRight, .footer-col-logo { justify-content: center; } .logo { margin: 0 auto; } } /*# sourceMappingURL=styles.css.map */