Comments for Michael Westergaard's Homepage

Comment on Science! by More Accomplishments! | Michael Westergaard's Homepage

More Accomplishments! | Michael Westergaard's Homepage — Tue, 07 Feb 2012 16:27:10 +0000

[...] « Science! [...]

Comment on We Are Famous! Beer Tasting @ Roskilde 2011 by Britney at Roskilde? | Michael Westergaard's Homepage

Britney at Roskilde? | Michael Westergaard's Homepage — Wed, 25 Jan 2012 10:30:22 +0000

[...] certainly hoping so. In any case, I got a ticket and expect to redo my smart move from last year of first going to the Petri nets conference (and/or CAiSE and then with only one night’s [...]

Comment on Introduction to CPN Tools by Michael

Michael — Tue, 17 Jan 2012 09:56:44 +0000

Jim Rodger,

The above is basically it. Alternatively, take a look at http://cpntools.org/gettingstarted/start where we recommend two books and provide (the same as above) video demonstrations as well as categorized howtos. The PDF at this site is the first couple howtos in a printable format.

Comment on Introduction to CPN Tools by James Rodger

James Rodger — Mon, 16 Jan 2012 18:39:15 +0000

Dr. Westergaard:

Would you please send or direct me to a very basic step by step tutorial for CPN, with a create, declaration, hierarchy and simulation example in one application? A simple seven step tutorial would be great.

Thanks,

Jim Rodger

Comment on Slicker Widgets for ProM by M.Ravi

M.Ravi — Tue, 03 Jan 2012 15:16:44 +0000

Oops… My bad, the documentation is within the tar ball itself [http://code.deckfour.org/slickerbox/slickerbox-1.0rc1.tar.gz]

Your post on slicker widgets is really very helpful for beginners like me.

Thanks.

Comment on Playing With/Suffering SlickerBox by Michael

Michael — Tue, 03 Jan 2012 14:52:38 +0000

Yup. There’s a package called Widgets. I see, you have already checked out my initial post describing the reusable widgets (from here). Keeping the tradition with SlickerBox ;-) I have no actual documentation of the library, but all existing widgets have the same name as the Swing counter-part but with ProM instead of J at the beginning (e.g., ProMTextField).

Widgets typically expose the same API as their Swing counter-parts (often they even inherit from their Swing counter-parts), but the API is added on an as-needed basis, so they may be lacking functionality you need. Just let me know and I’ll add any needed functionality (unless you have commit-rights, in which case you can do so yourself).

There is a big demonstration of all available widgets and how to use them (it’s in the Widgets package or online at https://svn.win.tue.nl/repos/prom/Packages/Widgets/Trunk/tests/src-test/test/WidgetTest.java and https://svn.win.tue.nl/repos/prom/Packages/Widgets/Trunk/tests/src-test/test/TestPanel.java

Comment on Slicker Widgets for ProM by Michael

Michael — Tue, 03 Jan 2012 14:44:19 +0000

There’s not a lot of documentation about the actual library. You can cat a (super-outdated) version of the library from http://code.deckfour.org/slickerbox/

There is some documentation about (earlier versions of) the library at https://svn.win.tue.nl/trac/prom/wiki/UIGuidelines

If you’re coding for ProM, the easiest way to get started is often to just look at some existing code doing what you want :-/

Comment on Playing With/Suffering SlickerBox by M.RAvi

M.RAvi — Tue, 03 Jan 2012 12:29:32 +0000

Since, its been long, have you already JTextField and JTable into reusable widgets?

Thanks.

Comment on Slicker Widgets for ProM by M.Ravi

M.Ravi — Tue, 03 Jan 2012 12:09:06 +0000

Where can I find the documentation for the SlickerBox library?

Thanks,

Comment on In All Fairness… by Simulated Naughtiness in CPN Tools | Michael Westergaard's Homepage

Simulated Naughtiness in CPN Tools | Michael Westergaard's Homepage — Mon, 02 Jan 2012 17:31:45 +0000

[...] We first open the structures we need (l. 2) and obtain the initial state using pattern matching to only get the actual state descriptor (l. 3). We then execute the desired sequence of events. Here, we execute transition a on instance 1 of the page Top in the binding n = 1, then the transition b on the same page in the same binding. In line 6 we reset the scheduler. We need to do this as we are executing transitions without using the scheduler. Read more about the scheduler in a separate post. [...]