息災なく お過ごし. ルマ フュージョン 買い切り. Petri net example with solution pdf. Joachim von fircks wikipedia.