During my PhD research, I worked on the design of behavior of component-based systems: “given a set of components and their behavior, is their composition correct?”. The main assumption is that analyzing sub components is less complex than analyzing a complete system, since you remove concurrency.

In my thesis, I assume these sub systems, the components, are given. A nice challenge would be to discover the sub systems in a Petri net. Marc Voorhoeve (who unfortunately deceased last November), wrote down this problem as a nice challenge.

Marc searches, given a net N, components A and B, and places c and d, such that all communication between A and B only use places c and d. The challenge can be extended, by, given a net N, to discover components A and B, and a set of places C, such that the intersection of A and B equals C, the two components communicate only via places in C, and each place in C can be typed (i.e., each place in c has its postset in B iff its preset is in A, and vice versa).

Discovery algorithms can be used to support the modeller in decomposing its system into a set of components, for example using the tool Yasper. In literature, some algorithms exist. However, these do not focus on communication, like Decomposition of Petri nets of Zaitsev focus on “functional Petri nets” (or what we call “multi workflow nets”).

More information needed? You found a solution? Don't hesitate and contact me!

IN MEMORIAM

In Memoriam I. Anders

Het bericht van het overlijden van onze medewerker 'Iemand Anders', één van de meest waardevolle en ijverige medewerkers heeft ons bedrijf zeer bedroefd. Anders laat een lege plek na, die zeer moeilijk op te vullen zal zijn. 'Iemand Anders' heeft voor ons bedrijf meer gedaan dan men van een normaal mens kan verwachten. Als er iets moest worden gedaan, of wanneer er hulp nodig was… hoe dikwijls hoorde men dan niet “laat Iemand Anders het maar doen”, en vroeg men een bepaalde medewerker een taak op zich te nemen, was vaak het antwoord” Laat iemand anders het maar doen”, of zelfs “Iemand Anders heeft daar meer verstand van”. 'Iemand Anders' was een bijzonder mens, helaas nu die er niet meer is….zullen we alles zelf moeten doen. Op 'Iemand Anders” kunnen we helaas niet meer rekenen.

Er waren eens drie mensen: Iemand, Iedereen en Niemand.

Op een dag moest er een belangrijke opdracht worden vervuld.

Iedereen werd gevraagd dit te doen.

Iedereen dacht echter dat Iemand het wel zou doen.

En hoewel Iedereen het kon, deed Niemand het.

Hierdoor werd Iemand boos, omdat het de taak was van Iedereen en nu had Niemand het gedaan.

Iedereen dacht dat Iemand het had kunnen doen, maar Niemand had zich gerealiseerd dat niet Iedereen het wilde doen.

Aan het eind beschuldigde Iedereen Iemand omdat Niemand deed wat Iedereen had kunnen doen

Carnaval is geweest, we zitten weer in de veertigdagentijd. In de komende weken bereiden we ons voor op het Paasfeest, het feest van het nieuwe begin. Laten we in deze tijd eens stilstaan bij die mensen die het niet zo breed hebben. Zoals Augustinus het verwoordt (Licht in het hart, preek 210 vers 12):

Denk toch vooral aan de armen. Berg in de hemelse schatkamer op wat u zichzelf ontzegt door soberder te leven. Laat Christus die honger lijdt, krijgen wat de christen die vast, minder krijgt. Laat de tuchtiging van degene die vrijwillig vast, degene die niets heeft, tot steun zijn. Laat de vrijwillige ontbering van de rijke de broodnodige voorraad voor de arme worden. Laat er ook in een zachtmoedige en nederige geest een barmhartige bereidheid tot vergeven zijn. Vraag vergiffenis als u onrecht heeft gedaan, schenk vergiffenis als u onrecht heeft geleden. Zo komen wij niet in het bezit van de satan, voor wie onenigheid tussen christenen een overwinning betekent. Want u kunt ook grote winst maken door de volgende vorm van vrijgevigheid: de schuld van uw mededienaar verlichten. Dan doet de Heer bij u hetzelfde. Beide goede werken heeft de hemelse leraar aan zijn leerlingen aanbevolen. Hij zei: `Spreek vrij, en u zult vrijgesproken worden. Geef, en u zal gegeven worden.' Denk maar aan die dienaar aan wie de heer zijn hele schuld opnieuw aanrekende, nadat hij hem die eerst had kwijtgescholden. Want de dienaar had een mededienaar die hem honderd denariën schuldig was, niet dezelfde barmhartigheid betoond als zijn heer met de tienduizend talenten aan hem.

Bij dit soort goede werken is er geen enkele uitvlucht mogelijk. Waar een wil is, is een weg. Iedereen kan wel zeggen: `Ik kan niet vasten, want dan krijg ik buikpijn.' Ook kan iedereen wel zeggen: `Ik wil best aan een arme geven, maar waar moet ik het vandaan halen? Ik heb niets.' Of: `Ik heb zo weinig, dat ik het niet durf weg te geven. Ik kan het niet missen.' Trouwens, de mensen verzinnen ook bij deze werken meestal flauwe uitvluchten, omdat hun geen goede te binnen willen schieten. Maar toch, wie kan er hier zeggen: `Ik heb geen vergiffenis geschonken aan iemand die erom vroeg, omdat mijn gezondheid het niet toeliet, of omdat ik geen hand had om uit te steken?' Vergeef, en u zal vergeven worden. Om te kunnen vergeven is geen enkele lichamelijke inspanning nodig, zelfs geen enkel deel van uw lichaam is nodig om uw ziel te helpen bij wat wordt gevraagd. Waar een wil is, is een weg. Ga uw gang maar, geef gerust. U zult er niets van voelen in uw lichaam en u zult er niets minder door hebben in uw huis. Verder, broeders en zusters, moet u wél zien wat er voor kwaad in steekt om een broeder of zuster die berouw toont, geen vergiffenis te schenken. En dat terwijl is voorgeschreven om zelfs de vijand nog te beminnen. Er staat geschreven: 'De zon mag over uw toorn niet ondergaan., Als het er zo voorstaat, denk er dan eens goed over na, mijn geliefden, of iemand nog christen mag worden genoemd, die déze dagen niet eens een eind wil maken aan zijn vijandigheid. Die had hij al helemaal nooit mogen koesteren!

Specificeren is moeilijk, zoals vele voorbeelden laten zien…

Om het gebruik van Petri netten en object modelleren te stimuleren en te verduidelijken, gebruik ik het Katholiek Architectuur Framework (KAF). Zoals het woord katholiek al zegt, is het een algemeen framework.

• Het KAF van het koren scheiden (dutch)

• Een aantal opgaven om te leren modelleren met Petrinetten.

• I hate typing passwords

When writing my PhD thesis, I used the wonderful tool WMF2EPS to transform my pictures into EPS format. Try it yourself!

The problem of IPv4 is that there are too few addresses available. Therefore, IPv6 is being rolled out. With FraJa WeB, we are currently deploying IPv6 as well. However, there is hardly any consumer product like switches and routers that have native support for IPv6. Therefore, the advice: need a new switch or router, check for IPv6 support!

De overheid wil langstudeerders aanpakken met een hoger collegegeld. Dit kan ook anders!

JMW