After 6 hours of processing (thats roughly 36 hours of CPU time), SML decides to fail with a classical “You have an error in your program” failure. That’ll be grand to debug.
Archive of entries posted on 1st September 2010
Recent Posts
- Refreshing February 3, 2012
- Unicode and Beta February 1, 2012
- Logo January 28, 2012
- A Poem January 25, 2012
- Britney at Roskilde? January 25, 2012
Recent Comments
Michael on Introduction to CPN Tools James Rodger on Introduction to CPN Tools M.Ravi on Slicker Widgets for ProM Michael on Playing With/Suffering SlickerBox Michael on Slicker Widgets for ProM
Archives
- ► 2012 (13)
- ► 2011 (227)
- ► December (18)
- Productivity Boost
- Exploiting the Innards of ProM and Breaking Data-Hiding for Fun and Profit
- Speling Mitsakes are teh Funzors
- Evil is Fun
- New Twitter
- There Was a Line...
- Why You Shouldn't Drunk-Post
- Strong Accept, High Confidence
- Modular Declare
- I'm a Dork
- Tacky
- Unraveling the Conspiracy of the Croquettes
- Pretty Declare
- Just for Wil
- Scary
- Fuuuuuuuuck!
- A New Kind of Exception
- Signs…
- ► November (23)
- Britnification II: The Postering
- Bring It
- Amazon for Efficiency
- I Are the Smarts
- Britnification
- Why I Rule!
- Eating Varied
- Consumerism
- Amazon Recommendations are Funny
- Strongly Connected Components in Declarative Models
- German Siri is NOT German
- Colored Automata in Declare
- Sometimes…
- Refactoring – Stay Quick and Beautiful
- The Burning Cottage: An Approach to Solving the Mash/Meat-Equilibrium
- Jawsome
- Time is Not a Four-letter Word
- Declare Rebranding
- Declare, Modular Declare, and iTasks
- Formal Specification
- The Greek Family
- Britney in London
- Modular Declare
- ► October (23)
- The Tour that Keeps on Giving
- Custom B-shirt (Awesome)
- Britney Spears Concert in Rotterdam
- iPhonerific
- B-shirt with a Message
- A Tale of Two Britney Concerts
- Britney Spears Concert in Herning
- Bread
- Salad
- New Britney Loot
- Britney's Finale in Herning
- Britney Quiz
- Professional?
- Backstage Before Britney in Herning
- Heh
- Because Two is Twice as Nice as One
- Destinee & Paris
- Some New Merchandise
- :D
- Nostalgica
- Stew
- How Cool is This?
- Lecture in Meta-Modeling and Interoperability
- ► September (19)
- I'm Sooooooo Ready!!
- Hitchcock Was Here?
- Rendering…
- English News for Expats in Holland
- Some Notes on Declarative Workflows and Operational Support
- Generated Models
- Windows 8 in the Land of Business Process Modeling
- I put the Alcohol in Workaholic
- Printer Repair
- I am, Apparently, a Rocket Scientist!
- Promotion
- A Meta-model for Operational Support
- The End
- On Papers and Drawing Feet
- Emptying the Freezer
- This ≠ Good
- Better Algorithms for Analyzing and Enacting Declarative Workflows using LTL
- Hotel of God
- French Summer
- ► August (19)
- Fusion Cooking
- RFC 3514 version 2.0
- Stupid Rain!
- Right Attitude
- Why Bother…?
- Presentation Title
- Gadgunchies
- They Never Saw it Coming
- Forever…
- Commit Comments Regarding Hudson
- Amusing
- Beautiful
- I Wonder...
- This
- Logging: New Feature in the ProM Widgets Package
- How to Make a Pizza
- Friday
- An E-mail
- Refreshing
- ► July (17)
- Haute Déchets
- Printing on W&I from Mac OS X Lion
- Major Update
- ProM Plug-in Documentation: Declare
- Rebecca's Moment
- ProM Package Documentation: Cosimulation
- New Single from Mel C
- Hwo 2 B a Journalist
- Watch!
- ProM Package Documentation: SimpleXQueryProvider
- ProM Package Documentation: OperationalSupport
- ProM Package Documentation: KeyValue
- Back to the 90s
- ProM Package Documentation: CPNet
- Guus Meeuwis @ De Eerste Valkenswaardse Zomerfeesten
- Camp Christ
- We Are Famous! Beer Tasting @ Roskilde 2011
- ► June (10)
- Modeling and Verification of a Protocol for Operational Support
- Access/CPN 2.0 — A High-level Interface to Coloured Petri Net Models
- Towards Verifying Parallel Algorithms using Coloured Petri Nets
- Efficient Implementation of Prioritized Transitions for High-level Petri Nets
- Cross Harder
- International!!!
- D'aaaw... Silly Brits
- Truth in Advertising
- Pinky and the Whiskey
- Yes! Meet and Greet with Britney Spears!
- ► May (24)
- ProM Plug-in Suggestion: Social Network MSC Visualization
- Anybody Knows How to Set Up Twitter-like Service for WordPress?
- A Tidy Desk is a Sign of an Empty Mind
- How Much Memory is Needed to Store a Log?
- Duck, Duck, Grease!
- Manly …and Manlier
- E-mails
- Spicy
- Better Than the Bible
- Declare Demo
- Singer/Songwriting
- Pink & Purple
- Meat
- Getting There
- Pink
- Using Declarative Workflow Modeling to Achieve Happiness in Life
- Denmark
- Shiny is the new Shiny
- CPN Tools Downloads
- Shopping List
- Teaser
- ProM Plug-in Suggestion: ProM Orchestration
- ProM Plug-in Suggestion: CPN Log Extraction
- CPN Tools Features Accumulating In response to Requests (FAIR)
- ► April (20)
- Beer and Orange Day
- Britney Beers 2 – The Beerening!
- Britney Beers
- Salad Snacks
- Per Consumptie Wijzer
- Barbie
- Revenge!
- I'm Not Conservative!
- Transition System
- In All Fairness…
- Poll: Preferred Society
- Plumbing
- Party
- Attention: Students
- CrashPlan
- Really Pretty?
- Femme Fatale Tour
- Flight Booking with British Airways
- New Sandals
- Food Porn
- ► March (18)
- Procrastination… Go!
- B-cisions…
- Process Mining Real Logs
- Pouring Turpentine Down the Toilet is Optional
- BS-tistics
- 16 Little B-shirts
- Poll: Which is Louder?
- Graphical User Interface
- Open Letter
- Nuclear Summer
- Windows
- Stock Distribution
- Guess Why…
- Mostly Done Unpacking
- This is not Silly!
- Crank It to 11
- I Are teh Funneh
- Thanks Windows
- ► February (24)
- Who is Taller? Michael or Mailund?
- Black or White
- Shrines
- Facebook Ads
- So, THAT's Why I Can See My Breath
- Oleby
- Moving Out
- Call for Suggestions
- #HIAMFeb17
- That's Not How Math Works
- My Bed du Jour (Well, Nuit, Really)
- My Stuff
- Do I…
- Facebook Just Became So Much Better
- Painting -- Day N-1
- Slicker Widgets for ProM
- Painting -- Day 5
- The Access/CPN Source Released
- Painting -- Day 4
- Painting -- Day 2
- Painting -- Day 1
- New House -- Before
- Femme Fatale
- Statistics for cpntools.org
- ► January (12)
- ► December (18)
- ▼ 2010 (146)
- ► December (13)
- Bunde-Potpourri
- Guess It's Official, Then
- Brian og en Flaske Muskatvin
- Britmas Eve 2010
- Prettiest Bird Nest Box Ever
- Most Clueless Person Ever
- New Door Sign
- Shantel & Bucovina Club Orkestar at the Effenaar in Eindhoven
- Flemse?
- Stupid Dutch Summer
- Why I Shouldn’t be Allowed Internet Access
- When Pointers Attack (or How to Save 26-36 bytes of Memory in a Week)
- Spam!
- ► November (16)
- Proposal for Inspector for Properties of Canvas-like Visualizations in ProM 6
- Memory-Efficiency in Java
- Progress
- Spot the Fatty
- Bad Petri Net Jokes
- Characteristics of a Parallel State-space Analysis Algorithm
- Mission: Imperative
- Idiots and Technology
- Parallel State-space Generation
- Redundancy?
- A Graphical History of CPN Tools
- Sneak Preview…
- Slides from AIS Group Meeting
- GLOW Festival 2010 in Eindhoven
- The End of an Era
- Time Limitation on Method Execution in Java
- ► October (18)
- Old and New
- It's Friday
- Dear Internet...
- Sort Efterår (Black Fall) 2010
- Lady Gaga Concert in Herning
- Box-party
- Why Workers' Unions, Equal Wages and Minimum Wages are as bad as Monopolies and Cartels
- Couch Modeling: CPN Tools on iPad?
- Self-referential Humor
- More Britney!
- Intro to the New Operational Support Service
- Playing With/Suffering SlickerBox
- Operational Support vs. Predator
- Doing Some State-space Analysis...
- The Joy of a Wired Network
- Slides from (Cancelled) Presentation at the BEST Workshop
- Slides from Advanced Course on Petri Nets
- Forslag: Privatiser DR
- ▼ September (8)
- ► August (8)
- ► July (16)
- Memory Leaks in Java Code
- Embedding Declare in CPN Models via ProM
- B Radio
- The Right Amount of Britney
- After
- Before
- Cosimulating CPN models and ProM plugins and Application to ProM Orchestration
- That's an unconventional parking...
- Productivity
- Sneak Preview: Annotation of CPN Models in ProM
- CPN Simulation in ProM
- User-interface... from SWEDEN!
- B Good
- Two Protocols, One Wire
- The Shortest Distance…
- Food Poisoning
- ► June (19)
- Flying rats at a small cafe where we got a beer
- The portogese seem to be celebrating something today
- Conference dinner
- View from the conference dinner restaurant
- After dinner port. At €14 for half a bottle it was quite a steal.
- Must be a church, what with all the festive lights and so, I mean.
- Shiny decorations. Pretty.
- Braga is all decorated for the town fair. I have no idea who told them I was coming :-)
- View from the restaurant area
- View from the pool area
- The pool actually is quite nice
- In Porto airport you can get what is probably the smallest beer in the world. And this is the only size (I asked for a real one).
- Put Google's background picture feature to good use and Britnified Google
- B Tomfoolery
- Jamie Lynn
- Moving In
- Weird/wired Old Crap
- Black Spring
- Burned Out
- ► May (3)
- ► April (8)
- ► March (12)
- ► February (16)
- Persistence
- Whisky-Tango-Foxtrot!
- Hint
- dDist Week 5: Consistency
- Britney Wallpapers
- Multi-tasking
- The Joy of Windows
- Name Scheming
- Lecture on State Spaces in the CPN Course
- Crappy "Just-add-water" "Soup"
- LFP på dåse vs. LFP på flaske
- LFP på dåse
- dDist Week 4: Synchronization
- Live Streaming Lectures in dDist
- Server Move
- My Recipe for Mornay Sauce
- ► January (9)
- ► December (13)
- ► 2009 (86)
- ► December (17)
- People Start Arriving
- Group Picture
- Getting Ready
- Starter
- Sparkletini
- Celia Cleaning Kitchen
- On State-sponsored Art
- Christmas Eve
- I Can Drink That
- Nightmare Before Christmas
- What the Fucking Fuck?
- Paperless Office
- Some People are Idiots (Us, For Example)
- N900
- Easily Amused
- I Vote Against!
- PhDs from Daimi
- ► November (23)
- Hmmm...
- TSC!
- Sunny Bergen…?
- Python
- Isn't Socialism Really Un-solidary?
- Parallels Desktop
- Another Britney DVD
- WorldOfBritney's Twitter Hacked
- Mac OS X Server as VPN End-point and File Server
- Gadgety
- Britney's Twitter Account Hacked
- New Britney DVD
- Setting Up Mac Mini Server for Basic Operation
- Christmas Tree?
- Google Wave
- Beer Tasting
- CPN Tools on Mac OS X?
- Pretty Impressed…
- New Server
- It's a Kind of Magic
- Uncharacteristic of Apple
- Is This Blasphemy?
- Video for Britney's "3" is Out
- ► October (13)
- ► September (26)
- Legacy Code
- New Upcoming Single from Britney!
- After the Conference Dinner
- Before the Conference Dinner
- That's More Like It
- The Beer Choices
- Downtown Puerto de la Cruz
- View From My Hotel
- Kniver det med forståelsen…
- Damn Socialism!
- Yuck!
- Is Knowledge About Cell Phones Essential to the Economy…?
- Hi-fi
- Wait, huh…?
- Getting One's Just Deserts…
- New iPod
- CO2 is the Food of Trees! Why Do You Hate Trees?
- On a Scale from 1 to Stupid…
- In Soviet Denmark…
- My Blog
- Fredagscaféens Prisfinder
- Box o Meat
- Yeah, so This is not Exactly Fast
- My Office
- Found an Amplifier
- I mean, this is just not right!
- ► August (6)
- ► July (1)
- ► December (17)
- ► 2008 (2)
- ► 2003 (4)
- ► 2002 (3)
On my mind…
- The woenselmarkt looks pretty abandoned today. I like that. 1 hour ago
- The "B" in Benoit B. Mandelbrot is an abbreviation of Benoit B. Mandelbrot. 2 hours ago
Login
Categories
- Lectures(6)
- Presentations(14)
- ProM Plug-in(10)
- Uncategorized(430)
- Writings(9)
Tag Cloud
Access/CPN And a giant "fuck you" from the world to you Apple ASAP ATPN10 Beer Britmas Britney Code Coloured Petri nets CPN Tools Danish dDist Declare EMSS09 Facepalm Festival Food Funny Gadgets Hardware How about thinking that thru? Idiocy Images Java LFP Mac OS X Meet & Greet Meta Movies Music Operational Support Parallels Portugal Programming ProM Socialism Stupid idea Tenerife Well - it amuses ME! Whisky Windows Work Writings Youtube