No description available.

Indiana University-Purdue University Indianapolis (IUPUI) / In the past decades, the rapid innovation of technology has greatly affected the automotive industry. However, every innovation has always been paired with safety risks that needs to be quickly addressed. This is where Petri nets (PNs) have come into the picture and have been used to model complex systems for different purposes, such as production management, traffic flow estimation and the introduction of new car features collectively known as, Adaptive Driver Assistance Systems (ADAS). Since most of these systems include both discrete and continuous dynamics, the Hybrid Petri net (HPN) model is an essential tool to model these. The objective of this thesis is to develop, analyze and simulate a lane keeping support system using an HPN model. Chapter 1 includes a brief summary of the specific ADAS used, lane departure warning and lane keeping assist systems and then related work on PNs is mentioned. Chapter 2 provides a background on Petri nets. In chapter 3, we develop a discrete PN model first, then we integrate continuous dynamics to extend it to a HPN model that combines the functionalities of the two independent ADAS systems. Several scenarios are introduced to explain the expected model behavior. Chapter 4 presents the analysis and simulation results obtained on the final model. Chapter 5 provides a summary for the work done and discusses future work.

caT, a Petri net-based hypertext system, supports the modeling of user characteristics, contextual information, as well as the policies that govern the operation of a digital library within the infrastructure that presents its contents. Traditionally, users have created caT networks from scratch, thus limiting their use to small collections. In this research, we introduce TcAT, a new authoring tool that supports features for component-based authoring, with a view to enable the creation of large caT nets that can represent complex, real-life spaces such as libraries and museums. TcAT supports graphical, template-based creation of nets as well as a textual language for easy manipulation of large structures. It implements composition operations from Petri net theory to select, categorize, and modify existing net fragments as building blocks for composing larger networks. Authors may switch modes between visual and textual authoring at will, thus combining the strengths of expressing large nets textually and selecting net fragments via point-and-click interaction. A user evaluation of the new authoring mechanisms suggests that this is a promising tool for improving the efficiency of experienced users as well as that of novice users, who are unfamiliar with the Petri net formalism.

No description available.

With load growth of distribution systems, it becomes very complicated for dispatchers to obtain restoration plan for unfaulted but out-of-service areas. In this thesis, a rule-based expert system with a colored Petri net (CPN) inference model is developed. The CPN models of distribution components such as four-way line switches are proposed to derive the proper switching operation plan for service restoration by applying reasoning in the CPN. After main transformer contingency has been identified and isolated, it is highly possible that the out of service customers can not be restored completely because of the shortage of capacity reserve. The feeders which serve more key customers with higher service priority will have better chance to be selected for restoration. With the system reconfiguration to cover the load change of service zones over a longer period, during the process of switching operation, the maximum load demand of out-of-service area over the restoration time is considered in the CPN. To prevent the over-unbalance tripping of distribution feeders during switching operation process, the maximum tolerable current unbalance between any two phases is also considered in the CPN model. To assure the restoration plan complying with the operation regulation, heuristic rules based on the standard operation procedures of Taipower distribution system are included in the best first search of the CPN. A Taipower distribution system with 67 feeders is selected for computer simulation in this thesis to demonstrate the effectiveness of the proposed methodology. It is found that the service restoration of distribution systems can be obtained very efficiently by applying the proposed CPN model.

In the final work it is made analysis of Petri nets and Petri nets simulators, analysis of modeling system composition and its methodology. There were presented topicality of theme, it’s practical and theoretical meaning, work purpose and tasks. There was made analysis of Petri net simulator on DSP and was made realization of Petri net on DSP. Presented conclusions of the final work, therefore it was mentioned practical results.

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.

Petrinetze werden in vielen Bereichen als Modellierungstechnik verwendet. Die verschiedenen Einsatzgebiete und Modellierungsziele erfordern dabei unterschiedliche Typen von Petrinetzen. Einen Petrinetz-Typ kennzeichnen -- neben den üblichen Stellen, Transitionen und Kanten -- eine Menge zusätzlicher, spezifischer Elemente, sowie eine spezifische Schaltregel. In der Literatur findet man zahlreiche verschiedene Petrinetz-Typen. Diese Vielfalt an Petrinetz-Typen lässt sich nicht ohne weiteres überblicken. Deshalb fehlt es auch nicht an Versuchen, allgemeine Petrinetz-Typen oder Klassifikationen -- auch einzelner Aspekte -- zu etablieren. Allerdings erfassen die bisherigen Ansätze nur einen kleinen Teil aller Petrinetz-Typen. Unser semantisch orientierter Klassifizierungsansatz des Petrinetz-Hyperwürfels umfasst deutlich mehr Petrinetz-Typen und erhebt den Anspruch, universell zu sein. Der Petrinetz-Hyperwürfel hat einen syntaktisch orientierten Klassifizierungsansatz als Grundlage. Dieser Ansatz führt einerseits zum Vorschlag der Petri Net Markup Language. Damit können Petrinetze aller Typen einheitlich beschrieben werden. Andererseits führt derselbe Ansatz zu einer Basis für Petrinetz-Werkzeuge, in der die einzelnen Teile eines Petrinetz-Typs unabhängig voneinander implementiert werden. Der Petrinetz-Kern ist eine derartige Basis mit dessen Hilfe Petrinetz-Werkzeuge gebaut werden. Er implementiert Konzepte, die allen Petrinetzen gemein sind, unabhängig von konkreten Petrinetz-Typen. Gemeinsam mit dem Petrinetz-Hyperwürfel bildet der Petrinetz-Kern ein weiteres Basiswerkzeug für einen parametrisierten Petrinetz-Typ mit einer parametrisierten Schaltregel. Die Petri Net Markup Language und der Petrinetz-Kern sind die wesentlichen Beiträge der vorliegenden Arbeit. Gemeinsam bilden sie ein mächtiges Grundgerüst für Petrinetz-Werkzeuge beliebiger Petrinetz-Typen. / Petri nets are widely used for modelling systems. The different areas and goals require different types of Petri nets. Each Petri net contains beside places, transitions, and arcs several further specific elements. Furthermore, a Petri net type defines a specific firing rule. There are many different Petri net types. It is not easy to have a general view on this bulk of Petri net types. Thus, there are attempts to establish general Petri net types or classifications of Petri net types (even of particular aspects). But, current approaches include only a few of all Petri net types. Our approach is a classification by semantics of Petri nets. We call this classification Petri Net Hypercube. It is meant to be universal for all Petri net types. A syntactical classification approach is the base of the Petri Net Hypercube. This approach leads on the one hand to the proposal of the Petri Net Markup Language. This language describes Petri nets of all types. On the other hand, the same approach leads to a base of Petri net tools. The parts of a Petri net type are implemented in this base independently of each other. The Petri Net Kernel is such a base for building Petri net tools. It implements those concepts which are general concepts of each Petri net. The Petri Net Kernel forms together with the Petri Net Hypercube a further basic Petri net tool for a parameterized Petri net type with a parameterized firing rule. The Petri Net Markup Language and the Petri Net Kernel are the main contributions of this thesis. Together, they are a powerful base for Petri net tools of each Petri net type.

Distributed systems are shared by a large number of users that generate task-based workloads. The sharing of hardware and software by multiple workloads mandates the need for security mechanisms that protect the artifacts of individual tasks. Additionally, these systems must meet user-based performance expectations, a factor that must be addressed during the security service selection process. Current performance-based security service selection methodologies use flat GSPN models that suffer from exponential evaluation complexity as the model size increases. Due to this limitation, these methodologies cannot evaluate models representing the scale of current distributed systems. To address the evaluation complexity problem the hierarchical methodology presented in this report was designed to avoid the system size limitations of the current flat GSPN model-based methodologies. The methodology relies only on general performance models capable of modeling platform-independent systems designs. The refactoring methodology uses a divide-and-conquer approach to evaluate the entire system model. Using model-refactoring techniques the input model is modified into a hierarchy of subsystem models using abstraction to isolate performance measurement to component level. This technique further increases the effectiveness of the performance evaluation by avoiding the duplicate evaluation of identical components. Therefore increasing the number of alternate security service components results in a linear complexity growth of the entire system model. Thus, the limiting factor of the hierarchical methodology is the size of the largest component rather than the previous system size limitation. The experimental results show that the hierarchical model-based methodology is able to scale beyond system model sizes that can be evaluated using current flat GSPN-based performance evaluation methodologies. This scalability improvement implies that the hierarchical technique can evaluate models containing up to 50 individual components using the current GSPN tools. Thus the contribution of this hierarchical technique will continue to improve with subsequent advancements in GSPN model evaluation techniques.

Este trabalho descreve a utilização da Rede de Petri como ferramenta de análise e desenvolvimento da automação de uma Micro-usina de cogeração piloto de 130 kW. O projeto foi implantado no centro laboratorial de qualidade de energia da Escola Politécnica da Universidade de São Paulo. O objetivo principal desta Micro-usina é estudar as principais variáveis inerentes à qualidade de energia e funcionalidades destes tipos de sistemas automatizados. A utilização da Rede de Petri (RP) permitiu prever a alcançabilidade, vivacidade, segurança e reversibilidade do programa aplicativo desenvolvido e implantado em um controlador programável (CLP) de última geração. Através de uma rede de comunicação de protocolo aberto foi possível a troca de informações entre o CLP e os módulos de controle.dos geradores (G1 e G2). Entradas e saídas digitais foram utilizadas para monitorar e comandar as chaves de transferência automática (Close e Open Transition) e também os disjuntores motorizados. As operações realizadas são sinalizadas no painel local de controle e transferência (PCT) assim como, via rede Ethernet, na interface remota de supervisão e controle (SCADA).No estudo de caso da Micro-usina de cogeração foram identificadas um total de 24 posições (Position) distintas, considerando as quatro fontes de geração atuais e os dois centros de consumo de energia. Através de uma IHM local ou um supervisório remoto (SCADA) é possível a mudança entre as posições (topologia) permitindo realizar as principais manobras de paralelismo momentâneo e transitório dos grupos geradores com a concessionária. No programa aplicativo do CLP foi implementado o intertravamento de segurança para todos os equipamentos comandados, assumindo sempre o desconhecimento, por parte do operador, dos critérios e seqüências de segurança exigidos para execução das transições entre topologias (pior caso). / This study is about the usage of the Petri Net as an analysis and development tool of the automation of a pilot micro plant of 130 kW. The project was carried out in the energy quality laboratory center at the Escola Politécnica de São Paulo. Its main goal was to study the most important variables related to the quality of energy and the functionalities of the automatized system types. By using the Petri Net, it was possible to foresee the attainment, vivacity, reliability and reversibility of the software, developed and installed in a state-of-the-art programmable logical controller (PLC). Through an open protocol communication network, information was exchanged between the PLC and the generators (G1 and G2) control modules. Digital inputs and outputs were used to monitor and switch the automatic transfer keys (Close and Open Transition) and the motor switches. The procedures done were shown on a local panel of control and transfer, as well as on the Ethernet, at a remote supervision and control interface (SCADA). In this case study, 24 different positions were identified, taking into account the four sources of generation at the moment and the two centers of energy consumption. Through local IHM or remote supervision (SCADA), it was possible to switch positions (topology) and perform the main maneuvres of momentary and transitional parallelism from generator groups to concessionary. As to the PLC application program, a security block was set to all commanded devices, assuming that the operator was unaware of the criteria and security steps needed to proceed with transitions in topology (worst case).