@phdthesis{Fongwa2011, author = {Fongwa, Ernest Anye}, title = {A business modelling approach using petri nets to preserve ecosystem services by community-based financial participation}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:co1-opus-22930}, school = {BTU Cottbus - Senftenberg}, year = {2011}, abstract = {Nature protection has been a challenge for a long time due to continuous activities that reduced ecological processes and functions of the natural environment. These ecological processes and function provide huge benefits to humans and their communities known as Ecosystem Services (ES). ES are the benefits people derive from natural ecosystems. Many policy measures such as legal and voluntary protections have been used to preserve ES. But continuous increasing threats on the natural environment show that additional policy instruments are needed to achieve targets for environmental protection and sustainability. There are increasing land degradation, desertification, flooding, water shortage, climate change, which is mainly due to the sinks in ES. The problem is that ES are often considered as free goods making it different for their preservation. Even though tax policy for payment for ES has been used to encourage their preservation, they are reducing in supply. This is due to social dilemmas like differences in preferences, free riders and "tragedy of the Common" problems that are usually the case in resource distribution. Therefore tax systems may not lead to substantial preservation of ES. This has been argued on using utility theories and introduced market-base instruments for preserving ES as one way of achieving policy targets for nature protection. But for this Market for Ecosystem Services (MES) to grow, incentive and motivation schemes are needed to encourage multi-actors interaction in them. This has led to the establishment of a Community-based Financial Participation (CFP) framework as incentive and motivation schemes for business development for preserving ES. This thesis uses socio-economic and ecological concepts to argue for MES and developed a business modelling framework with Petri net. This involves multi-actors' interaction for the demand and supply for ES (multi-agent interaction) that are modelled for estimating their flows over a landscape for supporting policy targets based on market structures. It also modelled future scenario for achieving environmental balancing for preserving ES and provide a management framework for MES. The management scheme comprises of an estimating model for ES, and models for management scheme and CFP. This provides the basis of using Petri net modelling framework for CFP to foster the growth of MES as options for preserving ES. Petri nets modelling techniques is used in simulating multi-agent interaction for the demand and supply of ES that are couple with management and CFP models to form a unified system approach. Petri nets have been used in many disciplines, but this is the first attempt in its use for modelling ES. CFP has also been developed with the framework of the research for this thesis. UNESCO Biosphere Reserve Spreewald (BRSW) in the Lusatian region of south Brandenburg in Germany is taken as an experimental area for testing the concepts and models developed within the thesis research. The results of this thesis show that MES is a potential for achieving targets for preserving ES, which can contribute to nature protection. This has been justified through data sampling, analytical schemes and management support systems that have been provided in the business modelling and simulation framework in this thesis.}, subject = {Biosph{\"a}renreservat Spreewald; {\"O}kosystem; Dienstleistung; Petri-Netz; Modellierung; {\"O}kosystemdienstleistungen; Gesch{\"a}ftsmodellieren; Petrinetze; CFP; UNESCO-Biosph{\"a}renreservat Spreewald; Ecosystem services; Business modelling; Petri nets; CFP; UNESCO Biosphere Reserve Spreewald}, language = {en} } @phdthesis{Tovchigrechko2009, author = {Tovchigrechko, Alexey}, title = {Efficient symbolic analysis of bounded Petri nets using Interval decision diagrams}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:co1-opus-10294}, school = {BTU Cottbus - Senftenberg}, year = {2009}, abstract = {Der Schwerpunkt dieser Arbeit liegt bei verschiedenen Techniken, die Effizienz der symbolischen Petrinetzanalyse steigern k{\"o}nnen. Reduced ordered interval decision diagrams (ROIDDs) werden eingesetzt um Zustandsmengen von k-beschr{\"a}nkten Netzen zu codieren. Wir beschreiben Implementierung eines ROIDD-Packetes und spezielle ROIDD-Operationen, die in symbolischen Algorithmen verwendet werden. Wir untersuchen dann wie Effizienz der symbolischen Erreichbarkeitsanalyse verbessert werden kann und pr{\"a}sentieren einen neuen Saturation-Ansatz, der Strukturen von ROIDDs und k-beschr{\"a}nkten P/T-Netzen ausnutzt. Der Ansatz erlaubt Diagrammgr{\"o}ßen kleiner zu halten und kann Effizienz der symbolischen Analyse drastisch steigern. Saturation-basierte Techniken werden bei den Aufz{\"a}hlungen von stark zusammenh{\"a}ngenden Komponenten und Modelchecking eingesetzt. Implementierung von symbolischen Modelcheckers f{\"u}r k-beschr{\"a}nkte P/T-Netzte wird beschrieben. Wir betrachten CTL- und einen neuartigen LTL-Modelchecker. Eine Reihe von Techniken zur Effizienzsteigerung der Implementierung wird betrachtet.}, subject = {Petri-Netz; Model Checking; Petrinetze; Symbolische Analyse; Entscheidungsdiagramme; Model Checking; Petri nets; Symbolic analysis; Decision diagrams; Model checking}, language = {en} }