The Modern State and the Re-Creation of the Indigenous Other: The Case of the Authentic Sámi in Sweden and the White Man’s Indian in the United States of America.

The present study comparatively examined the socio-political and economic transformation of the indigenous Sámi in Sweden and the Indian American in the United States of America occurring first as a consequence of colonization and later as a product of interaction with the modern territorial and industrial state, from approximately 1500 to 1900. The first colonial encounters of the Europeans with these autochthonous populations ultimately created an imagery of the exotic Other and of the noble savage. Despite these disparaging representations, the cross-cultural settings in which these interactions took place also produced the hybrid communities and syncretic life that allowed levels of cultural accommodation, autonomous space, and indigenous agency to emerge. By the nineteenth century, however, the modern territorial and industrial state rearranges the dynamics and reaches of power across a redefined territorial sovereign space, consequently, remapping belongingness and identity. In this context, the status of indigenous peoples, as in the case of Sámi and of Indian Americans, began to change at par with industrialization and with modernity. At this point in time, indigenous populations became a hindrance to be dealt with the legal re-codification of Indigenousness into a vacuumed limbo of disenfranchisement. It is, thus, the modern territorial and industrial state that re-creates the exotic into an indigenous Other. The present research showed how the initial interaction between indigenous and Europeans changed with the emergence of the modern state, demonstrating that the nineteenth century, with its fundamental impulses of industrialism and modernity, not only excluded and marginalized indigenous populations because they were considered unfit to join modern society, it also re-conceptualized indigenous identity into a constructed authenticity.

Formal Modeling and Analysis Techniques for High Level Petri Nets

Petri Nets are a formal, graphical and executable modeling technique for the specification and analysis of concurrent and distributed systems and have been widely applied in computer science and many other engineering disciplines. Low level Petri nets are simple and useful for modeling control flows but not powerful enough to define data and system functionality. High level Petri nets (HLPNs) have been developed to support data and functionality definitions, such as using complex structured data as tokens and algebraic expressions as transition formulas. Compared to low level Petri nets, HLPNs result in compact system models that are easier to be understood. Therefore, HLPNs are more useful in modeling complex systems. There are two issues in using HLPNs - modeling and analysis. Modeling concerns the abstracting and representing the systems under consideration using HLPNs, and analysis deals with effective ways study the behaviors and properties of the resulting HLPN models. In this dissertation, several modeling and analysis techniques for HLPNs are studied, which are integrated into a framework that is supported by a tool. For modeling, this framework integrates two formal languages: a type of HLPNs called Predicate Transition Net (PrT Net) is used to model a system's behavior and a first-order linear time temporal logic (FOLTL) to specify the system's properties. The main contribution of this dissertation with regard to modeling is to develop a software tool to support the formal modeling capabilities in this framework. For analysis, this framework combines three complementary techniques, simulation, explicit state model checking and bounded model checking (BMC). Simulation is a straightforward and speedy method, but only covers some execution paths in a HLPN model. Explicit state model checking covers all the execution paths but suffers from the state explosion problem. BMC is a tradeoff as it provides a certain level of coverage while more efficient than explicit state model checking. The main contribution of this dissertation with regard to analysis is adapting BMC to analyze HLPN models and integrating the three complementary analysis techniques in a software tool to support the formal analysis capabilities in this framework. The SAMTools developed for this framework in this dissertation integrates three tools: PIPE+ for HLPNs behavioral modeling and simulation, SAMAT for hierarchical structural modeling and property specification, and PIPE+Verifier for behavioral verification.