Modelling the adaption of a system to a changing environment gets more and more important. Application areas cover e.g. computer supported cooperative work, multi agent systems, dynamic process mining or mobile networks. One approach to combine formal modelling of dynamic systems and controlled model adaption are Petri net transformations. The main idea behind net transformation is the stepwise...

We present a twofolded view to the Petri Net Markup Language (PNML). On the one hand we describe the current state of PNML seen while adopting PNML for an existing tool. The extension allows easy exchange of examples between the PEP tool and other Petri net tools. On the other hand we show how to benefit from the versatility of the Extensible Markup Language (XML). We present a translator from ...

Deposit insurance schemes and bank failure resolution systems are asked to fulfill conflicting public policy objectives: on the one hand, they are supposed to protect small depositors and prevent contagion risks from bank runs; on the other hand, they are supposed to minimize aggressive risk taking by banks. This paper discusses the incentive-compatible design and interaction of both components...

The double pushout (DPO) approach for graph transformation has been applied already to Petri nets in order to model rule based transformations of the net structure. Recently, as alternative to the classical DPO approach, the cospan DPO approach has been proposed where rules are cospans instead of spans. Although the cospan DPO approach has been shown to be equivalent to the classical DPO approa...

khorasan-e-razavi province in the northeast of iran possesses varied climatic and geographical conditions that lead to a rich biodiversity. an investigation on the status of the fish fauna was carried out from march to october 2013. a total of 401 specimens was collected and identified, from 30 localities among seven counties in this province. sampling was performed using hand net, cast net and...

In this paper, we present the architecture of XRL/Flower. XRL/Flower is a software tool, which benefits from the fact that it is based on both XML and Petri nets. Standard XML tools can be deployed to parse, check, and handle XRL documents. The Petri-net representation allows for a straightforward and succinct implementation of the workflow engine. XRL constructs are automatically translated in...

The reflectance factors of transparent fibers, free delustering agent, are predicted by geometric as well as Kubelka-Munk models.&#10 Transparent fibers are simulated by a net of glass capillary tubes containing different solutions of dyestuffs. Based on the results, prediction of the reflectance factor of capillary net by geometric model is relatively better than those obtained from Kubelka-Mu...

What would it be like to walk into a real-life “Holodeck” or “Cerebro” and experience a stunning new world unlike anything seen before? Beyond this, what if we were able to experience hitherto unobservable aspects of nature, as environments into which the body cannot actually venture? In fact, these questions are on the minds of scientists and artists working together, right now, in the AlloSph...