Application and Theory of Petri Nets

DEFF Research Database (Denmark)

This volume contains the proceedings of the 13th International Conference onApplication and Theory of Petri Nets, held in Sheffield, England, in June 1992. The aim of the Petri net conferences is to create a forum for discussing progress in the application and theory of Petri nets. Typically....... Balbo and W. Reisig, 18 submitted papers, and seven project papers. The submitted papers and project presentations were selectedby the programme committee and a panel of referees from a large number of submissions....

Petri Nets

Indian Academy of Sciences (India)

GENERAL I ARTICLE ... In Part 1 of this two-part article, we have seen im- ..... mable logic controller and VLSI arrays, office automation systems, workflow management systems, ... complex discrete event and real-time systems; and Petri nets.

Coloured Petri Nets

DEFF Research Database (Denmark)

Jensen, Kurt

1991-01-01

This paper describes how Coloured Petri Nets (CP-nets) have been developed — from being a promising theoretical model to being a full-fledged language for the design, specification, simulation, validation and implementation of large software systems (and other systems in which human beings and...

The equivalency between logic Petri workflow nets and workflow nets.

Science.gov (United States)

Wang, Jing; Yu, ShuXia; Du, YuYue

2015-01-01

Logic Petri nets (LPNs) can describe and analyze batch processing functions and passing value indeterminacy in cooperative systems. Logic Petri workflow nets (LPWNs) are proposed based on LPNs in this paper. Process mining is regarded as an important bridge between modeling and analysis of data mining and business process. Workflow nets (WF-nets) are the extension to Petri nets (PNs), and have successfully been used to process mining. Some shortcomings cannot be avoided in process mining, such as duplicate tasks, invisible tasks, and the noise of logs. The online shop in electronic commerce in this paper is modeled to prove the equivalence between LPWNs and WF-nets, and advantages of LPWNs are presented.

The Equivalency between Logic Petri Workflow Nets and Workflow Nets

Science.gov (United States)

Wang, Jing; Yu, ShuXia; Du, YuYue

2015-01-01

Logic Petri nets (LPNs) can describe and analyze batch processing functions and passing value indeterminacy in cooperative systems. Logic Petri workflow nets (LPWNs) are proposed based on LPNs in this paper. Process mining is regarded as an important bridge between modeling and analysis of data mining and business process. Workflow nets (WF-nets) are the extension to Petri nets (PNs), and have successfully been used to process mining. Some shortcomings cannot be avoided in process mining, such as duplicate tasks, invisible tasks, and the noise of logs. The online shop in electronic commerce in this paper is modeled to prove the equivalence between LPWNs and WF-nets, and advantages of LPWNs are presented. PMID:25821845

Petri Nets

Indian Academy of Sciences (India)

Home; Journals; Resonance – Journal of Science Education; Volume 4; Issue 9. Petri Nets - Applications. Y Narahari. General Article Volume 4 Issue 9 September 1999 pp 44-52 ... Author Affiliations. Y Narahari1. Department of Computer Science and Automation, Indian Institute of Science, Bangalore 560 012, India.

Development of automated operating procedure system using fuzzy colored petri nets for nuclear power plants

International Nuclear Information System (INIS)

Lee, Seung Jun; Seong, Poong Hyun

2004-01-01

In this work, AuTomated Operating Procedure System (ATOPS) is developed. ATOPS is an automation system for emergency operation of a nuclear power plant (NPP) and it can monitor signals, diagnose statuses, and generate control actions according to corresponding operating procedures without any human operator's help. Main functions of ATOPS are an anomaly detection function and a procedure execution function but only the procedure execution function is implemented in this work because this work is just the first step. In the procedure execution function, operating procedures of NPPs are analyzed and modeled using Fuzzy Colored Petri Nets (FCPN) and executed depending on decision making of the inference engine. In this work, ATOPS prototype is developed to demonstrate its feasibility and it is also validated using the FISA-2/WS simulator. The validation is performed for the cases of a loss of coolant accident (LOCA) and a steam generator tube rupture (SGTR). The simulation results show that ATOPS works correctly in the emergency situations

CPN Tools-Assisted Simulation and Verification of Nested Petri Nets

Directory of Open Access Journals (Sweden)

L. W. Dworza´nski

2012-01-01

Full Text Available Nested Petri nets (NP-nets are an extension of Petri net formalism within the “netswithin-nets” approach, when tokens in a marking are Petri nets, which have an autonomous behavior and are synchronized with the system net. The formalism of NP-nets allows modeling multi-level multi-agent systems with dynamic structure in a natural way. Currently, there is no tool for supporting NP-nets simulation and analysis. The paper proposes the translation of NP-nets into Colored Petri nets and the use of CPN Tools as a virtual machine for NP-nets modeling, simulation and automatic verification.

Modeling of Biometric Identification System Using the Colored Petri Nets

Science.gov (United States)

Petrosyan, G. R.; Ter-Vardanyan, L. A.; Gaboutchian, A. V.

2015-05-01

In this paper we present a model of biometric identification system transformed into Petri Nets. Petri Nets, as a graphical and mathematical tool, provide a uniform environment for modelling, formal analysis, and design of discrete event systems. The main objective of this paper is to introduce the fundamental concepts of Petri Nets to the researchers and practitioners, both from identification systems, who are involved in the work in the areas of modelling and analysis of biometric identification types of systems, as well as those who may potentially be involved in these areas. In addition, the paper introduces high-level Petri Nets, as Colored Petri Nets (CPN). In this paper the model of Colored Petri Net describes the identification process much simpler.

Coloured Petri Nets

DEFF Research Database (Denmark)

Jensen, Kurt; Kristensen, Lars Michael

Coloured Petri Nets (CPN) is a graphical language for modelling and validating concurrent and distributed systems, and other systems in which concurrency plays a major role. The development of such systems is particularly challenging because of inherent intricacies like possible nondeterminism an...

Development of an automated operating procedure system using fuzzy colored petri nets for nuclear power plants

International Nuclear Information System (INIS)

Lee, Seung Jun; Seong, Poong Hyun

2002-01-01

In this work, AuTomated Operating Procedure System (ATOPS) is developed. ATOPS is an automation system for operation of a nuclear power plant (NPP) which can monitor signals, diagnose statuses, and generate control actions according to corresponding operating procedures, without any human operator's help. Main functions of ATOPS are anomaly detection function and procedure execution function, but only the procedure execution function is implemented because this work is just the first step. In the procedure execution function, operating procedures of NPP are analyzed and modeled using Fuzzy Colored Petri Nets (FCPN), and executed depending on decision making of the inference engine. In this work, an ATOPS prototype is developed in order to demonstrate its feasibility and it is also validated using FISA-2/WS simulator. The validation is performed for the cases of a loss of coolant accident (LOCA) and a steam generator tube rupture (SGTR). The simulation results show that ATOPS works correctly in the emergency situations

Petri nets - part 1: concepts and application areas

International Nuclear Information System (INIS)

Sivertsen, Terje

2004-03-01

There exist a number of models, languages, methods, and tools that support the specification and analysis of system requirements. One important class comprises graphical methods based on the concept of Petri nets. Due to the wide variety of applications, these methods are relevant also in research and applications outside the digital systems safety domain. The present report constitutes the first of three parts of a unified exposition of graphical methods based on the concept of Petri nets. The report provides an introduction to basic concepts of Petri nets and an overview of a wide variety of application areas. The second part of the trilogy will present a number of techniques and tools. The third part will focus on analysis. Petri nets have been proposed for a wide variety of applications, and new areas are considered as new challenges emerge from scientific, technological, and social developments. The wide variety of application areas reflects a broad interest in Petri nets, coming from diverse directions. Empirically, as well as theoretically, there are good reasons to claim that Petri nets are applicable for many different kinds of problems. What is common to the different applications and problems addressed is the need for a formalism that allows adequate representation of important system characteristics like concurrency, asyncronicity, distribution, parallelism, and non-determinism. Several of the references in the report discuss NPP-related applications, or applications with great potentials for technology transfer from other areas to the nuclear domain. (Author)

The ePNK: An Extensible Petri Net Tool for PNML

DEFF Research Database (Denmark)

Kindler, Ekkart

2011-01-01

The Petri Net Markup Language (PNML) is an XML-based interchange format for all kinds of Petri nets, which is an ISO/IEC International Standard 15909-2 now. The focus of this standard is on PNML as an interchange format for high-level Petri nets. PNML, however, is more general and allows exchanging...

Transactions on Petri Nets and Other Models of Concurrency V

DEFF Research Database (Denmark)

submission track of ToPNoC. The 12 papers cover a diverse range of topics including model checking and system verification, synthesis, foundational work on specific classes of Petri nets, and innovative applications of Petri nets and other models of concurrency. Thus, this volume gives a good view of ongoing...... concurrent systems and Petri nets research...

Coloured Petri Nets

CERN Document Server

Jensen, Kurt

2009-01-01

Coloured Petri Nets (CPN) is a graphical language for modelling and validating concurrent and distributed systems, and other systems in which concurrency plays a major role. This book introduces the constructs of the CPN modelling language and presents the related analysis methods. It provides a comprehensive road map for the practical use of CPN.

Teaching Petri Nets Using P3

Science.gov (United States)

Gasevic, Dragan; Devedzic, Vladan

2004-01-01

This paper presents Petri net software tool P3 that is developed for training purposes of the Architecture and organization of computers (AOC) course. The P3 has the following features: graphical modeling interface, interactive simulation by single and parallel (with previous conflict resolution) transition firing, two well-known Petri net…

The application of Petri nets to failure analysis

International Nuclear Information System (INIS)

Liu, T.S.; Chiou, S.B.

1997-01-01

Unlike the technique of fault tree analysis that has been widely applied to system failure analysis in reliability engineering, this study presents a Petri net approach to failure analysis. It is essentially a graphical method for describing relations between conditions and events. The use of Petri nets in failure analysis enables to replace logic gate functions in fault trees, efficiently obtain minimal cut sets, and absorb models. It is demonstrated that for failure analysis Petri nets are more efficient than fault trees. In addition, this study devises an alternative; namely, a trapezoidal graph method in order to account for failure scenarios. Examples validate this novel method in dealing with failure analysis

Towards Self-Managed Executable Petri Nets

DEFF Research Database (Denmark)

Hansen, Klaus Marius; Zhang, Weishan; Ingstrup, Mads

2008-01-01

An issue in self-managed systems is that different abstractions and programming models are used on different architectural layers, leading to systems that are harder to build and understand. To alleviate this, we introduce a self-management approach which combines high-level Petri nets...... with the capability of distributed communication among nets. Organized in a three-layer goal management, change management, and component control architecture this allows for self-management in distributed systems. We validate the approach through the Flamenco/CPN middleware that allows for self-management of service......-oriented pervasive computing systems through the runtime interpretation of colored Petri nets. The current work focuses on the change management and component control layers....

Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification

DEFF Research Database (Denmark)

Fagerland Simonsen, Kent Inge; Kristensen, Lars Michael; Kindler, Ekkart

2015-01-01

PetriCode is a tool that supports automated generation of protocol software from a restricted class of Coloured Petri Nets (CPNs) called Pragmatics Annotated Coloured Petri Nets (PA-CPNs). Petri-Code and PA-CPNs have been designed with five main requirements in mind, which include the same model...

Transactions on Petri Nets and Other Models of Concurrency VII

DEFF Research Database (Denmark)

The first section is concerned with the creation of Petri net models and their validation The second section addresses semantic issues and analysis methods The third section is devoted to the automatic synthesis of Petri nets These Transactions publish archival papers in the broad area of Petri n...

A simulator for high-level Petri nets: An ePNK application

DEFF Research Database (Denmark)

Kindler, Ekkart; Laganeckas, Mindaugas

2013-01-01

The ePNK is a platform for Petri net tools based on the PNML transfer format. One of its important features is its extensibility, which allows developers to plug in new Petri net types and new functions and applications for different kinds of Petri nets. The basic version of the ePNK provides...

Pragmatics annotated coloured petri nets for protocol software generation and verification

DEFF Research Database (Denmark)

Simonsen, Kent Inge Fagerland; Kristensen, Lars M.; Kindler, Ekkart

2016-01-01

Pragmatics Annotated Coloured Petri Nets (PA-CPNs) are a restricted class of Coloured Petri Nets (CPNs) developed to support automated generation of protocol software. The practical application of PA-CPNs and the supporting PetriCode software tool have been discussed and evaluated in earlier papers...

Petri nets SM-cover-based on heuristic coloring algorithm

Science.gov (United States)

Tkacz, Jacek; Doligalski, Michał

2015-09-01

In the paper, coloring heuristic algorithm of interpreted Petri nets is presented. Coloring is used to determine the State Machines (SM) subnets. The present algorithm reduces the Petri net in order to reduce the computational complexity and finds one of its possible State Machines cover. The proposed algorithm uses elements of interpretation of Petri nets. The obtained result may not be the best, but it is sufficient for use in rapid prototyping of logic controllers. Found SM-cover will be also used in the development of algorithms for decomposition, and modular synthesis and implementation of parallel logic controllers. Correctness developed heuristic algorithm was verified using Gentzen formal reasoning system.

Requirements and Evaluation of tool papers for PETRI NETS

DEFF Research Database (Denmark)

Franceschinis, Giuliana; van Hee, Kees; Kindler, Ekkart

2008-01-01

This paper gives guidelines for the publication of papers on software tools, in particular for Petri net tools. The guidelines are illustrated by an example.......This paper gives guidelines for the publication of papers on software tools, in particular for Petri net tools. The guidelines are illustrated by an example....

PNet: A Python Library for Petri Net Modeling and Simulation

OpenAIRE

Zhu En Chay; Bing Feng Goh; Maurice HT Ling

2016-01-01

Petri Net is a formalism to describe changes between 2 or more states across discrete time and has been used to model many systems. We present PNet – a pure Python library for Petri Net modeling and simulation in Python programming language. The design of PNet focuses on reducing the learning curve needed to define a Petri Net by using a text-based language rather than programming constructs to define transition rules. Complex transition rules can be refined as regular Python functions. To de...

Computer Tools for Construction, Modification and Analysis of Petri Nets

DEFF Research Database (Denmark)

Jensen, Kurt

1987-01-01

The practical use of Petri nets is — just as any other description technique — very dependent on the existence of adequate computer tools, which may assist the user to cope with the many details of a large description. For Petri nets there is a need for tools supporting construction of nets...

Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification

DEFF Research Database (Denmark)

Simonsen, Kent Inge; Kristensen, Lars Michael; Kindler, Ekkart

This paper presents the formal definition of Pragmatics Annotated Coloured Petri Nets (PA-CPNs). PA-CPNs represent a class of Coloured Petri Nets (CPNs) that are designed to support automated code genera-tion of protocol software. PA-CPNs restrict the structure of CPN models and allow Petri net...... elements to be annotated with so-called pragmatics, which are exploited for code generation. The approach and tool for gen-erating code is called PetriCode and has been discussed and evaluated in earlier work already. The contribution of this paper is to give a formal def-inition for PA-CPNs; in addition...

Petri Net Modeling of Computer Virus Life Cycle | Ikekonwu ...

African Journals Online (AJOL)

Virus life cycle, which refers to the stages of development of a computer virus, is presented as a suitable area for the application of Petri nets. Petri nets a powerful modeling tool in the field of dynamic system analysis is applied to model the virus life cycle. Simulation of the derived model is also presented. The intention of ...

Annotating Coloured Petri Nets

DEFF Research Database (Denmark)

Lindstrøm, Bo; Wells, Lisa Marie

2002-01-01

Coloured Petri nets (CP-nets) can be used for several fundamentally different purposes like functional analysis, performance analysis, and visualisation. To be able to use the corresponding tool extensions and libraries it is sometimes necessary to include extra auxiliary information in the CP......-net. An example of such auxiliary information is a counter which is associated with a token to be able to do performance analysis. Modifying colour sets and arc inscriptions in a CP-net to support a specific use may lead to creation of several slightly different CP-nets – only to support the different uses...... of the same basic CP-net. One solution to this problem is that the auxiliary information is not integrated into colour sets and arc inscriptions of a CP-net, but is kept separately. This makes it easy to disable this auxiliary information if a CP-net is to be used for another purpose. This paper proposes...

A Method of Sample Models of Program Construction in Terms of Petri Nets

Directory of Open Access Journals (Sweden)

D. I. Kharitonov

2015-01-01

Full Text Available In the article a method of automated construction of Petri nets simulating the behaviour of imperative programs is considered from the formal point of view. Petri net samples with certain characteristics are necessary in programming new algorithms for program analysis; in particular, they can be used for developing or optimizing algorithms of Petri nets compositions and decompositions, building the reachability tree, checking invariants and so on. The generation process consists of two stages. At the first stage, construction templates for a resulting net and parameters for construction are described. With the help of these parameters it is possible to regulate the final size and the absolute or relative amount of certain structures in the resulting net. At the second stage, iterative process of automated net construction is used for Petri net generation of any size, limited only by an available computer memory. In the first section of the article the minimum necessary definitions are given and a new version of Petri nets composition operation by places is introduced. Commutative and associative properties of introduced binary operation allow to synchronize any number of Petri nets in arbitrary order. Then construction template is defined as a marked Petri net with input and output interfaces and rules for templates composition using this interfaces. A number of construction templates can be united in a collection, for which the evolution rules are defined. The completeness property of a collection guarantees that the collection evolution results in a Petri net that simulates the imperative program behavior. The article provides a version of the construction templates complete collection and an example of Petri net simulating sequential imperative program construction.

State Space Methods for Timed Petri Nets

DEFF Research Database (Denmark)

Christensen, Søren; Jensen, Kurt; Mailund, Thomas

2001-01-01

it possible to condense the usually infinite state space of a timed Petri net into a finite condensed state space without loosing analysis power. The second method supports on-the-fly verification of certain safety properties of timed systems. We discuss the application of the two methods in a number......We present two recently developed state space methods for timed Petri nets. The two methods reconciles state space methods and time concepts based on the introduction of a global clock and associating time stamps to tokens. The first method is based on an equivalence relation on states which makes...

A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets

DEFF Research Database (Denmark)

David, Alexandre; Jacobsen, Lasse; Jacobsen, Morten

2012-01-01

Timed-arc Petri nets (TAPN) are a well-known time extension of thePetri net model and several translations to networks of timedautomata have been proposed for this model.We present a direct, DBM-basedalgorithm for forward reachability analysis of bounded TAPNs extended with transport arcs...

Automatic pipeline operation using Petri Nets

Energy Technology Data Exchange (ETDEWEB)

Moreira, Guilherme O. [PETROBRAS TRANSPORTE S.A., Rio de Janeiro, RJ (Brazil)

2009-07-01

A pipeline operation requires several actions, attention and time from the control room operator in each of its operating phases. This article proposition is to use automation as something more than a remote control, drastically reducing the number of repetitive and routine actions needed from the operator to start and stop the system, granting more time for system supervision, decision making during critical conditions and avoiding errors caused due to the need of several actions being executed in a short period of time. To achieve these objectives the pipeline operation will be modeled as a Petri Net consisting of states, event and actions. A methodology for converting this Petri Net into a Ladder controller code will also be proposed. (author)

CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets

DEFF Research Database (Denmark)

Ratzer, Anne Vinter; Wells, Lisa Marie; Lassen, Henry Michael

2003-01-01

CPN Tools is a tool for editing, simulating and analysing Coloured Petri Nets. The GUI is based on advanced interaction techniques, such as toolglasses, marking menus, and bi-manual interaction. Feedback facilities provide contextual error messages and indicate dependency relationships between ne...... information such as boundedness properties and liveness properties. The functionality of the simulation engine and state space facilities are similar to the corresponding components in Design/CPN, which is a widespread tool for Coloured Petri Nets.......CPN Tools is a tool for editing, simulating and analysing Coloured Petri Nets. The GUI is based on advanced interaction techniques, such as toolglasses, marking menus, and bi-manual interaction. Feedback facilities provide contextual error messages and indicate dependency relationships between net...

A Brief Introduction to Coloured Petri Nets

DEFF Research Database (Denmark)

Jensen, Kurt

1997-01-01

Coloured Petri Nets (CP-nets or CPN) is a graphical oriented language for design, specification, simulation and verification of systems. It is in particular well- suited for systems in which communication, synchronisation and resource sharing are important. Typical examples of application areas a...

Performance Analysis using Coloured Petri Nets

DEFF Research Database (Denmark)

Wells, Lisa Marie

Performance is often a central issue in the design, development, and configuration of systems. It is not always enough to know that systems work properly, they must also work effectively. There are numerous studies, e.g. in the areas of computer and telecommunication systems, manufacturing......, military, health care, and transportation, that have shown that time, money, and even lives can be saved if the performance of a system is improved. Performance analysis studies are conducted to evaluate existing or planned systems, to compare alternative configurations, or to find an optimal configuration...... of a system. There are three alternative techniques for analysing the performance of a system: measurement, analytical models, and simulation models. This dissertation focuses on the the use of coloured Petri nets for simulationbased performance analysis of industrial-sized systems. Coloured Petri nets...

Dependencies in event trees analyzed by Petri nets

International Nuclear Information System (INIS)

Nývlt, Ondřej; Rausand, Marvin

2012-01-01

This paper discusses how non-marked Petri nets can be used to model and analyze event trees where the pivotal (branching) events are dependent and modeled by fault trees. The dependencies may, for example, be caused by shared utilities, shared components, or general common cause failures that are modeled by beta-factor models. These dependencies are cumbersome to take into account when using standard event-/fault tree modeling techniques, and may lead to significant errors in the calculated end-state probabilities of the event tree if they are not properly analyzed. A new approach is proposed in this paper, where the whole event tree is modeled by a non-marked Petri net and where P-invariants, representing the structural properties of the Petri net, are used to obtain the frequency of each end-state of the event tree with dependencies. The new approach is applied to a real example of an event tree analysis of the Strahov highway tunnel in Prague, Czech Republic, including two types of dependencies (shared Programmable Logic Controllers and Common Cause Failures). - Highlights: ► In this paper, we model and analyze event trees (ET) using Petri nets. ► The pivotal events of the modeled event trees are dependent (e.g., shared PLCs, CCF). ► A new method based on P-invariants to obtain probabilities of end states is proposed. ► Method is shown in the case study of the Stahov tunnel in the Czech Republic.

A Generalised Approach to Petri Nets and Algebraic Specifications

International Nuclear Information System (INIS)

Sivertsen, Terje

1998-02-01

The present report represents a continuation of the work on Petri nets and algebraic specifications. The reported research has focused on generalising the approach introduced in HWR-454, with the aim of facilitating the translation of a wider class of Petri nets into algebraic specification. This includes autonomous Petri nets with increased descriptive power, as well as non-autonomous Petri nets allowing the modelling of systems (1) involving extensive data processing; (2) with transitions synchronized on external events; (3) whose evolutions are time dependent. The generalised approach has the important property of being modular in the sense that the translated specifications can be gradually extended to include data processing, synchronization, and timing. The report also discusses the relative merits of state-based and transition-based specifications, and includes a non-trivial case study involving automated proofs of a large number of interrelated theorems. The examples in the report illustrate the use of the new HRP Prover. Of particular importance in this context is the automatic transformation between state-based and transitionbased specifications. It is expected that the approach introduced in HWR-454 and generalised in the present report will prove useful in future work on combination of wide variety of specification techniques

Modeling of water treatment plant using timed continuous Petri nets

Science.gov (United States)

Nurul Fuady Adhalia, H.; Subiono, Adzkiya, Dieky

2017-08-01

Petri nets represent graphically certain conditions and rules. In this paper, we construct a model of the Water Treatment Plant (WTP) using timed continuous Petri nets. Specifically, we consider that (1) the water pump always active and (2) the water source is always available. After obtaining the model, the flow through the transitions and token conservation laws are calculated.

Reachability Trees for High-level Petri Nets

DEFF Research Database (Denmark)

Jensen, Kurt; Jensen, Arne M.; Jepsen, Leif Obel

1986-01-01

the necessary analysis methods. In other papers it is shown how to generalize the concept of place- and transition invariants from place/transition nets to high-level Petri nets. Our present paper contributes to this with a generalization of reachability trees, which is one of the other important analysis...

Application of Coloured Petri Nets in System Development

DEFF Research Database (Denmark)

Kristensen, Lars Michael; Jørgensen, Jens Bæk; Jensen, Kurt

2004-01-01

Coloured Petri Nets (CP-nets or CPNs) and their supporting computer tools have been used in a wide range of application areas such as communication protocols, software designs, and embedded systems. The practical application of CP-nets has also covered many phases of system development ranging fr...

Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems

DEFF Research Database (Denmark)

Jensen, Kurt; Kristensen, Lars Michael; Wells, Lisa Marie

2007-01-01

Coloured Petri Nets (CPNs) is a language for the modeling and validation og systems in which concurrency, communication, and synchronisation play a major role. Coloured Petri Nets is a descrete-event modeling language combining Petri Nets with the funcitonal programming language Standard ML. Petr...... with user-defined Standard ML functions. A license for CPN Tools can be obtained free of charge, also for commercial use....

Petri Nets in Cryptographic Protocols

DEFF Research Database (Denmark)

Crazzolara, Federico; Winskel, Glynn

2001-01-01

A process language for security protocols is presented together with a semantics in terms of sets of events. The denotation of process is a set of events, and as each event specifies a set of pre and postconditions, this denotation can be viewed as a Petri net. By means of an example we illustrate...

Accurate Complex Systems Design: Integrating Serious Games with Petri Nets

Directory of Open Access Journals (Sweden)

Kirsten Sinclair

2016-03-01

Full Text Available Difficulty understanding the large number of interactions involved in complex systems makes their successful engineering a problem. Petri Nets are one graphical modelling technique used to describe and check proposed designs of complex systems thoroughly. While automatic analysis capabilities of Petri Nets are useful, their visual form is less so, particularly for communicating the design they represent. In engineering projects, this can lead to a gap in communications between people with different areas of expertise, negatively impacting achieving accurate designs.In contrast, although capable of representing a variety of real and imaginary objects effectively, behaviour of serious games can only be analysed manually through interactive simulation. This paper examines combining the complementary strengths of Petri Nets and serious games. The novel contribution of this work is a serious game prototype of a complex system design that has been checked thoroughly. Underpinned by Petri Net analysis, the serious game can be used as a high-level interface to communicate and refine the design.Improvement of a complex system design is demonstrated by applying the integration to a proof-of-concept case study.   

Characterizing behavioural congruences for Petri nets

DEFF Research Database (Denmark)

Nielsen, Mogens; Priese, Lutz; Sassone, Vladimiro

1995-01-01

We exploit a notion of interface for Petri nets in order to design a set of net combinators. For such a calculus of nets, we focus on the behavioural congruences arising from four simple notions of behaviour, viz., traces, maximal traces, step, and maximal step traces, and from the corresponding...... four notions of bisimulation, viz., weak and weak step bisimulation and their maximal versions. We characterize such congruences via universal contexts and via games, providing in such a way an understanding of their discerning powers....

An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata

DEFF Research Database (Denmark)

Byg, Joakim; Jørgensen, Kenneth Yrke; Srba, Jiri

2009-01-01

Bounded timed-arc Petri nets with read-arcs were recently proven equivalent to networks of timed automata, though the Petri net model cannot express urgent behaviour and the described mutual trans- lations are rather inefficient. We propose an extension of timed-arc Petri nets with invariants...... to enforce urgency and with transport arcs to generalise the read-arcs. We also describe a novel translation from the extended timed-arc Petri net model to networks of timed automata. The translation is implemented in the tool TAPAAL and it uses UPPAAL as the verification engine. Our experiments confirm...... the efficiency of the translation and in some cases the translated models verify significantly faster than the native UPPAAL models do....

A Method to Compare the Descriptive Power of Different Types of Petri Nets

DEFF Research Database (Denmark)

Jensen, Kurt

1980-01-01

The purpose of this paper is to show how the descriptive power of different types of Petri nets can be compared, without the use of Petri net languages. Moreover the paper proposes an extension of condition/event-nets and it is shown that this extension has the same descriptive power as condition/event-nets....

Distributed evaluation of stochastic Petri nets

NARCIS (Netherlands)

Bell, A.; Buchholz, Peter; Lehnert, Ralf; Pioro, Micha

2004-01-01

In this paper we present on the distributed performance evaluation and model checking of systems specified by stochastic Petri nets. The approaches discussed rely on an explicit state-space generation and target at the usage of clusters of workstations. We present results for systems with several

Verification of Timed-Arc Petri Nets

DEFF Research Database (Denmark)

Jacobsen, Lasse; Jacobsen, Morten; Møller, Mikael Harkjær

2011-01-01

of interesting theoretical properties distinguishing them from other time extensions of Petri nets. We shall give an overview of the recent theory developed in the verification of TAPN extended with features like read/transport arcs, timed inhibitor arcs and age invariants. We will examine in detail...

Using UML and Petri nets for visualization of business document flow

Directory of Open Access Journals (Sweden)

Ivana Rábová

2012-01-01

Full Text Available The article deals with two principles of business workflow modeling, Petri nets and UML notation, that are the acceptable approaches to business modeling and can be used also for business documents workflow. The special type of Petri nets, WF-nets and UML activity diagrams are used in this article and both modeling ways are presented on the concrete business workflow and then there are presented and specified their advantage and disadvantage for business documents flows. At beginning it is explained the word workflow in context business documents, its features, principles and using in business environment. After that it is clarified that the UML is OMG’s most-used specification, and the way the world models not only application structure, behavior, and architecture, but also business process, workflows and data structure. Activity diagram UML is good way to show how different workflows in the business are managed, how they start, go and stop. Diagrams also show many different decision paths that can be taken from start to finish. State charts can be used as a detail the transitions or changes of states when documents can go through in the business. They show how a documents moves from one state to another and the rules that govern that change. Petri-nets offer a graphical notation for stepwise processes that include choice, iteration, and concurrent execution. Unlike UML Petri nets have an exact mathematical definition of their execution semantics, with a well-developed mathematical theory for process analysis. In the article there are modeled a special type of Petri nets, the WF-nets. The practical part of article incorporates two models of concrete business documents workflows presented in these notations, their comparison and recommendation for using these diagrams in business process management.

A primer on the Petri Net Markup Language and ISO/IEC 15909-2

DEFF Research Database (Denmark)

Hillah, L. M.; Kindler, Ekkart; Kordon, F.

2009-01-01

Standard, defines a transfer format for high-level nets. The transfer format defined in Part 2 of ISO/IEC 15909 is (or is based on) the \\emph{Petri Net Markup Language} (PNML), which was originally introduced as an interchange format for different kinds of Petri nets. In ISO/IEC 15909-2, however...

Modelling of Biometric Identification System with Given Parameters Using Colored Petri Nets

Science.gov (United States)

Petrosyan, G.; Ter-Vardanyan, L.; Gaboutchian, A.

2017-05-01

Biometric identification systems use given parameters and function on the basis of Colored Petri Nets as a modelling language developed for systems in which communication, synchronization and distributed resources play an important role. Colored Petri Nets combine the strengths of Classical Petri Nets with the power of a high-level programming language. Coloured Petri Nets have both, formal intuitive and graphical presentations. Graphical CPN model consists of a set of interacting modules which include a network of places, transitions and arcs. Mathematical representation has a well-defined syntax and semantics, as well as defines system behavioural properties. One of the best known features used in biometric is the human finger print pattern. During the last decade other human features have become of interest, such as iris-based or face recognition. The objective of this paper is to introduce the fundamental concepts of Petri Nets in relation to tooth shape analysis. Biometric identification systems functioning has two phases: data enrollment phase and identification phase. During the data enrollment phase images of teeth are added to database. This record contains enrollment data as a noisy version of the biometrical data corresponding to the individual. During the identification phase an unknown individual is observed again and is compared to the enrollment data in the database and then system estimates the individual. The purpose of modeling biometric identification system by means of Petri Nets is to reveal the following aspects of the functioning model: the efficiency of the model, behavior of the model, mistakes and accidents in the model, feasibility of the model simplification or substitution of its separate components for more effective components without interfering system functioning. The results of biometric identification system modeling and evaluating are presented and discussed.

Complex accident scenarios modelled and analysed by Stochastic Petri Nets

International Nuclear Information System (INIS)

Nývlt, Ondřej; Haugen, Stein; Ferkl, Lukáš

2015-01-01

This paper is focused on the usage of Petri nets for an effective modelling and simulation of complicated accident scenarios, where an order of events can vary and some events may occur anywhere in an event chain. These cases are hardly manageable by traditional methods as event trees – e.g. one pivotal event must be often inserted several times into one branch of the tree. Our approach is based on Stochastic Petri Nets with Predicates and Assertions and on an idea, which comes from the area of Programmable Logic Controllers: an accidental scenario is described as a net of interconnected blocks, which represent parts of the scenario. So the scenario is firstly divided into parts, which are then modelled by Petri nets. Every block can be easily interconnected with other blocks by input/output variables to create complex ones. In the presented approach, every event or a part of a scenario is modelled only once, independently on a number of its occurrences in the scenario. The final model is much more transparent then the corresponding event tree. The method is shown in two case studies, where the advanced one contains a dynamic behavior. - Highlights: • Event & Fault trees have problems with scenarios where an order of events can vary. • Paper presents a method for modelling and analysis of dynamic accident scenarios. • The presented method is based on Petri nets. • The proposed method solves mentioned problems of traditional approaches. • The method is shown in two case studies: simple and advanced (with dynamic behavior)

Necessary and sufficient liveness condition of GS3PR Petri nets

Science.gov (United States)

Liu, GaiYun; Barkaoui, Kamel

2015-05-01

Structural analysis is one of the most important and efficient methods to investigate the behaviour of Petri nets. Liveness is a significant behavioural property of Petri nets. Siphons, as structural objects of a Petri net, are closely related to its liveness. Many deadlock control policies for flexible manufacturing systems (FMS) modelled by Petri nets are implemented via siphon control. Most of the existing methods design liveness-enforcing supervisors by adding control places for siphons based on their controllability conditions. To compute a liveness-enforcing supervisor with as much as permissive behaviour, it is both theoretically and practically significant to find an exact controllability condition for siphons. However, the existing conditions, max, max‧, and max″-controllability of siphons are all overly restrictive and generally sufficient only. This paper develops a new condition called max*-controllability of the siphons in generalised systems of simple sequential processes with resources (GS3PR), which are a net subclass that can model many real-world automated manufacturing systems. We show that a GS3PR is live if all its strict minimal siphons (SMS) are max*-controlled. Compared with the existing conditions, i.e., max-, max‧-, and max″-controllability of siphons, max*-controllability of the SMS is not only sufficient but also necessary. An example is used to illustrate the proposed method.

Modeling biological gradient formation: combining partial differential equations and Petri nets.

Science.gov (United States)

Bertens, Laura M F; Kleijn, Jetty; Hille, Sander C; Heiner, Monika; Koutny, Maciej; Verbeek, Fons J

2016-01-01

Both Petri nets and differential equations are important modeling tools for biological processes. In this paper we demonstrate how these two modeling techniques can be combined to describe biological gradient formation. Parameters derived from partial differential equation describing the process of gradient formation are incorporated in an abstract Petri net model. The quantitative aspects of the resulting model are validated through a case study of gradient formation in the fruit fly.

Time Extensions of Petri Nets for Modelling and Verification of Hard Real-Time Systems

Directory of Open Access Journals (Sweden)

Tomasz Szmuc

2002-01-01

Full Text Available The main aim ofthe paper is a presentation of time extensions of Petri nets appropriate for modelling and analysis of hard real-time systems. It is assumed, that the extensions must provide a model of time flow an ability to force a transition to fire within a stated timing constraint (the so-called the strong firing rule, and timing constraints represented by intervals. The presented survey includes extensions of classical Place/Transition Petri nets, as well as the ones applied to high-level Petri nets. An expressiveness of each time extension is illustrated using simple hard real-time system. The paper includes also a brief description of analysis and veryication methods related to the extensions, and a survey of software tools supporting modelling and analysis ofthe considered Petri nets.

Workshop on Practical Use of Coloured Petri Nets and Design/CPN

DEFF Research Database (Denmark)

This booklet contains the proceedings of the 1998 Workshop on Practical use of Coloured Petri Nets and Design/CPN. The papers are also available in electronic form via the CPN Web pages at University of Aarhus.......This booklet contains the proceedings of the 1998 Workshop on Practical use of Coloured Petri Nets and Design/CPN. The papers are also available in electronic form via the CPN Web pages at University of Aarhus....

Control of Petri Nets by finite automata

Energy Technology Data Exchange (ETDEWEB)

Burkhard, H D

1983-01-01

Petri Nets are considered where the firings are controlled by finite automata. The control may be distributed to various automata working over disjoint sets of transitions. To avoid deadlocks and conflicts for the whole system the distribution of control must be organised in an appropriate manner. The existence of deadlocks and conflicts is shown to be undecidable in general, but conflict resolving and deadlock free controls can be constructed for given nets. 10 references.

Software Design Modelling with Functional Petri Nets | Bakpo ...

African Journals Online (AJOL)

Software Design Modelling with Functional Petri Nets. ... of structured programs and a FPN Software prototype proposed for the conventional programming construct: if-then-else statement. ... EMAIL FREE FULL TEXT EMAIL FREE FULL TEXT

Automation of Presentation Record Production Based on Rich-Media Technology Using SNT Petri Nets Theory

Directory of Open Access Journals (Sweden)

Ivo Martiník

2015-01-01

Full Text Available Rich-media describes a broad range of digital interactive media that is increasingly used in the Internet and also in the support of education. Last year, a special pilot audiovisual lecture room was built as a part of the MERLINGO (MEdia-rich Repository of LearnING Objects project solution. It contains all the elements of the modern lecture room determined for the implementation of presentation recordings based on the rich-media technologies and their publication online or on-demand featuring the access of all its elements in the automated mode including automatic editing. Property-preserving Petri net process algebras (PPPA were designed for the specification and verification of the Petri net processes. PPPA does not need to verify the composition of the Petri net processes because all their algebraic operators preserve the specified set of the properties. These original PPPA are significantly generalized for the newly introduced class of the SNT Petri process and agent nets in this paper. The PLACE-SUBST and ASYNC-PROC algebraic operators are defined for this class of Petri nets and their chosen properties are proved. The SNT Petri process and agent nets theory were significantly applied at the design, verification, and implementation of the programming system ensuring the pilot audiovisual lecture room functionality.

How to Find Invariants for Coloured Petri Nets

DEFF Research Database (Denmark)

Jensen, Kurt

1981-01-01

This paper shows how invariants can be found for coloured Petri Nets. We define a set of transformation rules, which can be used to transform the incidence matrix, without changing the set of invariants....

Petri Nets as Models of Linear Logic

DEFF Research Database (Denmark)

Engberg, Uffe Henrik; Winskel, Glynn

1990-01-01

The chief purpose of this paper is to appraise the feasibility of Girad's linear logic as a specification language for parallel processes. To this end we propose an interpretation of linear logic in Petri nets, with respect to which we investigate the expressive power of the logic...

Determinization of timed Petri nets behaviors

Czech Academy of Sciences Publication Activity Database

Komenda, Jan; Lahaye, S.; Boimond, J.-L.

2016-01-01

Roč. 26, č. 3 (2016), s. 413-437 ISSN 0924-6703 R&D Projects: GA MŠk LH13012; GA ČR GA15-02532S Institutional support: RVO:67985840 Keywords : timed Petri nets * (max,+) automata * determinization Subject RIV: BA - General Mathematics Impact factor: 1.660, year: 2016 http://link.springer.com/article/10.1007%2Fs10626-015-0214-1

PETRI NET MODELING OF COMPUTER VIRUS LIFE CYCLE

African Journals Online (AJOL)

Dr Obe

dynamic system analysis is applied to model the virus life cycle. Simulation of the derived model ... Keywords: Virus lifecycle, Petri nets, modeling. simulation. .... complex process. Figure 2 .... by creating Matlab files for five different computer ...

Diagnostic system based on condition turbogenerator Petri nets

International Nuclear Information System (INIS)

Kachur, S.A.; Shakhova, N.V.

2016-01-01

A stochastic model of the automated monitoring systems and process control turbine generator based on Petri nets, allowing to detect local changes in the state of the stator windings of turbogenerator, is presented in the paper [ru

The  Practitioner's guide to Coloured Petri Nets

DEFF Research Database (Denmark)

Kristensen, Lars Michael; Christensen, Søren; Jensen, Kurt

1998-01-01

four hundred commercial companies. It is available free of charge, also for commercial use. This paper provides a comprehensive road map to the practical use of CP-nets and the Design/CPN tool. We give an informal introduction to the basic concepts and ideas underliying CP-nets. The key components...... and facilities of the Design/CPN tool are presented and their use illustrated. The paper is self-contained and does not assume any prior kowledge of Petri nets and CP-nets nor any experience with the Design/CPN tool...

Timed-Arc Petri Nets vs. Networks of Timed Automata

DEFF Research Database (Denmark)

Srba, Jiri

We establish mutual translations between the classes of 1-safe timed-arc Petri nets (and its extension with testing arcs) and networks of timed automata (and its subclass where every clock used in the guard has to be reset). The presented translations are very tight (up to isomorphism of labelled...... transition systems with time). This provides a convenient characterization from the theoretical point of view but is not always satisfactory from the practical point of view because of the possible non-polynomial blow up in the size (in the direction from automata to nets). Hence we relax the isomorphism...... requirement and provide efficient (polynomial time) reductions between networks of timed automata and 1-safe timed-arc Petri nets preserving the answer to the reachability question. This makes our techniques suitable for automatic translation into a format required by tools like UPPAAL and KRONOS. A direct...

Knowledge base verification based on enhanced colored petri net

Energy Technology Data Exchange (ETDEWEB)

Kim, Jong Hyun; Seong, Poong Hyun [Korea Advanced Institute of Science and Technology, Taejon (Korea, Republic of)

1998-12-31

Verification is a process aimed at demonstrating whether a system meets it`s specified requirements. As expert systems are used in various applications, the knowledge base verification of systems takes an important position. The conventional Petri net approach that has been studied recently in order to verify the knowledge base is found that it is inadequate to verify the knowledge base of large and complex system, such as alarm processing system of nuclear power plant. Thus, we propose an improved method that models the knowledge base as enhanced colored Petri net. In this study, we analyze the reachability and the error characteristics of the knowledge base and apply the method to verification of simple knowledge base. 8 refs., 4 figs. (Author)

Knowledge base verification based on enhanced colored petri net

Energy Technology Data Exchange (ETDEWEB)

Kim, Jong Hyun; Seong, Poong Hyun [Korea Advanced Institute of Science and Technology, Taejon (Korea, Republic of)

1997-12-31

Verification is a process aimed at demonstrating whether a system meets it`s specified requirements. As expert systems are used in various applications, the knowledge base verification of systems takes an important position. The conventional Petri net approach that has been studied recently in order to verify the knowledge base is found that it is inadequate to verify the knowledge base of large and complex system, such as alarm processing system of nuclear power plant. Thus, we propose an improved method that models the knowledge base as enhanced colored Petri net. In this study, we analyze the reachability and the error characteristics of the knowledge base and apply the method to verification of simple knowledge base. 8 refs., 4 figs. (Author)

Reachability analysis of real-time systems using time Petri nets.

Science.gov (United States)

Wang, J; Deng, Y; Xu, G

2000-01-01

Time Petri nets (TPNs) are a popular Petri net model for specification and verification of real-time systems. A fundamental and most widely applied method for analyzing Petri nets is reachability analysis. The existing technique for reachability analysis of TPNs, however, is not suitable for timing property verification because one cannot derive end-to-end delay in task execution, an important issue for time-critical systems, from the reachability tree constructed using the technique. In this paper, we present a new reachability based analysis technique for TPNs for timing property analysis and verification that effectively addresses the problem. Our technique is based on a concept called clock-stamped state class (CS-class). With the reachability tree generated based on CS-classes, we can directly compute the end-to-end time delay in task execution. Moreover, a CS-class can be uniquely mapped to a traditional state class based on which the conventional reachability tree is constructed. Therefore, our CS-class-based analysis technique is more general than the existing technique. We show how to apply this technique to timing property verification of the TPN model of a command and control (C2) system.

Completeness Results for Linear Logic on Petri Nets

DEFF Research Database (Denmark)

Engberg, Uffe Henrik; Winskel, Glynn

1993-01-01

Completeness is shown for several versions of Girard's linear logic with respect to Petri nets as the class of models. The strongest logic considered is intuitionistic linear logic, with $otimes$, $-!circ$, &, $oplus$ and the exponential ! (''of course´´), and forms of quantification. This logic ...

Design of River System Deadlock Avoidance Supervisor by Using Petri Net

Directory of Open Access Journals (Sweden)

Danko Kezić

2010-05-01

Full Text Available Advanced function of the computer-based river traffic management system should automatically predict and prevent possible conflict and deadlock states between vessels by using adequate control policy (supervisor. This paper proposes a formal method for calculating maximally permissive deadlock prevention supervisor. To model the river system, the authors use a class of Petri net suitable for describing multiple re-entrant flowlines with disjoint sets of resources, jobs and control places, and matrix-based formal method to analyze the system. By using matrix algebra, the structural characteristics of the Petri net (circular waits, P-invariants, critical siphons and subsystem, key resource have been analyzed and the steps for supervisor design proposed. The first and the second level deadlocks can be avoided by maintaining the number of tokens in the critical subsystems and ensuring that the key resource would not be the last available resource in the system. The derived supervisor has been verified by a computer simulation using MATLAB environment. KEYWORDS: traffic management system, deadlock avoidance, discrete event system, Petri net

Ninth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools

DEFF Research Database (Denmark)

Daniel Moldt, Gremany Laure Petrucci, France Rüdiger Vlak, Germany Lee Wagenhals, USA Karsten Wolf, Germany Jianli Xu, Finland The programme committee has accepted 10 papers for presentation. Most of these deal with different projects in which Coloured Petri Nets and their tools have been put......This booklet contains the proceedings of the Ninth Workshop on Pratical Use of Coloured Petri Nets and CPN Tools, October 20-22, 2008. The workshop is organised by the CPN group at the Department of Computer Science, Aarhus University, Denmark. Coloured Petri Nets and the CPN Tools are now licensed...... to more than 7,200 users in 138 countries. The aim of the workshop is to bring together some of the users and in this way provide a forum for those who are interested in the practical use of Coloured Petri nets and their tools. The submitted papers were evaluated by a programme committee...

State Space Analysis of Hierarchical Coloured Petri Nets

DEFF Research Database (Denmark)

Christensen, Søren; Kristensen, Lars Michael

2003-01-01

In this paper, we consider state space analysis of Coloured Petri Nets. It is well-known that almost all dynamic properties of the considered system can be verified when the state space is finite. However, state space analysis is more than just formulating a set of formal requirements and invokin...... supporting computation and storage of state spaces which exploi the hierarchical structure of the models....... in which formal verification, partial state spaces, and analysis by means of graphical feedback and simulation are integrated entities. The focus of the paper is twofold: the support for graphical feedback and the way it has been integrated with simulation, and the underlying algorithms and data-structures......In this paper, we consider state space analysis of Coloured Petri Nets. It is well-known that almost all dynamic properties of the considered system can be verified when the state space is finite. However, state space analysis is more than just formulating a set of formal requirements and invoking...

Applying Petri nets in modelling the human factor

International Nuclear Information System (INIS)

Bedreaga, Luminita; Constntinescu, Cristina; Guzun, Basarab

2007-01-01

Usually, in the reliability analysis performed for complex systems, we determine the success probability to work with other performance indices, i.e. the likelihood associated with a given state. The possible values assigned to system states can be derived using inductive methods. If one wants to calculate the probability to occur a particular event in the system, then deductive methods should be applied. In the particular case of the human reliability analysis, as part of probabilistic safety analysis, the international regulatory commission have developed specific guides and procedures to perform such assessments. The paper presents the modality to obtain the human reliability quantification using the Petri nets approach. This is an efficient means to assess reliability systems because of their specific features. The examples showed in the paper are from human reliability documentation without a detailed human factor analysis (qualitative). We present human action modelling using event trees and Petri nets approach. The obtained results by these two kinds of methods are in good concordance. (authors)

METHOD OF DISPLAYING AN EXECUTABLE BUSINESS PROCESS MODELS INTO PETRI NETS

Directory of Open Access Journals (Sweden)

Igor G. Fedorov

2013-01-01

Full Text Available Executable business process models, as well as programs, require evidence of a defect-free finish. The methods based on the formalism of Petri nets are widely used. A business process is a network of dishes, and its properties are set by the analysis of the properties of the network. The aim is to study the methods of displaying an executable business process model in a Petri net. Analysis of the properties of the resulting model allows us to prove a number of important properties: it is a network of free choice and clean without looping.

Modeling and Simulation of Multi-scale Environmental Systems with Generalized Hybrid Petri Nets

Directory of Open Access Journals (Sweden)

Mostafa eHerajy

2015-07-01

Full Text Available Predicting and studying the dynamics and properties of environmental systems necessitates the construction and simulation of mathematical models entailing different levels of complexities. Such type of computational experiments often require the combination of discrete and continuous variables as well as processes operating at different time scales. Furthermore, the iterative steps of constructing and analyzing environmental models might involve researchers with different background. Hybrid Petri nets may contribute in overcoming such challenges as they facilitate the implementation of systems integrating discrete and continuous dynamics. Additionally, the visual depiction of model components will inevitably help to bridge the gap between scientists with distinct expertise working on the same problem. Thus, modeling environmental systems with hybrid Petri nets enables the construction of complex processes while keeping the models comprehensible for researchers working on the same project with significantly divergent education path. In this paper we propose the utilization of a special class of hybrid Petri nets, Generalized Hybrid Petri Nets (GHPN, to model and simulate environmental systems exposing processes interacting at different time-scales. GHPN integrate stochastic and deterministic semantics as well as other types of special basic events. Moreover, a case study is presented to illustrate the use of GHPN in constructing and simulating multi-timescale environmental scenarios.

Marine Traffic Optimization Using Petri Net and Genetic Algorithm

Directory of Open Access Journals (Sweden)

Anita Gudelj

2012-11-01

Full Text Available The paper deals with the traffic control and job optimization in the marine canal system. The moving of vessels can be described as a set of discrete events and states. Some of these states can be undesirable such as conflicts and deadlocks. It is necessary to apply adequate control policy to avoid deadlocks and blocks the vessels’ moving only in the case of dangerous situation. This paper addresses the use of Petri net as modelling and scheduling tool in this context. To find better solutions the authors propose the integration of Petri net with a genetic algorithm. Also, a matrix based formal method is proposed for analyzing discrete event dynamic system (DEDS. The algorithm is developed to deal with multi-project, multi-constrained scheduling problem with shared resources. It is verified by a computer simulation using MATLAB environment.

CSL model checking of deterministic and stochastic Petri nets

NARCIS (Netherlands)

Martinez Verdugo, J.M.; Haverkort, Boudewijn R.H.M.; German, R.; Heindl, A.

2006-01-01

Deterministic and Stochastic Petri Nets (DSPNs) are a widely used high-level formalism for modeling discrete-event systems where events may occur either without consuming time, after a deterministic time, or after an exponentially distributed time. The underlying process dened by DSPNs, under

Towards a Notion of Distributed Time for Petri Nets

DEFF Research Database (Denmark)

Nielsen, Mogens; Sassone, Vladimiro; Srba, Jiří

2001-01-01

We set the ground for research on a timed extension of Petri nets where time parameters are associated with tokens and arcs carry constraints that qualify the age of tokens required for enabling. The novelty is that, rather than a single global clock, we use a set of unrelated clocks — possibly o...... per place — allowing a local timing as well as distributed time synchronisation. We give a formal definition of the model and investigate properties of local versus global timing, including decidability issues and notions of processes of the respective models.......We set the ground for research on a timed extension of Petri nets where time parameters are associated with tokens and arcs carry constraints that qualify the age of tokens required for enabling. The novelty is that, rather than a single global clock, we use a set of unrelated clocks — possibly one...

Fuzzy Neuroidal Nets and Recurrent Fuzzy Computations

Czech Academy of Sciences Publication Activity Database

Wiedermann, Jiří

2001-01-01

Roč. 11, č. 6 (2001), s. 675-686 ISSN 1210-0552. [SOFSEM 2001 Workshop on Soft Computing. Piešťany, 29.11.2001-30.11.2001] R&D Projects: GA ČR GA201/00/1489; GA AV ČR KSK1019101 Institutional research plan: AV0Z1030915 Keywords : fuzzy computing * fuzzy neural nets * fuzzy Turing machines * non-uniform computational complexity Subject RIV: BA - General Mathematics

Properties of Distributed Timed-Arc Petri Nets

DEFF Research Database (Denmark)

Nielsen, M.; Sassone, V.; Srba, J.

2001-01-01

In [12] we started a research on a distributed-timed extension of Petri nets where time parameters are associated with tokens and arcs carry constraints that qualify the age of tokens required for enabling. This formalism enables to model e.g. hardware architectures like GALS. We give a formal...... definition of process semantics for our model and investigate several properties of local versus global timing: expressiveness, reachability and coverability....

Stochastic petri nets for wireless networks

CERN Document Server

Lei, Lei; Zhong, Zhangdui

2015-01-01

This SpringerBrief presents research in the application of Stochastic Petri Nets (SPN) to the performance evaluation of wireless networks under bursty traffic. It covers typical Quality-of-Service performance metrics such as mean throughput, average delay and packet dropping probability. Along with an introduction of SPN basics, the authors introduce the key motivation and challenges of using SPN to analyze the resource sharing performance in wireless networks. The authors explain two powerful modeling techniques that treat the well-known state space explosion problem: model decomposition and

Modeling, Analysis and Simulation of Simple One Machine-Two Product System Using Petri Nets = Basit Bir Makine-İki Ürün Sisteminin Petri Ağları Kullanılarak Modellenmesi, Analizi ve Simulasyonu

Directory of Open Access Journals (Sweden)

Özgür ARMANERİ

2006-01-01

Full Text Available As in many engineering fields, the design of manufacturing systems can be carried out using models. Petri nets have been used extensively to model and analyze manufacturing systems. Petri Nets, as graphical and mathematical tools, provide a uniform environment for modeling, format analysis and design of discrete event systems. The modeling, simulation and analysis of simple one machine-two product systems using Petri nets will be presented in this paper. Behavioral and structural properties of the Petri net model will be considered in details. Then, the Petri net model of one machine-two product system will be simulated using a simulation program.

XML as a format of expression of Object-Oriented Petri Nets

Directory of Open Access Journals (Sweden)

Petr Jedlička

2004-01-01

Full Text Available A number of object-oriented (OO variants have so far been devised for Petri Nets (PN. However, none of these variants has ever been described using an open, independent format – such as XML. This article suggests several possibilities and advantages of such a description. The outlined XML language definition for the description of object-oriented Petri Nets (OOPN is based on XMI (description of UML object-oriented models, SOX (simple description of general OO systems and PNML (an XML-based language used for the description of structured and modular PN. For OOPN, the XML form of description represents a standard format for storing as well as for transfer between various OOPN-processing (analysis, simulation, ... tools.

Modelling human factor with Petri nets

International Nuclear Information System (INIS)

Bedreaga, Luminita; Constantinescu, Cristina; Guzun, Basarab

2007-01-01

The human contribution to risk and safety of nuclear power plant operation can be best understood, assessed and quantified using tools to evaluate human reliability. Human reliability analysis becomes an important part of every probabilistic safety assessment and it is used to demonstrate that nuclear power plants designed with different safety levels are prepared to cope with severe accidents. Human reliability analysis in context of probabilistic safety assessment consists in: identifying human-system interactions important to safety; quantifying probabilities appropriate with these interactions. Nowadays, the complex system functions can be modelled using special techniques centred either on states space adequate to system or on events appropriate to the system. Knowing that complex system model consists in evaluating the likelihood of success, in other words, in evaluating the possible value for that system being in some state, the inductive methods which are based on the system states can be applied also for human reliability modelling. Thus, switching to the system states taking into account the human interactions, the underlying basis of the Petri nets can be successfully applied and the likelihoods appropriate to these states can also derived. The paper presents the manner to assess the human reliability quantification using Petri nets approach. The example processed in the paper is from human reliability documentation without a detailed human factor analysis (qualitative). The obtained results by these two kinds of methods are in good agreement. (authors)

Reliability-Based and Cost-Oriented Product Optimization Integrating Fuzzy Reasoning Petri Nets, Interval Expert Evaluation and Cultural-Based DMOPSO Using Crowding Distance Sorting

Directory of Open Access Journals (Sweden)

Zhaoxi Hong

2017-08-01

Full Text Available In reliability-based and cost-oriented product optimization, the target product reliability is apportioned to subsystems or components to achieve the maximum reliability and minimum cost. Main challenges to conducting such optimization design lie in how to simultaneously consider subsystem division, uncertain evaluation provided by experts for essential factors, and dynamic propagation of product failure. To overcome these problems, a reliability-based and cost-oriented product optimization method integrating fuzzy reasoning Petri net (FRPN, interval expert evaluation and cultural-based dynamic multi-objective particle swarm optimization (DMOPSO using crowding distance sorting is proposed in this paper. Subsystem division is performed based on failure decoupling, and then subsystem weights are calculated with FRPN reflecting dynamic and uncertain failure propagation, as well as interval expert evaluation considering six essential factors. A mathematical model of reliability-based and cost-oriented product optimization is established, and the cultural-based DMOPSO with crowding distance sorting is utilized to obtain the optimized design scheme. The efficiency and effectiveness of the proposed method are demonstrated by the numerical example of the optimization design for a computer numerically controlled (CNC machine tool.

Online Conformance Checking for Petri Nets and Event Streams

DEFF Research Database (Denmark)

Burattin, Andrea

2017-01-01

Within process mining, we can identify conformance checking as the task of computing the extent to which executions of a process model are in line with the reference behavior. Most approaches currently available in the literature (for imperative models, such as Petri nets) perform just a-posterio...

APPLYING PETRI NETS EXTENSIONS TO MODELING COMMERCIAL BANK ACTIVITY

Directory of Open Access Journals (Sweden)

Igor ENICOV

2017-02-01

Full Text Available The relevance of the study is determined by the need to improve the methods of modeling andsimulating commercial bank activity, including for the purpose of calculating, controlling and managingthe risk of the bank, in the context of the transition to the application of Basel III standards. Thisimprovement becomes necessary due to a direct transition to new regulatory standards when the internalassessments of the main risks become the initial data for calculating the capital adequacy of a bank. Thepurpose of this article is to argue the opportunity to formulate a theory of the commercial bank model onthe extensions of Petri nets theory. The main methods of research were the method of scientific abstractionand method of logical analysis. The main result obtained in the study and presented in the article is theargumentation of the possibility to analyze the quantitative and qualitative characteristics of acommercial bank with the help of Petri net extensions.

A Petri Net Definition of a System Description Language

DEFF Research Database (Denmark)

Jensen, Kurt; Kyng, Morten; Madsen, Ole Lehrmann

1979-01-01

This paper introduces a language for the description of systems with concurrency, and presents a formal definition of its semantics. The language is based on Delta and the semantic model is an extension of Petri nets with a data part and with expressions attached to transitions and to places....

Petri nets and fault diagnosis in nuclear reactors

International Nuclear Information System (INIS)

Jalel, N.A.; Nicholson, H.

1990-11-01

The possibility of applying Petri nets (Pns) as a modelling tool to represent any fault or accident that might occur in the Loss Of Fluid Test (LOFT) reactor, small scale pressurised water reactor, is discussed and analysed. Pns are developed to assist the nuclear reactor operator in identifying any fault or alarm that might arise in the power station. (author)

Aspects regarding at 13C isotope separation column control using Petri nets system

International Nuclear Information System (INIS)

Boca, M L; Ciortea, M E

2015-01-01

This paper is intended to show that Petri nets can be also applicable in the chemical industry. It used linear programming, modeling underlying Petri nets, especially discrete event systems for isotopic separation, the purpose of considering and control events in real-time through graphical representations. In this paper it is simulate the control of 13 C Isotope Separation column using Petri nets. The major problem with 13 C comes from the difficulty of obtaining it and raising its natural fraction. Carbon isotopes can be obtained using many methods, one of them being the cryogenic distillation of carbon monoxide. Some few aspects regarding operating conditions and the construction of such cryogenic plants are known today, and even less information are available as far as the separation process modeling and control are concerned. In fact, the efficient control of the carbon monoxide distillation process represents a necessity for large-scale 13 C production. Referring to a classic distillation process, some models for carbon isotope separation have been proposed, some based on mass, component and energy balance equations, some on the nonlinear wave theory or the Cohen equations. For modeling the system it was used Petri nets because in this case it is deal with discrete event systems. In use of the non-timed and with auxiliary times Petri model, the transport stream was divided into sections and these sections will be analyzed successively. Because of the complexity of the system and the large amount of calculations required it was not possible to analyze the system as a unitary whole. A first attempt to model the system as a unitary whole led to the blocking of the model during simulation, because of the large processing times. (paper)

Threat driven modeling framework using petri nets for e-learning system.

Science.gov (United States)

Khamparia, Aditya; Pandey, Babita

2016-01-01

Vulnerabilities at various levels are main cause of security risks in e-learning system. This paper presents a modified threat driven modeling framework, to identify the threats after risk assessment which requires mitigation and how to mitigate those threats. To model those threat mitigations aspects oriented stochastic petri nets are used. This paper included security metrics based on vulnerabilities present in e-learning system. The Common Vulnerability Scoring System designed to provide a normalized method for rating vulnerabilities which will be used as basis in metric definitions and calculations. A case study has been also proposed which shows the need and feasibility of using aspect oriented stochastic petri net models for threat modeling which improves reliability, consistency and robustness of the e-learning system.

A Petri Net-Based Software Process Model for Developing Process-Oriented Information Systems

Science.gov (United States)

Li, Yu; Oberweis, Andreas

Aiming at increasing flexibility, efficiency, effectiveness, and transparency of information processing and resource deployment in organizations to ensure customer satisfaction and high quality of products and services, process-oriented information systems (POIS) represent a promising realization form of computerized business information systems. Due to the complexity of POIS, explicit and specialized software process models are required to guide POIS development. In this chapter we characterize POIS with an architecture framework and present a Petri net-based software process model tailored for POIS development with consideration of organizational roles. As integrated parts of the software process model, we also introduce XML nets, a variant of high-level Petri nets as basic methodology for business processes modeling, and an XML net-based software toolset providing comprehensive functionalities for POIS development.

A Petri Nets Model for Blockchain Analysis

OpenAIRE

Pinna, Andrea; Tonelli, Roberto; Orrú, Matteo; Marchesi, Michele

2017-01-01

A Blockchain is a global shared infrastructure where cryptocurrency transactions among addresses are recorded, validated and made publicly available in a peer- to-peer network. To date the best known and important cryptocurrency is the bitcoin. In this paper we focus on this cryptocurrency and in particular on the modeling of the Bitcoin Blockchain by using the Petri Nets formalism. The proposed model allows us to quickly collect information about identities owning Bitcoin addresses and to re...

The risk management of perishable supply chain based on coloured Petri Net modeling

Directory of Open Access Journals (Sweden)

Lu Liu

2018-03-01

Full Text Available The supply chain of perishable products is a combination of information organization, sharing and integration. The information modeling of supply chain is constructed to abstract key quality information including environment information, processing procedures and product quality assessments based on principle of quality safety factors and property of decay rate. The coloured Petri Net is applied for integrated description of independent information classification, aiming at risk identification and risk management framework. Well, according to the quality deterioration tendency, risk grades management and decision-making system are established. Practically, the circulation system of aquatic products is studied in this paper for full processing description. The simulation experiments are manipulated on environmental information, processing information and product quality information by the coloured Petri Net. Eventually, the conclusion turns out precisely as such that the coloured Petri Net conclusive for information classification and information transmission while integrated information management is available of efficient risk identification and decision-making system in supply chain of perishable products. Meanwhile, the validity of evaluating management and shelf-life estimation of perishable products are technically feasible.

Fluid Survival Tool: A Model Checker for Hybrid Petri Nets

NARCIS (Netherlands)

Postema, Björn Frits; Remke, Anne Katharina Ingrid; Haverkort, Boudewijn R.H.M.; Ghasemieh, Hamed

2014-01-01

Recently, algorithms for model checking Stochastic Time Logic (STL) on Hybrid Petri nets with a single general one-shot transition (HPNG) have been introduced. This paper presents a tool for model checking HPNG models against STL formulas. A graphical user interface (GUI) not only helps to

Control of Discrete-Event Systems Automata and Petri Net Perspectives

CERN Document Server

Silva, Manuel; Schuppen, Jan

2013-01-01

Control of Discrete-event Systems provides a survey of the most important topics in the discrete-event systems theory with particular focus on finite-state automata, Petri nets and max-plus algebra. Coverage ranges from introductory material on the basic notions and definitions of discrete-event systems to more recent results. Special attention is given to results on supervisory control, state estimation and fault diagnosis of both centralized and distributed/decentralized systems developed in the framework of the Distributed Supervisory Control of Large Plants (DISC) project. Later parts of the text are devoted to the study of congested systems though fluidization, an over approximation allowing a much more efficient study of observation and control problems of timed Petri nets. Finally, the max-plus algebraic approach to the analysis and control of choice-free systems is also considered. Control of Discrete-event Systems provides an introduction to discrete-event systems for readers that are not familiar wi...

Model checking of time Petri nets using the state class timed automaton

DEFF Research Database (Denmark)

Lime, Didier; Roux, Olivier H.

2006-01-01

In this paper, we propose a method for building the state class graph of a bounded time Petri net (TPN) as a timed automaton (TA), which we call the state class timed automaton. We consider bounded TPN, whose underlying net is not necessarily bounded. We prove that our translation preserves the b...

Transactions on Petri Nets and Other Models of Concurrency VI

DEFF Research Database (Denmark)

The sixth volume of ToPNoC includes revised versions of selected papers from workshops and tutorials held at the 32nd International Conference on Application and Theory of Petri Nets and Concurrency. It also contains a special section on Networks, Protocols, and Services, as well as a contributed...

Petri Net-Based R&D Process Modeling and Optimization for Composite Materials

Directory of Open Access Journals (Sweden)

Xiaomei Hu

2013-01-01

Full Text Available Considering the current R&D process for new composite materials involves some complex details, such as formula design, specimen/sample production, materials/sample test, assessment, materials/sample feedback from customers, and mass production, the workflow model of Petri net-based R&D process for new composite materials’ is proposed. By analyzing the time property of the whole Petri net, the optimized model for new composite materials R&D workflow is further proposed. By analyzing the experiment data and application in some materials R&D enterprise, it is demonstrated that the workflow optimization model shortens the period of R&D on new materials for 15%, definitely improving the R&D efficiency. This indicates the feasibility and availability of the model.

An Extended Petri-Net Based Approach for Supply Chain Process Enactment in Resource-Centric Web Service Environment

Science.gov (United States)

Wang, Xiaodong; Zhang, Xiaoyu; Cai, Hongming; Xu, Boyi

Enacting a supply-chain process involves variant partners and different IT systems. REST receives increasing attention for distributed systems with loosely coupled resources. Nevertheless, resource model incompatibilities and conflicts prevent effective process modeling and deployment in resource-centric Web service environment. In this paper, a Petri-net based framework for supply-chain process integration is proposed. A resource meta-model is constructed to represent the basic information of resources. Then based on resource meta-model, XML schemas and documents are derived, which represent resources and their states in Petri-net. Thereafter, XML-net, a high level Petri-net, is employed for modeling control and data flow of process. From process model in XML-net, RESTful services and choreography descriptions are deduced. Therefore, unified resource representation and RESTful services description are proposed for cross-system integration in a more effective way. A case study is given to illustrate the approach and the desirable features of the approach are discussed.

A knowledge-base verification of NPP expert systems using extended Petri nets

International Nuclear Information System (INIS)

Kwon, Il Won; Seong, Poong Hyun

1995-01-01

The verification phase of knowledge base is an important part for developing reliable expert systems, especially in nuclear industry. Although several strategies or tools have been developed to perform potential error checking, they often neglect the reliability of verification methods. Because a Petri net provides a uniform mathematical formalization of knowledge base, it has been employed for knowledge base verification. In this work, we devise and suggest an automated tool, called COKEP (Checker Of Knowledge base using Extended Petri net), for detecting incorrectness, inconsistency, and incompleteness in a knowledge base. The scope of the verification problem is expanded to chained errors, unlike previous studies that assumed error incidence to be limited to rule pairs only. In addition, we consider certainty factor in checking, because most of knowledge bases have certainty factors

Reliability Analysis of Core Protection Calculator System by Combining Petri Net and Fault Tree

International Nuclear Information System (INIS)

Kim, Hyejin; Kim, Jonghyun

2013-01-01

This paper proposes an approach to analyzing the reliability of digital systems by combining Petri net (PN) and Fault tree. The Petri net allows modeling event dependencies and interaction, to represent the time sequence, and to model assumptions for dynamic events. The Petri net model can be straightforwardly transformed to fault tree using the gate. Then, the FT can be integrated into the existing PSA. This paper applies the approach to the reliability analysis of Core Protection Calculator System (CPCS). Digital technology is replacing the analog instrumentation and control (I and C) systems in both new and upgraded nuclear power plants. As digital systems are introduced to nuclear power plants, issues related with reliability analyses of these digital systems are being raised. One of these issues is that static fault tree (FT) and event tree (ET) approach cannot properly account for dynamic interactions in the digital systems, such as multiple top events, logic loops and time delay. Many methods have been proposed to solve the problems, but there is no single method that is universally accepted for the application to the current generation probabilistic safety analysis (PSA)

Reliability Analysis of Core Protection Calculator System by Combining Petri Net and Fault Tree

Energy Technology Data Exchange (ETDEWEB)

Kim, Hyejin; Kim, Jonghyun [KEPCO International Nuclear Graduate School, Ulsan (Korea, Republic of)

2013-10-15

This paper proposes an approach to analyzing the reliability of digital systems by combining Petri net (PN) and Fault tree. The Petri net allows modeling event dependencies and interaction, to represent the time sequence, and to model assumptions for dynamic events. The Petri net model can be straightforwardly transformed to fault tree using the gate. Then, the FT can be integrated into the existing PSA. This paper applies the approach to the reliability analysis of Core Protection Calculator System (CPCS). Digital technology is replacing the analog instrumentation and control (I and C) systems in both new and upgraded nuclear power plants. As digital systems are introduced to nuclear power plants, issues related with reliability analyses of these digital systems are being raised. One of these issues is that static fault tree (FT) and event tree (ET) approach cannot properly account for dynamic interactions in the digital systems, such as multiple top events, logic loops and time delay. Many methods have been proposed to solve the problems, but there is no single method that is universally accepted for the application to the current generation probabilistic safety analysis (PSA)

Robust modelling and simulation integration of SIMIO with coloured petri nets

CERN Document Server

De La Mota, Idalia Flores; Mujica Mota, Miguel; Angel Piera, Miquel

2017-01-01

This book presents for the first time a methodology that combines the power of a modelling formalism such as colored petri nets with the flexibility of a discrete event program such as SIMIO. Industrial practitioners have seen the growth of simulation as a methodology for tacking problems in which variability is the common denominator. Practically all industrial systems, from manufacturing to aviation are considered stochastic systems. Different modelling techniques have been developed as well as mathematical techniques for formalizing the cause-effect relationships in industrial and complex systems. The methodology in this book illustrates how complexity in modelling can be tackled by the use of coloured petri nets, while at the same time the variability present in systems is integrated in a robust fashion. The book can be used as a concise guide for developing robust models, which are able to efficiently simulate the cause-effect relationships present in complex industrial systems without losing the simulat...

Formal Verification of Computerized Procedure with Colored Petri Nets

International Nuclear Information System (INIS)

Kim, Yun Goo; Shin, Yeong Cheol

2008-01-01

Computerized Procedure System (CPS) supports nuclear power plant operators in performing operating procedures which are instructions to guide in monitoring, decision making and controlling nuclear power plants. Computerized Procedure (CP) should be loaded to CPS. Due to its execution characteristic, computerized procedure acts like a software in CPS. For example, procedure flows are determined by operator evaluation and computerized procedure logic which are pre-defined. So the verification of Computerized Procedure logic and execution flow is needed before computerized procedures are installed in the system. Formal verification methods are proposed and the modeling of operating procedures with Coloured Petri Nets(CP-nets) is presented

Formal Specification and Verification of Real-Time Multi-Agent Systems using Timed-Arc Petri Nets

Directory of Open Access Journals (Sweden)

QASIM, A.

2015-08-01

Full Text Available In this study we have formally specified and verified the actions of communicating real-time software agents (RTAgents. Software agents are expected to work autonomously and deal with unfamiliar situations astutely. Achieving cent percent test cases coverage for these agents has always been a problem due to limited resources. Also a high degree of dependability and predictability is expected from real-time software agents. In this research we have used Timed-Arc Petri Net's for formal specification and verification. Formal specification of e-agents has been done in the past using Linear Temporal Logic (LTL but we believe that Timed-Arc Petri Net's being more visually expressive provides a richer framework for such formalism. A case study of Stock Market System (SMS based on Real Time Multi Agent System framework (RTMAS using Timed-Arc Petri Net's is taken to illustrate the proposed modeling approach. The model was verified used AF, AG, EG, and EF fragments of Timed Computational Tree Logic (TCTL via translations to timed automata.

A modeling method of semiconductor fabrication flows with extended knowledge hybrid Petri nets

Institute of Scientific and Technical Information of China (English)

Zhou Binghai; Jiang Shuyu; Wang Shijin; Wu bin

2008-01-01

A modeling method of extended knowledge hybrid Petri nets (EKHPNs), incorporating object-oriented methods into hybrid Petri nets (HPNs), was presented and used for the representation and modeling of semiconductor wafer fabrication flows. To model the discrete and continuous parts of a complex semiconductor wafer fabrication flow, the HPNs were introduced into the EKHPNs. Object-oriented methods were combined into the EKHPNs for coping with the complexity of the fabrication flow. Knowledge annotations were introduced to solve input and output conflicts of the EKHPNs.Finally, to demonstrate the validity of the EKHPN method, a real semiconductor wafer fabrication case was used to illustrate the modeling procedure. The modeling results indicate that the proposed method can be used to model a complex semiconductor wafer fabrication flow expediently.

Model-Based Testing of a Reactive System with Coloured Petri Nets

DEFF Research Database (Denmark)

Tjell, Simon

2006-01-01

In this paper, a reactive and nondeterministic system is tested. This is doneby applying a generic model that has been specified as a configurable Coloured PetriNet. In this way, model-based testing is possible for a wide class of reactive system atthe level of discrete events. Concurrently...

Modeling of system reliability Petri nets with aging tokens

International Nuclear Information System (INIS)

Volovoi, V.

2004-01-01

The paper addresses the dynamic modeling of degrading and repairable complex systems. Emphasis is placed on the convenience of modeling for the end user, with special attention being paid to the modeling part of a problem, which is considered to be decoupled from the choice of solution algorithms. Depending on the nature of the problem, these solution algorithms can include discrete event simulation or numerical solution of the differential equations that govern underlying stochastic processes. Such modularity allows a focus on the needs of system reliability modeling and tailoring of the modeling formalism accordingly. To this end, several salient features are chosen from the multitude of existing extensions of Petri nets, and a new concept of aging tokens (tokens with memory) is introduced. The resulting framework provides for flexible and transparent graphical modeling with excellent representational power that is particularly suited for system reliability modeling with non-exponentially distributed firing times. The new framework is compared with existing Petri-net approaches and other system reliability modeling techniques such as reliability block diagrams and fault trees. The relative differences are emphasized and illustrated with several examples, including modeling of load sharing, imperfect repair of pooled items, multiphase missions, and damage-tolerant maintenance. Finally, a simple implementation of the framework using discrete event simulation is described

Esophageal cancer prediction based on qualitative features using adaptive fuzzy reasoning method

Directory of Open Access Journals (Sweden)

Raed I. Hamed

2015-04-01

Full Text Available Esophageal cancer is one of the most common cancers world-wide and also the most common cause of cancer death. In this paper, we present an adaptive fuzzy reasoning algorithm for rule-based systems using fuzzy Petri nets (FPNs, where the fuzzy production rules are represented by FPN. We developed an adaptive fuzzy Petri net (AFPN reasoning algorithm as a prognostic system to predict the outcome for esophageal cancer based on the serum concentrations of C-reactive protein and albumin as a set of input variables. The system can perform fuzzy reasoning automatically to evaluate the degree of truth of the proposition representing the risk degree value with a weight value to be optimally tuned based on the observed data. In addition, the implementation process for esophageal cancer prediction is fuzzily deducted by the AFPN algorithm. Performance of the composite model is evaluated through a set of experiments. Simulations and experimental results demonstrate the effectiveness and performance of the proposed algorithms. A comparison of the predictive performance of AFPN models with other methods and the analysis of the curve showed the same results with an intuitive behavior of AFPN models.

Condensed State Spaces for Symmetrical Coloured Petri Nets

DEFF Research Database (Denmark)

Jensen, Kurt

1996-01-01

equivalence classes of states and equivalence classes of state changes. It is then possible to construct a condensed state space where each node represents an equivalence class of states while each arc represents an equivalence class of state changes. Such a condensed state space is often much smaller than...... the full state space and it is also much faster to construct. Nevertheless, it is possible to use the condensed state space to verify the same kind of behavioural properties as the full state space. Hence, we do not lose analytic power. We define state spaces and condensed state spaces for a language......-nets (or Petri nets in general) - although such knowledge will, of course, be a help. The first four sections of the paper introduce the basic concepts of CP-nets. The next three sections deal with state spaces, condensed state spaces and computer tools for state space analysis. Finally, there is a short...

Modeling and performance analysis of a closed-loop supply chain using first-order hybrid Petri nets

Directory of Open Access Journals (Sweden)

Imane Outmal

2016-05-01

Full Text Available Green or closed-loop supply chain had been the focus of many manufacturers during the last decade. The application of closed-loop supply chain in today’s manufacturing is not only due to growing environmental concerns and the recognition of its benefits in reducing greenhouse gas emissions, energy consumption, and meeting a more strict environmental regulations but it also offers economic competitive advantages if appropriately managed. First-order hybrid Petri nets represent a powerful graphical and mathematical formalism to map and analyze the dynamics of complex systems such as closed-loop supply chain networks. This article aims at illustrating the use of first-order hybrid Petri nets to model a closed-loop supply chain network and evaluate its operational, financial, and environmental performance measures under different management policies. Actual data from auto manufacturer in the United States are used to validate network’s performance under both tactical and strategic decision-making, namely, (1 tactical decision—production policies: increase of recovered versus new components and (2 strategic decision—closed-loop supply chain network structure: manufacturer internal recovery process or recovery process done by a third-party collection and recovery center. The work presented in this article is an extension of the use of first-order hybrid Petri nets as a modeling and performance analysis tool from supply chain to closed-loop supply chain. The modularity property of first-order hybrid Petri nets has been used in the modeling process, and the simulation and analysis of the modeled network are done in MATLAB® environment. The results of the experiments depict that first-order hybrid Petri nets are a powerful modeling and analysis formalism for closed-loop supply chain networks and can be further used as an efficient decision-making tool at both tactical and strategic levels. Unlike other researches on modeling supply chain

Evaluation of Cyber Security and Modelling of Risk Propagation with Petri Nets

Directory of Open Access Journals (Sweden)

Marcin Szpyrka

2017-02-01

Full Text Available This article presents a new method of risk propagation among associated elements. On thebasis of coloured Petri nets, a new class called propagation nets is defined. This class providesa formal model of a risk propagation. The proposed method allows for model relations betweennodes forming the network structure. Additionally, it takes into account the bidirectional relationsbetween components as well as relations between isomorphic, symmetrical components in variousbranches of the network. This method is agnostic in terms of use in various systems and it canbe adapted to the propagation model of any systems’ characteristics; however, it is intentionallyproposed to assess the risk of critical infrastructures. In this paper, as a proof of concept example, weshow the formal model of risk propagation proposed within the project Cyberspace Security ThreatsEvaluation System of the Republic of Poland. In the article, the idea of the method is presented aswell as its use case for evaluation of risk for cyber threats. With the adaptation of Petri nets, it ispossible to evaluate the risk for the particular node and assess the impact of this risk for all relatednodes including hierarchic relations of components as well as isomorphism of elements.

Coupling of Petri Net Models of the Mycobacterial Infection Process and Innate Immune Response

Directory of Open Access Journals (Sweden)

Rafael V. Carvalho

2015-04-01

Full Text Available Computational and mathematical modeling is important in support of a better understanding of complex behavior in biology. For the investigation of biological systems, researchers have used computers to construct, verify, and validate models that describe the mechanisms behind biological processes in multi-scale representations. In this paper we combine Petri net models that represent the mycobacterial infection process and innate immune response at various levels of organization, from molecular interaction to granuloma dissemination. In addition to the conventional graphical representation of the Petri net, the outcome of the model is projected onto a 3D model representing the zebrafish embryo. In this manner we provide a visualization of the process in a simulation framework that portrays the infection in the living system.

Modularization of biochemical networks based on classification of Petri net t-invariants.

Science.gov (United States)

Grafahrend-Belau, Eva; Schreiber, Falk; Heiner, Monika; Sackmann, Andrea; Junker, Björn H; Grunwald, Stefanie; Speer, Astrid; Winder, Katja; Koch, Ina

2008-02-08

Structural analysis of biochemical networks is a growing field in bioinformatics and systems biology. The availability of an increasing amount of biological data from molecular biological networks promises a deeper understanding but confronts researchers with the problem of combinatorial explosion. The amount of qualitative network data is growing much faster than the amount of quantitative data, such as enzyme kinetics. In many cases it is even impossible to measure quantitative data because of limitations of experimental methods, or for ethical reasons. Thus, a huge amount of qualitative data, such as interaction data, is available, but it was not sufficiently used for modeling purposes, until now. New approaches have been developed, but the complexity of data often limits the application of many of the methods. Biochemical Petri nets make it possible to explore static and dynamic qualitative system properties. One Petri net approach is model validation based on the computation of the system's invariant properties, focusing on t-invariants. T-invariants correspond to subnetworks, which describe the basic system behavior.With increasing system complexity, the basic behavior can only be expressed by a huge number of t-invariants. According to our validation criteria for biochemical Petri nets, the necessary verification of the biological meaning, by interpreting each subnetwork (t-invariant) manually, is not possible anymore. Thus, an automated, biologically meaningful classification would be helpful in analyzing t-invariants, and supporting the understanding of the basic behavior of the considered biological system. Here, we introduce a new approach to automatically classify t-invariants to cope with network complexity. We apply clustering techniques such as UPGMA, Complete Linkage, Single Linkage, and Neighbor Joining in combination with different distance measures to get biologically meaningful clusters (t-clusters), which can be interpreted as modules. To find

Modularization of biochemical networks based on classification of Petri net t-invariants

Directory of Open Access Journals (Sweden)

Grunwald Stefanie

2008-02-01

Full Text Available Abstract Background Structural analysis of biochemical networks is a growing field in bioinformatics and systems biology. The availability of an increasing amount of biological data from molecular biological networks promises a deeper understanding but confronts researchers with the problem of combinatorial explosion. The amount of qualitative network data is growing much faster than the amount of quantitative data, such as enzyme kinetics. In many cases it is even impossible to measure quantitative data because of limitations of experimental methods, or for ethical reasons. Thus, a huge amount of qualitative data, such as interaction data, is available, but it was not sufficiently used for modeling purposes, until now. New approaches have been developed, but the complexity of data often limits the application of many of the methods. Biochemical Petri nets make it possible to explore static and dynamic qualitative system properties. One Petri net approach is model validation based on the computation of the system's invariant properties, focusing on t-invariants. T-invariants correspond to subnetworks, which describe the basic system behavior. With increasing system complexity, the basic behavior can only be expressed by a huge number of t-invariants. According to our validation criteria for biochemical Petri nets, the necessary verification of the biological meaning, by interpreting each subnetwork (t-invariant manually, is not possible anymore. Thus, an automated, biologically meaningful classification would be helpful in analyzing t-invariants, and supporting the understanding of the basic behavior of the considered biological system. Methods Here, we introduce a new approach to automatically classify t-invariants to cope with network complexity. We apply clustering techniques such as UPGMA, Complete Linkage, Single Linkage, and Neighbor Joining in combination with different distance measures to get biologically meaningful clusters (t

Polymorphism and Module-Reuse Mechanisms for Algebraic Petri Nets in CoopnTools

OpenAIRE

Buffo, Mathieu; Buchs, Didier; Donatelli, S.; Kleijn, J.

1999-01-01

This paper introduces CoopnTools, a tool set allowing the support of object-oriented specifications written by means of the language CO-OPN/2, based on synchronised algebraic Petri nets. In particular, this paper shows how concrete mechanisms dealing with polymorphism and module-reuse are implemented in CoopnTools.

Quantitative modeling of gene networks of biological systems using fuzzy Petri nets and fuzzy sets

Directory of Open Access Journals (Sweden)

Raed I. Hamed

2018-01-01

Full Text Available Quantitative demonstrating of organic frameworks has turned into an essential computational methodology in the configuration of novel and investigation of existing natural frameworks. Be that as it may, active information that portrays the framework's elements should be known keeping in mind the end goal to get pertinent results with the routine displaying strategies. This information is frequently robust or even difficult to get. Here, we exhibit a model of quantitative fuzzy rational demonstrating approach that can adapt to obscure motor information and hence deliver applicable results despite the fact that dynamic information is fragmented or just dubiously characterized. Besides, the methodology can be utilized as a part of the blend with the current cutting edge quantitative demonstrating strategies just in specific parts of the framework, i.e., where the data are absent. The contextual analysis of the methodology suggested in this paper is performed on the model of nine-quality genes. We propose a kind of FPN model in light of fuzzy sets to manage the quantitative modeling of biological systems. The tests of our model appear that the model is practical and entirely powerful for information impersonation and thinking of fuzzy expert frameworks.

A Timed Colored Petri Net Simulation-Based Self-Adaptive Collaboration Method for Production-Logistics Systems

Directory of Open Access Journals (Sweden)

Zhengang Guo

2017-03-01

Full Text Available Complex and customized manufacturing requires a high level of collaboration between production and logistics in a flexible production system. With the widespread use of Internet of Things technology in manufacturing, a great amount of real-time and multi-source manufacturing data and logistics data is created, that can be used to perform production-logistics collaboration. To solve the aforementioned problems, this paper proposes a timed colored Petri net simulation-based self-adaptive collaboration method for Internet of Things-enabled production-logistics systems. The method combines the schedule of token sequences in the timed colored Petri net with real-time status of key production and logistics equipment. The key equipment is made ‘smart’ to actively publish or request logistics tasks. An integrated framework based on a cloud service platform is introduced to provide the basis for self-adaptive collaboration of production-logistics systems. A simulation experiment is conducted by using colored Petri nets (CPN Tools to validate the performance and applicability of the proposed method. Computational experiments demonstrate that the proposed method outperforms the event-driven method in terms of reductions of waiting time, makespan, and electricity consumption. This proposed method is also applicable to other manufacturing systems to implement production-logistics collaboration.

Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 1, Basic Concepts

DEFF Research Database (Denmark)

Jensen, Kurt

This three-volume work presents a coherent description of the theoretical and practical aspects of coloured Petri nets. These CP-nets are shown to be a full-fledged language for the design, specification, simulation, validation and implementation of large software systems. The introductory first...... volume contains the formal definition of CP-nets and the mathematical theory behind their analysis methods. It gives a detailed presentation of many small examples and a brief overview of some industrial applications. The purpose of the book is to teach the reader how to construct CP-net models...

Software hazard analysis for nuclear digital protection system by Colored Petri Net

International Nuclear Information System (INIS)

Bai, Tao; Chen, Wei-Hua; Liu, Zhen; Gao, Feng

2017-01-01

Highlights: •A dynamic hazard analysis method is proposed for the safety-critical software. •The mechanism relies on Colored Petri Net. •Complex interactions between software and hardware are captured properly. •Common failure mode in software are identified effectively. -- Abstract: The software safety of a nuclear digital protection system is critical for the safety of nuclear power plants as any software defect may result in severe damage. In order to ensure the safety and reliability of safety-critical digital system products and their applications, software hazard analysis is required to be performed during the lifecycle of software development. The dynamic software hazard modeling and analysis method based on Colored Petri Net is proposed and applied to the safety-critical control software of the nuclear digital protection system in this paper. The analysis results show that the proposed method can explain the complex interactions between software and hardware and identify the potential common cause failure in software properly and effectively. Moreover, the method can find the dominant software induced hazard to safety control actions, which aids in increasing software quality.

A Case Study on Coloured Petri Nets in Object-oriented Analysis and Design

DEFF Research Database (Denmark)

Barros, Joao Paulo; Jørgensen, Jens Bæk

2005-01-01

In this paper, we first demonstrate how a coloured Petri nets (CPN) model can be used to capture requirements for a considered example system, an elevator controller. Then, we show how this requirements-level CPN model is transformed into a design-level object-oriented CPN model, which...

Protos2CPN: using colored Petri nets for confuguring and testing business processes

NARCIS (Netherlands)

Gottschalk, F.; Aalst, van der W.M.P.; Vullers - Jansen, M.H.; Verbeek, H.M.W.

2008-01-01

Protos is a popular tool for business process modelling used in more than 1,500 organizations. It has a built-in Petri-net-based simulation engine which shows key performance indicators for the modelled processes. Reference process models offered for Protos reduce modelling efforts by providing

Dynamical Scheduling and Robust Control in Uncertain Environments with Petri Nets for DESs

Directory of Open Access Journals (Sweden)

Dimitri Lefebvre

2017-10-01

Full Text Available This paper is about the incremental computation of control sequences for discrete event systems in uncertain environments where uncontrollable events may occur. Timed Petri nets are used for this purpose. The aim is to drive the marking of the net from an initial value to a reference one, in minimal or near-minimal time, by avoiding forbidden markings, deadlocks, and dead branches. The approach is similar to model predictive control with a finite set of control actions. At each step only a small area of the reachability graph is explored: this leads to a reasonable computational complexity. The robustness of the resulting trajectory is also evaluated according to a risk probability. A sufficient condition is provided to compute robust trajectories. The proposed results are applicable to a large class of discrete event systems, in particular in the domains of flexible manufacturing. However, they are also applicable to other domains as communication, computer science, transportation, and traffic as long as the considered systems admit Petri Nets (PNs models. They are suitable for dynamical deadlock-free scheduling and reconfiguration problems in uncertain environments.

Distributed embedded controller development with petri nets application to globally-asynchronous locally-synchronous systems

CERN Document Server

Moutinho, Filipe de Carvalho

2016-01-01

This book describes a model-based development approach for globally-asynchronous locally-synchronous distributed embedded controllers.  This approach uses Petri nets as modeling formalism to create platform and network independent models supporting the use of design automation tools.  To support this development approach, the Petri nets class in use is extended with time-domains and asynchronous-channels. The authors’ approach uses models not only providing a better understanding of the distributed controller and improving the communication among the stakeholders, but also to be ready to support the entire lifecycle, including the simulation, the verification (using model-checking tools), the implementation (relying on automatic code generators), and the deployment of the distributed controller into specific platforms. Uses a graphical and intuitive modeling formalism supported by design automation tools; Enables verification, ensuring that the distributed controller was correctly specified; Provides flex...

Research on user behavior authentication model based on stochastic Petri nets

Science.gov (United States)

Zhang, Chengyuan; Xu, Haishui

2017-08-01

A behavioural authentication model based on stochastic Petri net is proposed to meet the randomness, uncertainty and concurrency characteristics of user behaviour. The use of random models in the location, changes, arc and logo to describe the characteristics of a variety of authentication and game relationships, so as to effectively implement the graphical user behaviour authentication model analysis method, according to the corresponding proof to verify the model is valuable.

Pascal Semantics by a Combination of Denotational Semantics and High-level Petri Nets

DEFF Research Database (Denmark)

Jensen, Kurt; Schmidt, Erik Meineche

1986-01-01

This paper describes the formal semantics of a subset of PASCAL, by means of a semantic model based on a combination of denotational semantics and high-level Petri nets. It is our intention that the paper can be used as part of the written material for an introductory course in computer science....

FORMATION OF THE SYNTHESIS ALGORITHMS OF THE COORDINATING CONTROL SYSTEMS BY MEANS OF THE AUTOMATIC GENERATION OF PETRI NETS

Directory of Open Access Journals (Sweden)

A. A. Gurskiy

2016-09-01

Full Text Available The coordinating control system by drives of the robot-manipulator is presented in this article. The purpose of the scientific work is the development and research of the new algorithms for parametric synthesis of the coordinating control systems. To achieve this aim it is necessary to develop the system generating the required parametric synthesis algorithms and performing the necessary procedures according to the generated algorithm. This scientific work deals with the synthesis of Petri net in the specific case with the automatic generation of Petri nets.

Verification of Liveness Properties on Closed Timed-Arc Petri Nets

DEFF Research Database (Denmark)

Andersen, Mathias; Larsen, Heine G.; Srba, Jiri

2012-01-01

Verification of closed timed models by explicit state-space exploration methods is an alternative to the wide-spread symbolic techniques based on difference bound matrices (DBMs). A few experiments found in the literature confirm that for the reachability analysis of timed automata explicit...... techniques can compete with DBM-based algorithms, at least for situations where the constants used in the models are relatively small. To the best of our knowledge, the explicit methods have not yet been employed in the verification of liveness properties in Petri net models extended with time. We present...

A vector matching method for analysing logic Petri nets

Science.gov (United States)

Du, YuYue; Qi, Liang; Zhou, MengChu

2011-11-01

Batch processing function and passing value indeterminacy in cooperative systems can be described and analysed by logic Petri nets (LPNs). To directly analyse the properties of LPNs, the concept of transition enabling vector sets is presented and a vector matching method used to judge the enabling transitions is proposed in this article. The incidence matrix of LPNs is defined; an equation about marking change due to a transition's firing is given; and a reachable tree is constructed. The state space explosion is mitigated to a certain extent from directly analysing LPNs. Finally, the validity and reliability of the proposed method are illustrated by an example in electronic commerce.

Design and verification of distributed logic controllers with application of Petri nets

Energy Technology Data Exchange (ETDEWEB)

Wiśniewski, Remigiusz; Grobelna, Iwona; Grobelny, Michał; Wiśniewska, Monika [University of Zielona Góra, Licealna 9, 65-417 Zielona Góra (Poland)

2015-12-31

The paper deals with the designing and verification of distributed logic controllers. The control system is initially modelled with Petri nets and formally verified against structural and behavioral properties with the application of the temporal logic and model checking technique. After that it is decomposed into separate sequential automata that are working concurrently. Each of them is re-verified and if the validation is successful, the system can be finally implemented.

Petri net-based prediction of therapeutic targets that recover abnormally phosphorylated proteins in muscle atrophy.

Science.gov (United States)

Jung, Jinmyung; Kwon, Mijin; Bae, Sunghwa; Yim, Soorin; Lee, Doheon

2018-03-05

Muscle atrophy, an involuntary loss of muscle mass, is involved in various diseases and sometimes leads to mortality. However, therapeutics for muscle atrophy thus far have had limited effects. Here, we present a new approach for therapeutic target prediction using Petri net simulation of the status of phosphorylation, with a reasonable assumption that the recovery of abnormally phosphorylated proteins can be a treatment for muscle atrophy. The Petri net model was employed to simulate phosphorylation status in three states, i.e. reference, atrophic and each gene-inhibited state based on the myocyte-specific phosphorylation network. Here, we newly devised a phosphorylation specific Petri net that involves two types of transitions (phosphorylation or de-phosphorylation) and two types of places (activation with or without phosphorylation). Before predicting therapeutic targets, the simulation results in reference and atrophic states were validated by Western blotting experiments detecting five marker proteins, i.e. RELA, SMAD2, SMAD3, FOXO1 and FOXO3. Finally, we determined 37 potential therapeutic targets whose inhibition recovers the phosphorylation status from an atrophic state as indicated by the five validated marker proteins. In the evaluation, we confirmed that the 37 potential targets were enriched for muscle atrophy-related terms such as actin and muscle contraction processes, and they were also significantly overlapping with the genes associated with muscle atrophy reported in the Comparative Toxicogenomics Database (p-value net. We generated a list of the potential therapeutic targets whose inhibition recovers abnormally phosphorylated proteins in an atrophic state. They were evaluated by various approaches, such as Western blotting, GO terms, literature, known muscle atrophy-related genes and shortest path analysis. We expect the new proposed strategy to provide an understanding of phosphorylation status in muscle atrophy and to provide assistance towards

Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods

DEFF Research Database (Denmark)

Jensen, Kurt

ideas behind the analysis methods are described as well as the mathematics on which they are based and also how the methods are supported by computer tools. Some parts of the volume are theoretical while others are application oriented. The purpose of the volume is to teach the reader how to use......This three-volume work presents a coherent description of the theoretical and practical aspects of coloured Petri nets (CP-nets). The second volume contains a detailed presentation of the analysis methods for CP-nets. They allow the modeller to investigate dynamic properties of CP-nets. The main...... the formal analysis methods, which does not require a deep understanding of the underlying mathematical theory....

'PSA-SPN' - A Parameter Sensitivity Analysis Method Using Stochastic Petri Nets: Application to a Production Line System

International Nuclear Information System (INIS)

Labadi, Karim; Saggadi, Samira; Amodeo, Lionel

2009-01-01

The dynamic behavior of a discrete event dynamic system can be significantly affected for some uncertain changes in its decision parameters. So, parameter sensitivity analysis would be a useful way in studying the effects of these changes on the system performance. In the past, the sensitivity analysis approaches are frequently based on simulation models. In recent years, formal methods based on stochastic process including Markov process are proposed in the literature. In this paper, we are interested in the parameter sensitivity analysis of discrete event dynamic systems by using stochastic Petri nets models as a tool for modelling and performance evaluation. A sensitivity analysis approach based on stochastic Petri nets, called PSA-SPN method, will be proposed with an application to a production line system.

Modelling the protocol stack in NCS with deterministic and stochastic petri net

Science.gov (United States)

Hui, Chen; Chunjie, Zhou; Weifeng, Zhu

2011-06-01

Protocol stack is the basis of the networked control systems (NCS). Full or partial reconfiguration of protocol stack offers both optimised communication service and system performance. Nowadays, field testing is unrealistic to determine the performance of reconfigurable protocol stack; and the Petri net formal description technique offers the best combination of intuitive representation, tool support and analytical capabilities. Traditionally, separation between the different layers of the OSI model has been a common practice. Nevertheless, such a layered modelling analysis framework of protocol stack leads to the lack of global optimisation for protocol reconfiguration. In this article, we proposed a general modelling analysis framework for NCS based on the cross-layer concept, which is to establish an efficiency system scheduling model through abstracting the time constraint, the task interrelation, the processor and the bus sub-models from upper and lower layers (application, data link and physical layer). Cross-layer design can help to overcome the inadequacy of global optimisation based on information sharing between protocol layers. To illustrate the framework, we take controller area network (CAN) as a case study. The simulation results of deterministic and stochastic Petri-net (DSPN) model can help us adjust the message scheduling scheme and obtain better system performance.

Performance Estimation for Hardware/Software codesign using Hierarchical Colored Petri Nets

DEFF Research Database (Denmark)

Grode, Jesper Nicolai Riis; Madsen, Jan; Jerraya, Ahmed-Amine

1998-01-01

This paper presents an approach for abstract modeling of the functional behavior of hardware architectures using Hierarchical Colored Petri Nets (HCPNs). Using HCPNs as architectural models has several advantages such as higher estimation accuracy, higher flexibility, and the need for only one...... estimation tool. This makes the approach very useful for designing component models used for performance estimation in Hardware/Software Codesign frameworks such as the LYCOS system. The paper presents the methodology and rules for designing component models using HCPNs. Two examples of architectural models...

Model-Based Requirements Analysis for Reactive Systems with UML Sequence Diagrams and Coloured Petri Nets

DEFF Research Database (Denmark)

Tjell, Simon; Lassen, Kristian Bisgaard

2008-01-01

In this paper, we describe a formal foundation for a specialized approach to automatically checking traces against real-time requirements. The traces are obtained from simulation of Coloured Petri Net (CPN) models of reactive systems. The real-time requirements are expressed in terms of a derivat...

State Token Petri Net modeling method for formal verification of computerized procedure including operator's interruptions of procedure execution flow

International Nuclear Information System (INIS)

Kim, Yun Goo; Seong, Poong Hyun

2012-01-01

The Computerized Procedure System (CPS) is one of the primary operating support systems in the digital Main Control Room. The CPS displays procedure on the computer screen in the form of a flow chart, and displays plant operating information along with procedure instructions. It also supports operator decision making by providing a system decision. A procedure flow should be correct and reliable, as an error would lead to operator misjudgement and inadequate control. In this paper we present a modeling for the CPS that enables formal verification based on Petri nets. The proposed State Token Petri Nets (STPN) also support modeling of a procedure flow that has various interruptions by the operator, according to the plant condition. STPN modeling is compared with Coloured Petri net when they are applied to Emergency Operating Computerized Procedure. A converting program for Computerized Procedure (CP) to STPN has been also developed. The formal verification and validation methods of CP with STPN increase the safety of a nuclear power plant and provide digital quality assurance means that are needed when the role and function of the CPS is increasing.

Petri net modeling of encrypted information flow in federated cloud

Science.gov (United States)

Khushk, Abdul Rauf; Li, Xiaozhong

2017-08-01

Solutions proposed and developed for the cost-effective cloud systems suffer from a combination of secure private clouds and less secure public clouds. Need to locate applications within different clouds poses a security risk to the information flow of the entire system. This study addresses this by assigning security levels of a given lattice to the entities of a federated cloud system. A dynamic flow sensitive security model featuring Bell-LaPadula procedures is explored that tracks and authenticates the secure information flow in federated clouds. Additionally, a Petri net model is considered as a case study to represent the proposed system and further validate the performance of the said system.

Manufacturing Scheduling Using Colored Petri Nets and Reinforcement Learning

Directory of Open Access Journals (Sweden)

Maria Drakaki

2017-02-01

Full Text Available Agent-based intelligent manufacturing control systems are capable to efficiently respond and adapt to environmental changes. Manufacturing system adaptation and evolution can be addressed with learning mechanisms that increase the intelligence of agents. In this paper a manufacturing scheduling method is presented based on Timed Colored Petri Nets (CTPNs and reinforcement learning (RL. CTPNs model the manufacturing system and implement the scheduling. In the search for an optimal solution a scheduling agent uses RL and in particular the Q-learning algorithm. A warehouse order-picking scheduling is presented as a case study to illustrate the method. The proposed scheduling method is compared to existing methods. Simulation and state space results are used to evaluate performance and identify system properties.

Automatic Structure-Based Code Generation from Coloured Petri Nets

DEFF Research Database (Denmark)

Kristensen, Lars Michael; Westergaard, Michael

2010-01-01

Automatic code generation based on Coloured Petri Net (CPN) models is challenging because CPNs allow for the construction of abstract models that intermix control flow and data processing, making translation into conventional programming constructs difficult. We introduce Process-Partitioned CPNs...... (PP-CPNs) which is a subclass of CPNs equipped with an explicit separation of process control flow, message passing, and access to shared and local data. We show how PP-CPNs caters for a four phase structure-based automatic code generation process directed by the control flow of processes....... The viability of our approach is demonstrated by applying it to automatically generate an Erlang implementation of the Dynamic MANET On-demand (DYMO) routing protocol specified by the Internet Engineering Task Force (IETF)....

Input-Output Relation and Time-Optimal Control of a Class of Hybrid Petri Nets Using (min,+) Semiring

Czech Academy of Sciences Publication Activity Database

Komenda, Jan; Zerhouni, N.; El Moudni, A.

2001-01-01

Roč. 11, 1/2 (2001), s. 59-76 ISSN 0924-6703 R&D Projects: GA AV ČR IAC1019007 Keywords : hybrid Petri nets%dioid algebra%modelling Subject RIV: BA - General Mathematics Impact factor: 0.552, year: 2001

A method of knowledge base verification for nuclear power plant expert systems using extended Petri Nets

International Nuclear Information System (INIS)

Kwon, I. W.; Seong, P. H.

1996-01-01

The adoption of expert systems mainly as operator supporting systems is becoming increasingly popular as the control algorithms of system become more and more sophisticated and complicated. The verification phase of knowledge base is an important part for developing reliable expert systems, especially in nuclear industry. Although several strategies or tools have been developed to perform potential error checking, they often neglect the reliability of verification methods. Because a Petri net provides a uniform mathematical formalization of knowledge base, it has been employed for knowledge base verification. In this work, we devise and suggest an automated tool, called COKEP(Checker of Knowledge base using Extended Petri net), for detecting incorrectness, inconsistency, and incompleteness in a knowledge base. The scope of the verification problem is expended to chained errors, unlike previous studies that assume error incidence to be limited to rule pairs only. In addition, we consider certainty factor in checking, because most of knowledge bases have certainly factors. 8 refs,. 2 figs,. 4 tabs. (author)

Distinguishing Environment and System in Coloured Petri Net Models of Reactive Systems

DEFF Research Database (Denmark)

Tjell, Simon

2007-01-01

This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language Coloured Petri Net. The purpose of the formalization is to make it possible to automatically validate any CPN model...... with respect to this property based on structural analysis. A model has the environment-and-system-partitioned property if it is based on a clear division between environment and system. This division is important in many model-driven approaches to software development such as model-based testing and automated...

Hierarchical Colored Petri Nets for Modeling and Analysis of Transit Signal Priority Control Systems

Directory of Open Access Journals (Sweden)

Yisheng An

2018-01-01

Full Text Available In this paper, we consider the problem of developing a model for traffic signal control with transit priority using Hierarchical Colored Petri nets (HCPN. Petri nets (PN are useful for state analysis of discrete event systems due to their powerful modeling capability and mathematical formalism. This paper focuses on their use to formalize the transit signal priority (TSP control model. In a four-phase traffic signal control model, the transit detection and two kinds of transit priority strategies are integrated to obtain the HCPN-based TSP control models. One of the advantages to use these models is the clear presentation of traffic light behaviors in terms of conditions and events that cause the detection of a priority request by a transit vehicle. Another advantage of the resulting models is that the correctness and reliability of the proposed strategies are easily analyzed. After their full reachable states are generated, the boundness, liveness, and fairness of the proposed models are verified. Experimental results show that the proposed control model provides transit vehicles with better effectiveness at intersections. This work helps advance the state of the art in the design of signal control models related to the intersection of roadways.

Performance evaluation of enterprise architecture using fuzzy sequence diagram

Directory of Open Access Journals (Sweden)

Mohammad Atasheneh

2014-01-01

Full Text Available Developing an Enterprise Architecture is a complex task and to control the complexity of the regulatory framework we need to measure the relative performance of one system against other available systems. On the other hand, enterprise architecture cannot be organized without the use of a logical structure. The framework provides a logical structure for classifying architectural output. Among the common architectural framework, the C4ISR framework and methodology of the product is one of the most popular techniques. In this paper, given the existing uncertainties in system development and information systems, a new version of UML called Fuzzy-UML is proposed for enterprise architecture development based on fuzzy Petri nets. In addition, the performance of the system is also evaluated based on Fuzzy sequence diagram.

Stochastic Petri nets for the reliability analysis of communication network applications with alternate-routing

International Nuclear Information System (INIS)

Balakrishnan, Meera; Trivedi, Kishor S.

1996-01-01

In this paper, we present a comparative reliability analysis of an application on a corporate B-ISDN network under various alternate-routing protocols. For simple cases, the reliability problem can be cast into fault-tree models and solved rapidly by means of known methods. For more complex scenarios, state space (Markov) models are required. However, generation of large state space models can get very labor intensive and error prone. We advocate the use of stochastic reward nets (a variant of stochastic Petri nets) for the concise specification, automated generation and solution of alternate-routing protocols in networks. This paper is written in a tutorial style so as to make it accessible to a large audience

Formal Requirements Modeling for Reactive Systems with Coloured Petri Nets

DEFF Research Database (Denmark)

Tjell, Simon

This dissertation presents the contributions of seven publications all concerned with the application of Coloured Petri Nets (CPN) to requirements modeling for reactive systems. The publications are introduced along with relevant background material and related work, and their contributions...... to take into concern that the behavior of human actors is less likely to be predictable than the behavior of e.g. mechanical components.   In the second approach, the CPN model is parameterized and utilizes a generic and reusable CPN module operating as an SD interpreter. In addition to distinguishing...... and events. A tool is presented that allows automated validation of the structure of CPN models with respect to the guidelines. Next, three publications on integrating Jackson's Problem Frames with CPN requirements models are presented: The first publication introduces a method for systematically structuring...

A High-Level Petri Net Framework for Genetic Regulatory Networks

Directory of Open Access Journals (Sweden)

Banks Richard

2007-12-01

Full Text Available To understand the function of genetic regulatory networks in the development of cellular systems, we must not only realise the individual network entities, but also the manner by which they interact. Multi-valued networks are a promising qualitative approach for modelling such genetic regulatory networks, however, at present they have limited formal analysis techniques and tools. We present a flexible formal framework for modelling and analysing multi-valued genetic regulatory networks using high-level Petri nets and logic minimization techniques. We demonstrate our approach with a detailed case study in which part of the genetic regulatory network responsible for the carbon starvation stress response in Escherichia coli is modelled and analysed. We then compare and contrast this multivalued model to a corresponding Boolean model and consider their formal relationship.

Modelling M/G/1 queueing systems with server vacations using stochastic Petri nets

Directory of Open Access Journals (Sweden)

K Ramanath

2006-12-01

Full Text Available The theory of non-Markovian stochastic Petri nets is employed in this paper to derive an alternative method for studying the steady state behaviour of the M/G/1 vacation queueing system with a limited service discipline. Three types of vacation schemes are considered, and sytems with both a finite population and those with an infinite population (but finite capacity are considered. Simple numerical examples are also provided to illustrate the functionality of the methods and some useful performance measures for the system are obtained.

A Case Study on Coloured Petri Nets in Object-oriented Analysis and Design

DEFF Research Database (Denmark)

Barros, Joao Paulo; Jørgensen, Jens Bæk

2005-01-01

is structurally and conceptually closer to class diagrams and object-oriented programming languages. The CPN models reduce the gap between user-level requirements and the respective implementation, thus simplifying the implementation or code generation. Finally, we discuss the code generation from object-oriented......In this paper, we first demonstrate how a coloured Petri nets (CPN) model can be used to capture requirements for a considered example system, an elevator controller. Then, we show how this requirements-level CPN model is transformed into a design-level object-oriented CPN model, which...

Adaptive neuro-fuzzy optimization of wind farm project net profit

International Nuclear Information System (INIS)

Shamshirband, Shahaboddin; Petković, Dalibor; Ćojbašić, Žarko; Nikolić, Vlastimir; Anuar, Nor Badrul; Mohd Shuib, Nor Liyana; Mat Kiah, Miss Laiha; Akib, Shatirah

2014-01-01

Highlights: • Analyzing of wind farm project investment. • Net present value (NPV) maximization of the wind farm project. • Adaptive neuro-fuzzy (ANFIS) optimization of the number of wind turbines to maximize NPV. • The impact of the variation in the wind farm parameters. • Adaptive neuro fuzzy application. - Abstract: A wind power plant which consists of a group of wind turbines at a specific location is also known as wind farm. To maximize the wind farm net profit, the number of turbines installed in the wind farm should be different in depend on wind farm project investment parameters. In this paper, in order to achieve the maximal net profit of a wind farm, an intelligent optimization scheme based on the adaptive neuro-fuzzy inference system (ANFIS) is applied. As the net profit measures, net present value (NPV) and interest rate of return (IRR) are used. The NPV and IRR are two of the most important criteria for project investment estimating. The general approach in determining the accept/reject/stay in different decision for a project via NPV and IRR is to treat the cash flows as known with certainty. However, even small deviations from the predetermined values may easily invalidate the decision. In the proposed model the ANFIS estimator adjusts the number of turbines installed in the wind farm, for operating at the highest net profit point. The performance of proposed optimizer is confirmed by simulation results. Some outstanding properties of this new estimator are online implementation capability, structural simplicity and its robustness against any changes in wind farm parameters. Based on the simulation results, the effectiveness of the proposed optimization strategy is verified

Fuzzy net present valuation based on risk assessment of Malaysian infrastructure

Science.gov (United States)

Shaffie, Siti Salihah; Jaaman, Saiful Hafizah; Mohamad, Daud

2017-04-01

In recent years, built-operate-transfer (BOT) projects have profoundly been accepted under project financing for infrastructure developments in many countries. It requires high financing and involves complex mutual risk. The assessment of the risks is vital to avert huge financial loss. Net present value is widely applied to BOT project where the uncertainties in cash flows are deemed to be deterministic values. This study proposed a fuzzy net present value model taking consideration the assessment of risks from the BOT project. The proposed model is adopted to provide more flexible net present valuation of the project. It is shown and proven that the improved fuzzy cash flow model will provide a valuation that is closed to the real value of the project.

Formal Specification and Verification of Real-Time Multi-Agent Systems using Timed-Arc Petri Nets

OpenAIRE

QASIM, A.; KAZMI, S. A. R.; FAKHIR, I.

2015-01-01

In this study we have formally specified and verified the actions of communicating real-time software agents (RTAgents). Software agents are expected to work autonomously and deal with unfamiliar situations astutely. Achieving cent percent test cases coverage for these agents has always been a problem due to limited resources. Also a high degree of dependability and predictability is expected from real-time software agents. In this research we have used Timed-Arc Petri Net...

A Timed Colored Petri Net Simulation-Based Self-Adaptive Collaboration Method for Production-Logistics Systems

OpenAIRE

Zhengang Guo; Yingfeng Zhang; Xibin Zhao; Xiaoyu Song

2017-01-01

Complex and customized manufacturing requires a high level of collaboration between production and logistics in a flexible production system. With the widespread use of Internet of Things technology in manufacturing, a great amount of real-time and multi-source manufacturing data and logistics data is created, that can be used to perform production-logistics collaboration. To solve the aforementioned problems, this paper proposes a timed colored Petri net simulation-based self-adaptive colla...

Stochastic Petri net analysis of a replicated file system

Science.gov (United States)

Bechta Dugan, Joanne; Ciardo, Gianfranco

1989-01-01

A stochastic Petri-net model of a replicated file system is presented for a distributed environment where replicated files reside on different hosts and a voting algorithm is used to maintain consistency. Witnesses, which simply record the status of the file but contain no data, can be used in addition to or in place of files to reduce overhead. A model sufficiently detailed to include file status (current or out-of-date), as well as failure and repair of hosts where copies or witnesses reside, is presented. The number of copies and witnesses is a parameter of the model. Two different majority protocols are examined, one where a majority of all copies and witnesses is necessary to form a quorum, and the other where only a majority of the copies and witnesses on operational hosts is needed. The latter, known as adaptive voting, is shown to increase file availability in most cases.

Detection and Modeling of Cyber Attacks with Petri Nets

Directory of Open Access Journals (Sweden)

Bartosz Jasiul

2014-12-01

Full Text Available The aim of this article is to present an approach to develop and verify a method of formal modeling of cyber threats directed at computer systems. Moreover, the goal is to prove that the method enables one to create models resembling the behavior of malware that support the detection process of selected cyber attacks and facilitate the application of countermeasures. The most common cyber threats targeting end users and terminals are caused by malicious software, called malware. The malware detection process can be performed either by matching their digital signatures or analyzing their behavioral models. As the obfuscation techniques make the malware almost undetectable, the classic signature-based anti-virus tools must be supported with behavioral analysis. The proposed approach to modeling of malware behavior is based on colored Petri nets. This article is addressed to cyber defense researchers, security architects and developers solving up-to-date problems regarding the detection and prevention of advanced persistent threats.

System of failures diagnosis for energy transmission systems, using Petri nets

International Nuclear Information System (INIS)

Zapata, German; Grisales, John Faber; Gomez, Juan Camilo; Quintero Henao, Luis Fernando

2005-01-01

An expert system of second generation was used integrating the inverse Petri nets (RPN) and the systems based on rules (rule-based system) for the accomplishment of a program in Visual Basic that helps in the obtaining of an opportune and fast analysis of transmission of energy at the time of happening a fault in anymore of its components (line or bus). The program is proven in a portion of system IEEE -118 standard bus test system, in which two extracted cases of literature are developed and are the obtained results. Finally tests realized with the method developed in the laboratory of machines of the national university of Colombia, Medellin campus, simulating a system of transmission with two lines and two buses

Modeling and Application of Vehicular Cyber Physical System Based Petri Nets

Directory of Open Access Journals (Sweden)

Lin Chen

2014-11-01

Full Text Available Mobile cyber physical system (MCPS has been a hot research area, where mobile nodes can mobile, and communicate with each other. As a typical MCPS, vehicular cyber physical system (VCPS plays an important role in intelligent transportation, especially in collision avoidance. There is no, however, a formal modeling and analysis method for VCPS. In the paper, the modeling method based Petri nets (PN is presented. Furthermore, the behavior expression analysis method is also presented which can deal with arbitrary distribution timed transitions. Finally, a case is introduced to verify the effectiveness about proposed method, and the results show that VCPS can greatly reduce the reaction time of vehicles behind when emergent accident occurs and then enhance the traffic safety.

O potencial das redes de Petri em modelagem e análise de processos de negócio The potencial of Petri nets in modeling and analysis of workflow

Directory of Open Access Journals (Sweden)

Sílvia Inês Dallavalle de Pádua

2004-04-01

Full Text Available A tecnologia de gerenciamento workflow procura oferecer uma solução flexível em apoio aos processos de negócios, por meio da facilitação de modificações e da criação de novos processos. Entretanto, a falta de definição bem formalizada no que se refere à sintaxe e à semântica de tais técnicas dificulta análises mais complexas dos modelos. Nesse caso, redes de Petri atuam com excelente potencial, uma vez que possuem representação gráfica, são de fácil aprendizado, funcionam como linguagem de comunicação entre especialistas de diversas áreas, possibilitam descrever aspectos estáticos e dinâmicos do sistema a ser representado e ainda possuem o formalismo matemático necessário para métodos de análise já consagrados. O presente trabalho tem por objetivo, primeiramente, oferecer uma visão atualizada do estado da arte na área de modelagem de workflow baseada em redes de Petri e expor um exemplo de modelo de workflow com parâmetros de tempo e custo associados às transições da rede. O objetivo secundário é apresentar conceitos importantes de redes de Petri, workflow e rotas de processos.Unfortunately these systems and techniques do not have well-defined syntax and semantic, which makes harder the complex analysis of models. In this case, Petri nets have excellent potential to solve the problem, once they present graphic representation and easy understanding. They are used as a communication language among expert people in different areas, and may allow the description of static and dynamic aspects of the systems that have to be represented. Also, they have mathematic formalism, which make possibly the use of the analysis methods. The objective of this work is to present the potential of Petri nets in studies of Enterprise Modelling and Workflow, showing an example of application, with time and cost parameters.

Planning and Optimization of AGV Jobs by Petri Net and Genetic Algorithm

Directory of Open Access Journals (Sweden)

Anita Gudelj

2012-12-01

Full Text Available The following article presents the possibilities of job optimization on a maritime container terminal, in order to increase the system productivity and optimize the terminal capacity. Automated guided vehicles (AGVs are now becoming popular mode of container transport in seaport terminals. The moving of vehicles can be described as the set of discrete events and states. Some of these states can be undesirable such as conflicts and deadlocks. It is necessary to apply adequate control policy to avoid deadlocks and block the vehicles’ moving only in the case of dangerous situation.This paper addresses the use a Petri net as modeling and scheduling tool in this context. The aim of AGV scheduling is to dispatch a set of AGVs to improve the productivity of a system and reduce delay in a batch of pickup/drop-off jobs under certain constraints such as deadlines, priority, etc. The final goals are related to optimization of processing time and minimization of the number of AGVs involved while maintaining the system throughput.To find better solutions, the authors propose the integration MRF1 class of Petri net (MRF1PN with a genetic algorithm. Also, the use of a matrix based formal method is proposed to analyze discrete event dynamic system (DEDS. The algorithm is described to deal with multi-project, multi-constrained scheduling problem with shared resources. The developed model was tested and validated by simulation of typical scenarios of the container terminal of Port Koper. Modularity and simplicity of the approach allow using the model to monitor and test the efficiency of the processes, and also to propose future alternative solutions to optimize the schedule of operations and the employment of AGV at the terminal.

Vector control of wind turbine on the basis of the fuzzy selective neural net*

Science.gov (United States)

Engel, E. A.; Kovalev, I. V.; Engel, N. E.

2016-04-01

An article describes vector control of wind turbine based on fuzzy selective neural net. Based on the wind turbine system’s state, the fuzzy selective neural net tracks an maximum power point under random perturbations. Numerical simulations are accomplished to clarify the applicability and advantages of the proposed vector wind turbine’s control on the basis of the fuzzy selective neuronet. The simulation results show that the proposed intelligent control of wind turbine achieves real-time control speed and competitive performance, as compared to a classical control model with PID controllers based on traditional maximum torque control strategy.

Control Design for Untimed Petri Nets Using Markov Decision Processes

Directory of Open Access Journals (Sweden)

Cherki Daoui

2017-01-01

Full Text Available Design of control sequences for discrete event systems (DESs has been presented modelled by untimed Petri nets (PNs. PNs are well-known mathematical and graphical models that are widely used to describe distributed DESs, including choices, synchronizations and parallelisms. The domains of application include, but are not restricted to, manufacturing systems, computer science and transportation networks. We are motivated by the observation that such systems need to plan their production or services. The paper is more particularly concerned with control issues in uncertain environments when unexpected events occur or when control errors disturb the behaviour of the system. To deal with such uncertainties, a new approach based on discrete time Markov decision processes (MDPs has been proposed that associates the modelling power of PNs with the planning power of MDPs. Finally, the simulation results illustrate the benefit of our method from the computational point of view. (original abstract

Efficient Data-Structures and Algorithms for a Coloured Petri Nets Simulator

DEFF Research Database (Denmark)

Mortensen, Kjeld Høyer

2001-01-01

In this paper we describe how efficient data-structures and algorithms are used to dramatically improve the performance of a simulator for Coloured Petri Nets compared with earlier versions. We have improved the simulator with respect to three areas: Firstly we have improved the transition...... of other transitions. Secondly we have improved the data-structures which hold multi-sets for markings. A kind of weight-balanced trees, called BB-trees. are used instead of lists as in the original version of the simulator. Although this kind of trees are more difficult to maintain at run...... "recipe" which is specially generated and optimised for each individual transition. The improved simulator is implemented in both the Design/CPN and CPN tools software packages, and has been used in several industrial projects....

Research and Application of FTA and Petri Nets in Fault Diagnosis in the Pantograph-Type Current Collector on CRH EMU Trains

Directory of Open Access Journals (Sweden)

Long-long Song

2015-01-01

Full Text Available A fault tree is established based on structural analysis, working principle analysis, and failure mode and effects analysis (FMEA of the pantograph-type current collector on the Chinese Rail High-Speed Electric Multiple Unit (CRH EMU train. To avoid the deficiencies of fault tree analysis (FTA, Petri nets modelling is used to address the problem of data explosion and carry out dynamic diagnosis. Relational matrix analysis is used to solve the minimal cut set equation of the fault tree. Based on the established state equation of the Petri nets, initial tokens and enable-transfer algorithms are used to express the fault transfer process mathematically and improve the efficiency of fault diagnosis inferences. Finally, using a practical fault diagnosis example for the pantographs on CRH EMU trains, the proposed method is proved to be reasonable and effective.

Application of Petri Nets in Bone Remodeling

Directory of Open Access Journals (Sweden)

Lingxi Li

2009-07-01

Full Text Available Understanding a mechanism of bone remodeling is a challenging task for both life scientists and model builders, since this highly interactive and nonlinear process can seldom be grasped by simple intuition. A set of ordinary differential equations (ODEs have been built for simulating bone formation as well as bone resorption. Although solving ODEs numerically can provide useful predictions for dynamical behaviors in a continuous time frame, an actual bone remodeling process in living tissues is driven by discrete events of molecular and cellular interactions. Thus, an event-driven tool such as Petri nets (PNs, which may dynamically and graphically mimic individual molecular collisions or cellular interactions, seems to augment the existing ODE-based systems analysis. Here, we applied PNs to expand the ODE-based approach and examined discrete, dynamical behaviors of key regulatory molecules and bone cells. PNs have been used in many engineering areas, but their application to biological systems needs to be explored. Our PN model was based on 8 ODEs that described an osteoprotegerin linked molecular pathway consisting of 4 types of bone cells. The models allowed us to conduct both qualitative and quantitative evaluations and evaluate homeostatic equilibrium states. The results support that application of PN models assists understanding of an event-driven bone remodeling mechanism using PN-specific procedures such as places, transitions, and firings.

Developmental switching in Physarum polycephalum : Petri net analysis of single cell trajectories of gene expression indicates responsiveness and genetic plasticity of the Waddington quasipotential landscape

International Nuclear Information System (INIS)

Werthmann, Britta; Marwan, Wolfgang

2017-01-01

The developmental switch to sporulation in Physarum polycephalum is a phytochrome-mediated far-red light-induced cell fate decision that synchronously encompasses the entire multinucleate plasmodial cell and is associated with extensive reprogramming of the transcriptome. By repeatedly taking samples of single cells after delivery of a light stimulus pulse, we analysed differential gene expression in two mutant strains and in a heterokaryon of the two strains all of which display a different propensity for making the cell fate decision. Multidimensional scaling of the gene expression data revealed individually different single cell trajectories eventually leading to sporulation. Characterization of the trajectories as walks through states of gene expression discretized by hierarchical clustering allowed the reconstruction of Petri nets that model and predict the observed behavior. Structural analyses of the Petri nets indicated stimulus- and genotype-dependence of both, single cell trajectories and of the quasipotential landscape through which these trajectories are taken. The Petri net-based approach to the analysis and decomposition of complex cellular responses and of complex mutant phenotypes may provide a scaffold for the data-driven reconstruction of causal molecular mechanisms that shape the topology of the quasipotential landscape. (paper)

Developmental switching in Physarum polycephalum: Petri net analysis of single cell trajectories of gene expression indicates responsiveness and genetic plasticity of the Waddington quasipotential landscape

Science.gov (United States)

Werthmann, Britta; Marwan, Wolfgang

2017-11-01

The developmental switch to sporulation in Physarum polycephalum is a phytochrome-mediated far-red light-induced cell fate decision that synchronously encompasses the entire multinucleate plasmodial cell and is associated with extensive reprogramming of the transcriptome. By repeatedly taking samples of single cells after delivery of a light stimulus pulse, we analysed differential gene expression in two mutant strains and in a heterokaryon of the two strains all of which display a different propensity for making the cell fate decision. Multidimensional scaling of the gene expression data revealed individually different single cell trajectories eventually leading to sporulation. Characterization of the trajectories as walks through states of gene expression discretized by hierarchical clustering allowed the reconstruction of Petri nets that model and predict the observed behavior. Structural analyses of the Petri nets indicated stimulus- and genotype-dependence of both, single cell trajectories and of the quasipotential landscape through which these trajectories are taken. The Petri net-based approach to the analysis and decomposition of complex cellular responses and of complex mutant phenotypes may provide a scaffold for the data-driven reconstruction of causal molecular mechanisms that shape the topology of the quasipotential landscape.

A Method for Modeling the Virtual Instrument Automatic Test System Based on the Petri Net

Institute of Scientific and Technical Information of China (English)

MA Min; CHEN Guang-ju

2005-01-01

Virtual instrument is playing the important role in automatic test system. This paper introduces a composition of a virtual instrument automatic test system and takes the VXIbus based a test software platform which is developed by CAT lab of the UESTC as an example. Then a method to model this system based on Petri net is proposed. Through this method, we can analyze the test task scheduling to prevent the deadlock or resources conflict. At last, this paper analyzes the feasibility of this method.

The application of coloured Petri nets to verification of distributed systems specified by message Sequence Charts

OpenAIRE

CHERNENOK S.A.; NEPOMNIASCHY V.A.

2015-01-01

The language of message sequence charts (MSC) is a popular scenario-based specification language used to describe the interaction of components in distributed systems. However, the methods for validation of MSC diagrams are underdeveloped. This paper describes a method for translation of MSC diagrams into coloured Petri nets (CPN). The method is applied to the property verification of these diagrams. The considered set of diagram elements is extended by the elements of UML sequence diagrams a...

A Concurrent Multiple Negotiation Protocol Based on Colored Petri Nets.

Science.gov (United States)

Niu, Lei; Ren, Fenghui; Zhang, Minjie; Bai, Quan

2017-11-01

Concurrent multiple negotiation (CMN) provides a mechanism for an agent to simultaneously conduct more than one negotiation. There may exist different interdependency relationships among these negotiations and these interdependency relationships can impact the outcomes of these negotiations. The outcomes of these concurrent negotiations contribute together for the agent to achieve an overall negotiation goal. Handling a CMN while considering interdependency relationships among multiple negotiations is a challenging research problem. This paper: 1) comprehensively highlights research problems of negotiations at concurrent negotiation level; 2) provides a graph-based CMN model with consideration of the interdependency relationships; and 3) proposes a colored Petri net-based negotiation protocol for conducting CMNs. With the proposed protocol, a CMN can be efficiently and concurrently processed and negotiation agreements can be efficiently achieved. Experimental results indicate the effectiveness and efficiency of the proposed protocol in terms of the negotiation success rate, the negotiation time and the negotiation outcome.

Petri Net and Probabilistic Model Checking Based Approach for the Modelling, Simulation and Verification of Internet Worm Propagation.

Directory of Open Access Journals (Sweden)

Misbah Razzaq

Full Text Available Internet worms are analogous to biological viruses since they can infect a host and have the ability to propagate through a chosen medium. To prevent the spread of a worm or to grasp how to regulate a prevailing worm, compartmental models are commonly used as a means to examine and understand the patterns and mechanisms of a worm spread. However, one of the greatest challenge is to produce methods to verify and validate the behavioural properties of a compartmental model. This is why in this study we suggest a framework based on Petri Nets and Model Checking through which we can meticulously examine and validate these models. We investigate Susceptible-Exposed-Infectious-Recovered (SEIR model and propose a new model Susceptible-Exposed-Infectious-Recovered-Delayed-Quarantined (Susceptible/Recovered (SEIDQR(S/I along with hybrid quarantine strategy, which is then constructed and analysed using Stochastic Petri Nets and Continuous Time Markov Chain. The analysis shows that the hybrid quarantine strategy is extremely effective in reducing the risk of propagating the worm. Through Model Checking, we gained insight into the functionality of compartmental models. Model Checking results validate simulation ones well, which fully support the proposed framework.

A PetriNet-Based Approach for Supporting Traceability in Cyber-Physical Manufacturing Systems.

Science.gov (United States)

Huang, Jiwei; Zhu, Yeping; Cheng, Bo; Lin, Chuang; Chen, Junliang

2016-03-17

With the growing popularity of complex dynamic activities in manufacturing processes, traceability of the entire life of every product has drawn significant attention especially for food, clinical materials, and similar items. This paper studies the traceability issue in cyber-physical manufacturing systems from a theoretical viewpoint. Petri net models are generalized for formulating dynamic manufacturing processes, based on which a detailed approach for enabling traceability analysis is presented. Models as well as algorithms are carefully designed, which can trace back the lifecycle of a possibly contaminated item. A practical prototype system for supporting traceability is designed, and a real-life case study of a quality control system for bee products is presented to validate the effectiveness of the approach.

Fuzzy net present value for engineering analysis

Directory of Open Access Journals (Sweden)

Ali Nazeri

2012-10-01

Full Text Available Cash flow analysis is one of the most popular methods for investigating the outcome of an economical project. The costs and benefits of a construction project are often involved with uncertainty and it is not possible to find a precise value for a particular project. In this paper, we present a simple method to calculate the net present value of a cash flow when both costs and benefits are given as triangular numbers. The proposed model of this paper uses Delphi method to figure out the fair values of all costs and revenues and then using fizzy programming techniques, it calculates the fuzzy net present value. The implementation of the proposed model is demonstrated using a simple example.

Possibilistic Fuzzy Net Present Value Model and Application

Directory of Open Access Journals (Sweden)

S. S. Appadoo

2014-01-01

Full Text Available The cash flow values and the interest rate in the net present value (NPV model are usually specified by either crisp numbers or random variables. In this paper, we first discuss some of the recent developments in possibility theory and find closed form expressions for fuzzy possibilistic net present value (FNPV. Then, following Carlsson and Fullér (2001, we discuss some of the possibilistic moments related to FNPV model along with an illustrative numerical example. We also give a unified approach to find higher order moments of FNPV by using the moment generating function introduced by Paseka et al. (2011.

Complexity Quantification for Overhead Transmission Line Emergency Repair Scheme via a Graph Entropy Method Improved with Petri Net and AHP Weighting Method

Directory of Open Access Journals (Sweden)

Jing Zhou

2014-01-01

Full Text Available According to the characteristics of emergency repair in overhead transmission line accidents, a complexity quantification method for emergency repair scheme is proposed based on the entropy method in software engineering, which is improved by using group AHP (analytical hierarchical process method and Petri net. Firstly, information structure chart model and process control flowchart model could be built by Petri net. Then impact factors on complexity of emergency repair scheme could be quantified into corresponding entropy values, respectively. Finally, by using group AHP method, weight coefficient of each entropy value would be given before calculating the overall entropy value for the whole emergency repair scheme. By comparing group AHP weighting method with average weighting method, experiment results for the former showed a stronger correlation between quantified entropy values of complexity and the actual consumed time in repair, which indicates that this new method is more valid.

ertCPN: The adaptations of the coloured Petri-Net theory for real-time embedded system modeling and automatic code generation

Directory of Open Access Journals (Sweden)

Wattanapong Kurdthongmee

2003-05-01

Full Text Available A real-time system is a computer system that monitors or controls an external environment. The system must meet various timing and other constraints that are imposed on it by the real-time behaviour of the external world. One of the differences between a real-time and a conventional software is that a real-time program must be both logically and temporally correct. To successfully design and implement a real-time system, some analysis is typically done to assure that requirements or designs are consistent and that they satisfy certain desirable properties that may not be immediately obvious from specification. Executable specifications, prototypes and simulation are particularly useful in real-time systems for debugging specifications. In this paper, we propose the adaptations to the coloured Petri-net theory to ease the modeling, simulation and code generation process of an embedded, microcontroller-based, real-time system. The benefits of the proposed approach are demonstrated by use of our prototype software tool called ENVisAge (an Extended Coloured Petri-Net Based Visual Application Generator Tool.

Cooperative Control of Multiple Unmanned Autonomous Vehicles

National Research Council Canada - National Science Library

Nygard, Kendall E

2005-01-01

.... This paper presents a Petri net approach to UA V decision making based on fuzzy reasoning. It shows that Petri nets are a viable tool for modeling and validating propositional logic for rule-based reasoning in UA V decisions...

Simulation of the chemical stage in water radiolysis with the help of Continuous Petri nets

International Nuclear Information System (INIS)

Barilla, J.; Lokajíček, M.V.; Pisaková, H.; Simr, P.

2014-01-01

The final biological effect of ionizing particles may be influenced often strongly by some chemical substances present in cells during irradiation by low-LET radiation. It may occur during the chemical stage of the given process, due to chemical reactions of radicals running in the given process. However, the whole chemical process may be hardly described sufficiently with the help of the usual approach based on the deterministic diffusion-kinetic computations and the stochastic Monte-Carlo simulations. We have proposed already earlier a model describing the processes (i.e., the combined effect of cluster diffusion and chemical reactions) running in individual radical clusters that might be responsible for corresponding damages of DNA molecules (i.e., formation of DSBs). Now a further generalization of the given model (using Continuous Petri nets) will be presented that makes it possible to characterize more detailed behavior of individual radicals in corresponding clusters, which might be useful especially for low-LET radiation when individual radical clusters meet a DNA molecule at different time intervals after their formation; the decreasing presence of individual radicals in corresponding clusters being established. In this paper we shall focus on the design of the corresponding mathematical model and its application; the comparison of corresponding results with experimental data obtained in the case of deoxygenated system will be presented. - Highlights: • Creation of the mathematical model. • Realization of the model with the help of Continuous Petri nets. • Obtain the time dependence of changes in the concentration of radicals

The Perspective on Data and Control Flow Analysis in Topological Functioning Models by Petri Nets

Directory of Open Access Journals (Sweden)

Asnina Erika

2014-12-01

Full Text Available The perspective on integration of two mathematical formalisms, i.e., Colored Petri Nets (CPNs and Topological Functioning Model (TFM, is discussed in the paper. The roots of CPNs are in modeling system functionality. The TFM joins principles of system theory and algebraic topology, and formally bridges the solution domain with the problem domain. It is a base for further automated construction of software design models. The paper discusses a perspective on check of control and data flows in the TFM by CPNs formalism. The research result is definition of mappings from TFMs to CPNs.

Extended object-oriented Petri net model for mission reliability simulation of repairable PMS with common cause failures

International Nuclear Information System (INIS)

Wu, Xin-yang; Wu, Xiao-Yue

2015-01-01

Phased Mission Systems (PMS) have several phases with different success criteria. Generally, traditional analytical methods need to make some assumptions when they are applied for reliability evaluation and analysis of complex PMS, for example, the components are non-repairable or components are not subjected to common cause failures (CCF). However, the evaluation and analysis results may be inapplicable when the assumptions do not agree with practical situation. In this article, we propose an extended object-oriented Petri net (EOOPN) model for mission reliability simulation of repairable PMS with CCFs. Based on object-oriented Petri net (OOPN), EOOPN defines four reusable sub-models to depict PMS at system, phase, or component levels respectively, logic transitions to depict complex components reliability logics in a more readable form, and broadcast place to transmit shared information among components synchronously. After extension, EOOPN could deal with repairable PMS with both external and internal CCFs conveniently. The mission reliability modelling, simulation and analysis using EOOPN are illustrated by a PMS example. The results demonstrate that the proposed EOOPN model is effective. - Highlights: • EOOPN model was effective in reliability simulation for repairable PMS with CCFs. • EOOPN had modular and hierarchical structure. • New elements of EOOPN made the modelling process more convenient and friendlier. • EOOPN had better model reusability and readability than other PNs

A PetriNet-Based Approach for Supporting Traceability in Cyber-Physical Manufacturing Systems

Directory of Open Access Journals (Sweden)

Jiwei Huang

2016-03-01

Full Text Available With the growing popularity of complex dynamic activities in manufacturing processes, traceability of the entire life of every product has drawn significant attention especially for food, clinical materials, and similar items. This paper studies the traceability issue in cyber-physical manufacturing systems from a theoretical viewpoint. Petri net models are generalized for formulating dynamic manufacturing processes, based on which a detailed approach for enabling traceability analysis is presented. Models as well as algorithms are carefully designed, which can trace back the lifecycle of a possibly contaminated item. A practical prototype system for supporting traceability is designed, and a real-life case study of a quality control system for bee products is presented to validate the effectiveness of the approach.

Estimation of the Net Present Value of the Investment Project in the Situation of Fuzzy Initial Data

Directory of Open Access Journals (Sweden)

Kotsyuba Oleksiy S.

2017-03-01

Full Text Available The article investigates the problem of estimating the net present value of the investment project using a methodology based on the theory of fuzzy sets in the situation when the initial data are described by fuzzy estimates. In the general case the fuzzy-multiple estimation of the specified indicator at a discrete-interval representation of the initial parameters is reduced to a set of homogeneous optimization problems. Often, depending on the characteristics of fuzzy estimates of cash flows of the investment project under consideration, the solutions to these problems can be found directly on the basis of relevant analytical expressions, while other problems require using special optimization methods. In the work there made an attempt to develop the analytical component of the fuzzy-multiple modeling of the net present value indicator. First, we examined the general search and optimization approach, which allows providing a predetermined degree of accuracy, as well as the method for approximate determination of the fuzzy estimate of the net present value on the basis of analytical relationships developed by Сhui-Yu Chiu and Chan S. Park. After that, the situation was analyzed, and the corresponding calculation model was proposed, when fuzzy estimates of the cash flows of the investment project can be interpreted from the perspective of the concept of the money-generating operation formulated by O. B. Lozhkin. Among other things, it allowed to develop a general scheme for determining the fuzzy estimate of the net present value, supplementing it with the situation of this concept. As the main direction of the further development of the problems discussed in the publication there determined the formation of a holistic methodology for evaluating the effectiveness of real investments, which would cover different in their nature and structural characteristics types of uncertainty from unified theoretical positions.

A Petri net-based modelling of replacement strategies under technological obsolescence

Energy Technology Data Exchange (ETDEWEB)

Clavareau, Julien [Universite Libre de Bruxelles (U.L.B.), Service de Metrologie Nucleaire, Av. F.D. Roosevelt, 50 (CP165/84), Bruxelles B-1050 (Belgium)], E-mail: jclavare@ulb.ac.be; Labeau, Pierre-Etienne [Universite Libre de Bruxelles (U.L.B.), Service de Metrologie Nucleaire, Av. F.D. Roosevelt, 50 (CP165/84), Bruxelles B-1050 (Belgium)

2009-02-15

The technological obsolescence of a unit is characterised by the existence of challenger units displaying identical functionalities, but with higher performances. Though this issue is commonly encountered in practice, it has received little consideration in the literature. Previous exploratory works have treated the problem of replacing old-technology items by new ones, for identical components facing a unique new generation of items. This paper aims to define, in a realistic way, possible replacement policies when several types of challenger units are available and when the performances of these newly available units improve with time. Since no fully generic model can exist in maintenance optimisation, a modular modelling of the problem, allowing easy adaptations to features corresponding to specific applications is highly desirable. This work therefore proposes a modular Petri net model for this problem, underlying a Monte Carlo (MC) estimation of the costs incurred by the different possible replacement strategies under consideration.

Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller

DEFF Research Database (Denmark)

Jørgensen, Jens Bæk; Fernandes, Joao Miguel; Tjell, Simon

2007-01-01

This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key properties that a model which we construct must have, namely: (1) controller-and-environment-partitioned, which means...... constituting a description of both the controller and the environment, and distinguishing between these two domains and between desired and assumed behaviour; (2) use case-based, which means constructed on the basis of a given use case diagram and reproducing the behaviour described in accompanying scenario...... descriptions. For the case study, we build an executable model in the formal modelling language Coloured Petri Nets. We demonstrate how this model is useful for requirements engineering, since it provides a solid basis for addressing behavioural issues early in the development process, for example regarding...

Automatic Supervisory System Synthesis for Port Cranes Collision Prevention by Using Petri Net

Directory of Open Access Journals (Sweden)

Danko Kezić

2006-05-01

Full Text Available The article deals with the system of port cranes comprisingtwo independently controlled cranes which are simultaneouslyengaged in the transhipment of cargo between a vessel and arailway wagon assembly alongside. The crane operator's errorcan lead to tlie collision of cranes. Therefore, it is necessary toinstall the supervisor in an automatic control system with thefunctions of continuous supervision of the process of cranemovement, and blocking of commands that can lead to collision.The article shows the method of crane system modellingas a discrete event system by using PIT and P-timed Petri nets.There is a proposal of a formal mathematic method for calculationof the state supervisor by P-invariant method. The supervisorcalculated in this way is maximally permissive supervisor.The efficiency of the supervisor is verified by a computer simulation.

Integrated logistic support studies using behavioral Monte Carlo simulation, supported by Generalized Stochastic Petri Nets

International Nuclear Information System (INIS)

Garnier, Robert; Chevalier, Marcel

2000-01-01

Studying large and complex industrial sites, requires more and more accuracy in modeling. In particular, when considering Spares, Maintenance and Repair / Replacement processes, determining optimal Integrated Logistic Support policies requires a high level modeling formalism, in order to make the model as close as possible to the real considered processes. Generally, numerical methods are used to process this kind of study. In this paper, we propose an alternate way to process optimal Integrated Logistic Support policy determination when dealing with large, complex and distributed multi-policies industrial sites. This method is based on the use of behavioral Monte Carlo simulation, supported by Generalized Stochastic Petri Nets. (author)

ePNK Applications and Annotations: A Simulator for YAWL Nets

DEFF Research Database (Denmark)

Kindler, Ekkart

2018-01-01

The ePNK is an Eclipse based platform and framework for developing and integrating Petri net tools and applications. New types of Petri nets can be realized and plugged into the ePNK without any programming by simply providing a model of the concepts of the new Petri net type. Moreover, the ePNK ...

Modeling of the chemical stage in water radiolysis using Petri nets

International Nuclear Information System (INIS)

Barilla, J; Simr, P; Lokajíček, M; Pisaková, H

2014-01-01

The biological effect of ionizing radiation is mediated practically always by the clusters of radicals formed by densely ionizing track ends of primary or secondary particles. In the case of low-LET radiation the direct effect may be practically neglected and the radical clusters meet a DNA molecule always some time after their formation. The corresponding damage effect (formation of DSB) depends then on the evolution running in individual clusters, being influenced by present chemical agents. Two main parallel processes influence then final effect: diffusion of corresponding radical clusters (lowering radical concentrations) and chemical reactions of all chemical substances present in the clusters. The processes running in the corresponding radical clusters will be modeled with the help of continuous Petri net, which enables us to study the concurrent influence of both the processes: lowering concentration of radicals due diffusion and due chemical reactions. The given model may be helpful especially when the effect of radicals on DSB formation (DNA damage) at the presence of different substances influencing radiobiological effect is to be studied

Fluid Petri Nets and hybrid model-checking: a comparative case study

International Nuclear Information System (INIS)

Gribaudo, M.; Horvath, A.; Bobbio, A.; Tronci, E.; Ciancamerla, E.; Minichino, M.

2003-01-01

The modeling and analysis of hybrid systems is a recent and challenging research area which is actually dominated by two main lines: a functional analysis based on the description of the system in terms of discrete state (hybrid) automata (whose goal is to ascertain conformity and reachability properties), and a stochastic analysis (whose aim is to provide performance and dependability measures). This paper investigates a unifying view between formal methods and stochastic methods by proposing an analysis methodology of hybrid systems based on Fluid Petri Nets (FPNs). FPNs can be analyzed directly using appropriate tools. Our paper shows that the same FPN model can be fed to different functional analyzers for model checking. In order to extensively explore the capability of the technique, we have converted the original FPN into languages for discrete as well as hybrid as well as stochastic model checkers. In this way, a first comparison among the modeling power of well known tools can be carried out. Our approach is illustrated by means of a 'real world' hybrid system: the temperature control system of a co-generative plant

Modelling and Analysing Deadlock in Flexible Manufacturing System using Timed Petri Net

Directory of Open Access Journals (Sweden)

Assem Hatem Taha

2017-03-01

Full Text Available Flexible manufacturing system (FMS has several advantages compared to conventional systems such as higher machine utilization, higher efficiency, less inventory, and less production time. On the other hand, FMS is expensive and complicated. One of the main problems that may happen is the deadlock. Deadlock is a case that happens when one operation or more are unable to complete their tasks because of waiting of resources that are used by other processes. This may occur due to inappropriate sharing of the resources or improper resource allocation logic which may lead to deadlock occurrence due to the complexity of assigning shared resources to different tasks in an efficient way. One of the most effective tools to model and detect the deadlocks is the petri net. In this research the Matlab software has been used to detect the deadlock in two parallel lines with one shared machines. The analysis shows that deadlock exists at transition with high utilization and place with high waiting time

PetriCode: A Tool for Template-Based Code Generation from CPN Models

DEFF Research Database (Denmark)

Simonsen, Kent Inge

2014-01-01

Code generation is an important part of model driven methodologies. In this paper, we present PetriCode, a software tool for generating protocol software from a subclass of Coloured Petri Nets (CPNs). The CPN subclass is comprised of hierarchical CPN models describing a protocol system at different...

Quasi-Steady-State Analysis based on Structural Modules and Timed Petri Net Predict System’s Dynamics: The Life Cycle of the Insulin Receptor

Directory of Open Access Journals (Sweden)

Jennifer Scheidel

2015-12-01

Full Text Available The insulin-dependent activation and recycling of the insulin receptor play an essential role in the regulation of the energy metabolism, leading to a special interest for pharmaceutical applications. Thus, the recycling of the insulin receptor has been intensively investigated, experimentally as well as theoretically. We developed a time-resolved, discrete model to describe stochastic dynamics and study the approximation of non-linear dynamics in the context of timed Petri nets. Additionally, using a graph-theoretical approach, we analyzed the structure of the regulatory system and demonstrated the close interrelation of structural network properties with the kinetic behavior. The transition invariants decomposed the model into overlapping subnetworks of various sizes, which represent basic functional modules. Moreover, we computed the quasi-steady states of these subnetworks and demonstrated that they are fundamental to understand the dynamic behavior of the system. The Petri net approach confirms the experimental results of insulin-stimulated degradation of the insulin receptor, which represents a common feature of insulin-resistant, hyperinsulinaemic states.

Model to Counter the Threats in the Data Transmission System PLC-based Technology with the Use of Petri Nets

Directory of Open Access Journals (Sweden)

A. A. Balaev

2010-06-01

Full Text Available In the article the most important aspects of information security technology Power Line Communica tions, namely the provision of conditions accessibility and integrity, are considered. It is shown that these aspects of the PLC-Technology has some internal “potential” counter, at least, such a widespread threat to both natural disturbances and/or artificial origin. The possibility of such an implementation using the simplified mathematical model of the PLC-based technologies of the theory of Petri nets is presented.

A Novel Petri Nets-Based Modeling Method for the Interaction between the Sensor and the Geographic Environment in Emerging Sensor Networks

Science.gov (United States)

Zhang, Feng; Xu, Yuetong; Chou, Jarong

2016-01-01

The service of sensor device in Emerging Sensor Networks (ESNs) is the extension of traditional Web services. Through the sensor network, the service of sensor device can communicate directly with the entity in the geographic environment, and even impact the geographic entity directly. The interaction between the sensor device in ESNs and geographic environment is very complex, and the interaction modeling is a challenging problem. This paper proposed a novel Petri Nets-based modeling method for the interaction between the sensor device and the geographic environment. The feature of the sensor device service in ESNs is more easily affected by the geographic environment than the traditional Web service. Therefore, the response time, the fault-tolerant ability and the resource consumption become important factors in the performance of the whole sensor application system. Thus, this paper classified IoT services as Sensing services and Controlling services according to the interaction between IoT service and geographic entity, and classified GIS services as data services and processing services. Then, this paper designed and analyzed service algebra and Colored Petri Nets model to modeling the geo-feature, IoT service, GIS service and the interaction process between the sensor and the geographic enviroment. At last, the modeling process is discussed by examples. PMID:27681730

A Novel Petri Nets-Based Modeling Method for the Interaction between the Sensor and the Geographic Environment in Emerging Sensor Networks

Directory of Open Access Journals (Sweden)

Feng Zhang

2016-09-01

Full Text Available The service of sensor device in Emerging Sensor Networks (ESNs is the extension of traditional Web services. Through the sensor network, the service of sensor device can communicate directly with the entity in the geographic environment, and even impact the geographic entity directly. The interaction between the sensor device in ESNs and geographic environment is very complex, and the interaction modeling is a challenging problem. This paper proposed a novel Petri Nets-based modeling method for the interaction between the sensor device and the geographic environment. The feature of the sensor device service in ESNs is more easily affected by the geographic environment than the traditional Web service. Therefore, the response time, the fault-tolerant ability and the resource consumption become important factors in the performance of the whole sensor application system. Thus, this paper classified IoT services as Sensing services and Controlling services according to the interaction between IoT service and geographic entity, and classified GIS services as data services and processing services. Then, this paper designed and analyzed service algebra and Colored Petri Nets model to modeling the geo-feature, IoT service, GIS service and the interaction process between the sensor and the geographic enviroment. At last, the modeling process is discussed by examples.

Can I find a partner? Undecidability of partner existence for open nets

NARCIS (Netherlands)

Massuthe, P.; Serebrenik, A.; Sidorova, N.; Wolf, K.

2008-01-01

We study open nets as Petri net models of web services, with a link to the practically relevant language WS-BPEL. For those nets, we investigate the problem of operability which we consider as fundamental as the successful notion of soundness for workflow nets, i.e., Petri net models of business

Petri Nets Based Modelling of Control Flow for Memory-Aid Interactive Programs in Telemedicine

CERN Document Server

Khoromskaia, V K

2004-01-01

Petri Nets (PN) based modelling of the control flow for the interactive memory assistance programs designed for personal pocket computers and having special requirements for robustness is considered. The proposed concept allows one to elaborate the programs which can give users a variety of possibilities for a day-time planning in the presence of environmental and time restrictions. First, a PN model for a known simple algorithm is constructed and analyzed using the corresponding state equations and incidence matrix. Then a PN graph for a complicated algorithm with overlapping actions and choice possibilities is designed, supplemented by an example of its analysis. Dynamic behaviour of this graph is tested by tracing of all possible paths of the flow of control using the PN simulator. It is shown that PN based modelling provides reliably predictable performance of interactive algorithms with branched structures and concurrency requirements.

Model petri net of adaptive traffic lights and its collaboration with a special event

Directory of Open Access Journals (Sweden)

Tristono Tomi

2018-01-01

Full Text Available Traffic lights have an important role as the system control of vehicles flow on the urban network. Commonly, most countries still using fixed time strategy. Our research proposes the adaptive traffic lights model to response the traffic demand. It uses basic Petri net as a general modeling framework. Foractuating method of minimum and maximum green signal time interval, the green traffic lights have three-time extension units. Next, we collaborate on a case of the existence of railways that crosses on the southern arm of an intersection. We introduce both of collaboration model design of traffic lights and the railway's gate which always closes while a train passing. Verification and validation of the model are based on the simulation result of vehicles queue. The collaboration model design of traffic lights has excellent performance, and it can resolve the congestion problem better than conventional schedule.

Fast substation service restoration using intelligent petri-nets models

Energy Technology Data Exchange (ETDEWEB)

Yang, H.T.; Peng, P.C.; Jiang, H.L. [Chung Yuan Christian Univ., Chung Li, Taiwan (China)

2006-07-01

Service restoration of a substation is a stressful and immediate task that must be conducted by system operators following a blackout. Operators, including those of Taiwan Power Company (TPC), normally restore power loads on the basis of their past experiences and engineering heuristics. Due to the significant number of switching operations to be evaluated, a computer-aided decision support system can be quite valuable. In distribution system automation, installation of unmanned substations requires an automated restoration computer system to rapidly devise a switching plan after a fault event. The modeling technique of Petri Nets (PNs) encompasses fault diagnosis of distribution systems, protective scheming of relays, and generic restoration schedule of power transmission systems. Knowledge or configuration about the system concerned can be expressed systematically through a structured model with parallelism and synchronization. This paper proposed a new PNs knowledge representation scheme to achieve a fast, on-line service restoration plan of a substation. The paper described the task of service restoration in a substation as well as the heuristic rules adopted by the dispatchers of the TPC distribution systems. The paper also introduced the topic of Typical PN properties and the proposed matrix operations for PNs reasoning. The proposed basic PNs model for service restoration on the basis of the engineering heuristics were also identified. It was concluded that the proposed approach not only facilitated software programming, but was highly adaptive to the extension or maintenance of the developed programs, arising from the changes of the substation configuration. 18 refs., 1 tab., 8 figs.

Server consolidation for heterogeneous computer clusters using Colored Petri Nets and CPN Tools

Directory of Open Access Journals (Sweden)

Issam Al-Azzoni

2015-10-01

Full Text Available In this paper, we present a new approach to server consolidation in heterogeneous computer clusters using Colored Petri Nets (CPNs. Server consolidation aims to reduce energy costs and improve resource utilization by reducing the number of servers necessary to run the existing virtual machines in the cluster. It exploits the emerging technology of live migration which allows migrating virtual machines between servers without stopping their provided services. Server consolidation approaches attempt to find migration plans that aim to minimize the necessary size of the cluster. Our approach finds plans which not only minimize the overall number of used servers, but also minimize the total data migration overhead. The latter objective is not taken into consideration by other approaches and heuristics. We explore the use of CPN Tools in analyzing the state spaces of the CPNs. Since the state space of the CPN model can grow exponentially with the size of the cluster, we examine different techniques to generate and analyze the state space in order to find good plans to server consolidation within acceptable time and computing power.

Diagnosis of Intermittent Faults in IGBTs Using the Latent Nestling Method with Hybrid Coloured Petri Nets

Directory of Open Access Journals (Sweden)

Leonardo Rodriguez-Urrego

2015-01-01

Full Text Available This paper presents a fault diagnosis application of the Latent Nestling Method to IGBTs. The paper extends the Latent Nestling Method based in Coloured Petri Nets (CPNs to hybrid systems in such a manner that IGBTs performance can be modeled. CPNs allow for an enhanced capability for synthesis and modeling in contrast to the classical phenomena of combinational state explosion when Finite State Machine methods are applied. We present an IGBT model with different fault modes including those of intermittent nature that can be used advantageously as predictive symptoms within a predictive maintenance strategy. Ageing stress tests have been experimentally applied to the IGBTs modules and intermittent faults are diagnosed as precursors of permanent failures. In addition, ageing is validated with morphological analysis (Scanning Electron Microscopy and semiqualitative analysis (Energy Dispersive Spectrometry.

Imprecision and uncertainty in information representation and processing new tools based on intuitionistic fuzzy sets and generalized nets

CERN Document Server

Sotirov, Sotir

2016-01-01

The book offers a comprehensive and timely overview of advanced mathematical tools for both uncertainty analysis and modeling of parallel processes, with a special emphasis on intuitionistic fuzzy sets and generalized nets. The different chapters, written by active researchers in their respective areas, are structured to provide a coherent picture of this interdisciplinary yet still evolving field of science. They describe key tools and give practical insights into and research perspectives on the use of Atanassov's intuitionistic fuzzy sets and logic, and generalized nets for describing and dealing with uncertainty in different areas of science, technology and business, in a single, to date unique book. Here, readers find theoretical chapters, dealing with intuitionistic fuzzy operators, membership functions and algorithms, among other topics, as well as application-oriented chapters, reporting on the implementation of methods and relevant case studies in management science, the IT industry, medicine and/or ...

Performance evaluation of enterprise architecture with a formal fuzzy model (FPN

Directory of Open Access Journals (Sweden)

Ashkan Marahel

2012-10-01

Full Text Available Preparing enterprise architecture is complicated procedure, which uses framework as structure regularity and style as the behavior director for controlling complexity. As in architecture behavior, precedence over structure, for better diagnosis of a behavior than other behaviors, there is a need to evaluate the architecture performance. Enterprise architecture cannot be organized without the benefit of the logical structure. Framework provides a logical structure for classifying architectural output. Among the common architectural framework, the C4ISR is one of the most appropriate frameworks because of the methodology of its production and the level of aggregation capability and minor revisions. C4ISR framework, in three views and by using some documents called product, describes the architecture. In this paper, for developing the systems, there are always uncertainties in information systems and we may use new version of UML called FUZZY-UML, which includes structure and behavior of the system. The proposed model of this paper also uses Fuzzy Petri nets to analyze the developed system.

Solving Flexible Job-Shop Scheduling Problem Using Gravitational Search Algorithm and Colored Petri Net

Directory of Open Access Journals (Sweden)

Behnam Barzegar

2012-01-01

Full Text Available Scheduled production system leads to avoiding stock accumulations, losses reduction, decreasing or even eliminating idol machines, and effort to better benefitting from machines for on time responding customer orders and supplying requested materials in suitable time. In flexible job-shop scheduling production systems, we could reduce time and costs by transferring and delivering operations on existing machines, that is, among NP-hard problems. The scheduling objective minimizes the maximal completion time of all the operations, which is denoted by Makespan. Different methods and algorithms have been presented for solving this problem. Having a reasonable scheduled production system has significant influence on improving effectiveness and attaining to organization goals. In this paper, new algorithm were proposed for flexible job-shop scheduling problem systems (FJSSP-GSPN that is based on gravitational search algorithm (GSA. In the proposed method, the flexible job-shop scheduling problem systems was modeled by color Petri net and CPN tool and then a scheduled job was programmed by GSA algorithm. The experimental results showed that the proposed method has reasonable performance in comparison with other algorithms.

Design method of control system for HTGR fuel handling process with control Petri net

International Nuclear Information System (INIS)

Han Zandong; Luo Sheng; Liu Jiguo

2008-01-01

As a complex mechanical system,the fuel handling system (FHS) of pebble-bed high temperature gas cooled reactor (HTGR) is with the features of complicated structure, numerous control devices and strict working scheduling. It is very important to precisely describe the function of FHS and effectively design its control system. A design method of control system based on control Petri net (CPN) is introduced in this paper. By associating outputs and operations with places, associating inputs and conditions with transitions, and introducing macro-places and macro-actions, the CPN realizes hierarchy design of complex control system. Based on the analysis of basic functions and working flow of FHS, its control system is described and designed by CPN. According to the firing regulation of transition,the designed CPN can be easily converted into LAD program of PLC, which can be implemented on the FHS simulating control test-bed. Application illuminates that proposed method has the advantages of clear design structure, exact description power and effective design ability of control program, which can meet the requirements of FHS control sys-tem design. (authors)

Scheduling of Crude Oil Operations in Refinery without Sufficient Charging Tanks Using Petri Nets

Directory of Open Access Journals (Sweden)

Yan An

2017-05-01

Full Text Available A short-term schedule for crude oil operations in a refinery should define and sequence the activities in detail. Each activity involves both discrete-event and continuous variables. The combinatorial nature of the scheduling problem makes it difficult to solve. For such a scheduling problem, charging tanks are a type of critical resources. If the number of charging tanks is not sufficient, the scheduling problem is further complicated. This work conducts a study on the scheduling problem of crude oil operations without sufficient charging tanks. In this case, to make a refinery able to operate, a charging tank has to be in simultaneous charging and feeding to a distiller for some time, called simultaneously-charging-and-feeding (SCF mode, leading to disturbance to the oil distillation in distillers. A hybrid Petri net model is developed to describe the behavior of the system. Then, a scheduling method is proposed to find a schedule such that the SCF mode is minimally used. It is computationally efficient. An industrial case study is given to demonstrate the obtained results.

Designing Tool Support for Translating Use Cases and UML 2.0 Sequence Diagrams into a Coloured Petri Net

DEFF Research Database (Denmark)

Fernandes, Joao Miguel; Tjell, Simon; Jørgensen, Jens Bæk

2007-01-01

On a case study on the specification of an elevator controller, this paper presents an approach that can translate given UML descriptions into a Coloured Petri Net (CPN) model. The UML descriptions must be specified in the form of Use Cases (UCs) and UML 2.0 Sequence Diagrams (SDs). The CPN model...... constitutes one single, coherent and executable representation of all possible behaviours that are specified by the given UML artefacts. CPN is a formal modelling language that enables construction and analysis of scalable, executable models of behaviour. A combined use of UML and CPN can be useful in several...... projects. CPN is well supported by the tool called CPN Tools and the work we present here is aimed at building a CPN Tools front-end engine that implements the proposed translation....

Modelling and Analysis of the Feeding Regimen Induced Entrainment of Hepatocyte Circadian Oscillators Using Petri Nets

Science.gov (United States)

Tareen, Samar Hayat Khan; Ahmad, Jamil

2015-01-01

Circadian rhythms are certain periodic behaviours exhibited by living organism at different levels, including cellular and system-wide scales. Recent studies have found that the circadian rhythms of several peripheral organs in mammals, such as the liver, are able to entrain their clocks to received signals independent of other system level clocks, in particular when responding to signals generated during feeding. These studies have found SIRT1, PARP1, and HSF1 proteins to be the major influencers of the core CLOCKBMAL1:PER-CRY circadian clock. These entities, along with abstracted feeding induced signals were modelled collectively in this study using Petri Nets. The properties of the model show that the circadian system itself is strongly robust, and is able to continually evolve. The modelled feeding regimens suggest that the usual 3 meals/day and 2 meals/day feeding regimens are beneficial with any more or less meals/day negatively affecting the system. PMID:25789928

Modelling and analysis of the feeding regimen induced entrainment of hepatocyte circadian oscillators using petri nets.

Directory of Open Access Journals (Sweden)

Samar Hayat Khan Tareen

Full Text Available Circadian rhythms are certain periodic behaviours exhibited by living organism at different levels, including cellular and system-wide scales. Recent studies have found that the circadian rhythms of several peripheral organs in mammals, such as the liver, are able to entrain their clocks to received signals independent of other system level clocks, in particular when responding to signals generated during feeding. These studies have found SIRT1, PARP1, and HSF1 proteins to be the major influencers of the core CLOCKBMAL1:PER-CRY circadian clock. These entities, along with abstracted feeding induced signals were modelled collectively in this study using Petri Nets. The properties of the model show that the circadian system itself is strongly robust, and is able to continually evolve. The modelled feeding regimens suggest that the usual 3 meals/day and 2 meals/day feeding regimens are beneficial with any more or less meals/day negatively affecting the system.

Application of modified Martinez-Silva algorithm in determination of net cover

Science.gov (United States)

Stefanowicz, Łukasz; Grobelna, Iwona

2016-12-01

In the article we present the idea of modifications of Martinez-Silva algorithm, which allows for determination of place invariants (p-invariants) of Petri net. Their generation time is important in the parallel decomposition of discrete systems described by Petri nets. Decomposition process is essential from the point of view of discrete system design, as it allows for separation of smaller sequential parts. The proposed modifications of Martinez-Silva method concern the net cover by p-invariants and are focused on two important issues: cyclic reduction of invariant matrix and cyclic checking of net cover.

Analysis and Verification of Message Sequence Charts of Distributed Systems with the Help of Coloured Petri Nets

Directory of Open Access Journals (Sweden)

S. A. Chernenok

2014-01-01

Full Text Available The standard language of message sequence charts MSC is intended to describe scenarios of object interaction. Due to their expressiveness and simplicity MSC diagrams are widely used in practice at all stages of system design and development. In particular, the MSC language is used for describing communication behavior in distributed systems and communication protocols. In this paper the method for analysis and verification of MSC and HMSC diagrams is considered. The method is based on the translation of (HMSC into coloured Petri nets. The translation algorithms cover most standard elements of the MSC including data concepts. Size estimates of the CPN which is the result of the translation are given. Properties of the resulting CPN are analyzed and verified by using the known system CPN Tools and the CPN verifier based on the known tool SPIN. The translation method has been demonstrated by the example.

Translating Colored Control Flow Nets into Readable Java via Annotated Java Workflow Nets

DEFF Research Database (Denmark)

Lassen, Kristian Bisgaard; Tjell, Simon

2007-01-01

In this paper, we present a method for developing Java applications from Colored Control Flow Nets (CCFNs), which is a special kind of Colored Petri Nets (CPNs) that we introduce. CCFN makes an explicit distinction between the representation of: The system, the environment of the system, and the ......In this paper, we present a method for developing Java applications from Colored Control Flow Nets (CCFNs), which is a special kind of Colored Petri Nets (CPNs) that we introduce. CCFN makes an explicit distinction between the representation of: The system, the environment of the system......, and the interface between the system and the environment. Our translation maps CCFNs into Anno- tated Java Workflow Nets (AJWNs) as an intermediate step, and these AJWNs are finally mapped to Java. CCFN is intended to enforce the modeler to describe the system in an imperative manner which makes the subsequent...... translation to Java easier to define. The translation to Java preserves data dependencies and control-flow aspects of the source CCFN. This paper contributes to the model-driven software development paradigm, by showing how to model a system, environment, and their interface, as a CCFN and presenting a fully...

Facilitating the Practical Use of Coloured Petri Nets

DEFF Research Database (Denmark)

Lindstrøm, Bo

This dissertation is to investigate and advance tools for practical use of CP-nets. This includes development of facilities for creating domain-specific graphical user interfaces, a proposal for facilities for including auxiliary information in a CP-net without modifying the CP-net itself...

Tools and Methods for RTCP-Nets Modeling and Verification

Directory of Open Access Journals (Sweden)

Szpyrka Marcin

2016-09-01

Full Text Available RTCP-nets are high level Petri nets similar to timed colored Petri nets, but with different time model and some structural restrictions. The paper deals with practical aspects of using RTCP-nets for modeling and verification of real-time systems. It contains a survey of software tools developed to support RTCP-nets. Verification of RTCP-nets is based on coverability graphs which represent the set of reachable states in the form of directed graph. Two approaches to verification of RTCP-nets are considered in the paper. The former one is oriented towards states and is based on translation of a coverability graph into nuXmv (NuSMV finite state model. The later approach is oriented towards transitions and uses the CADP toolkit to check whether requirements given as μ-calculus formulae hold for a given coverability graph. All presented concepts are discussed using illustrative examples

Maximal Conflict Set Enumeration Algorithm Based on Locality of Petri Nets%基于Pe tri网局部性的极大冲突集枚举算法

Institute of Scientific and Technical Information of China (English)

潘理; 郑红; 刘显明; 杨勃

2016-01-01

冲突是Petri网研究的重要主题。目前Petri网冲突研究主要集中于冲突建模和冲突消解策略，而对冲突问题本身的计算复杂性却很少关注。提出Petri网的冲突集问题，并证明冲突集问题是NP（Non-deterministic Polyno-mial）完全的。提出极大冲突集动态枚举算法，该算法基于当前标识的所有极大冲突集，利用Petri网实施局部性，仅计算下一标识中受局部性影响的极大冲突集，从而避免重新枚举所有极大冲突集。该算法时间复杂度为O（m2 n），m是当前标识的极大冲突集数目，n是变迁数。最后证明自由选择网、非对称选择网的极大冲突集枚举算法复杂度可降至O（n2）。极大冲突集枚举算法研究将为Petri网冲突问题的算法求解提供理论参考。%Conflict is an essential concept in Petri net theory.The existing research focuses on the modelling and resolu-tion strategies of conflict problems,but less on the computational complexity of the problems theirselves.In this paper,we pro-pose the conflict set problem for Petri nets,and prove that the conflict set problem is NP-complete.Furthermore,we present a dynamic algorithm for the maximal conflict set enumeration.Our algorithm only computes those conflict sets that are affected by local firing,which avoids enumerating all maximal conflict sets at each marking.The algorithm needs time O(m2n)where m is the number of maximal conflict sets at the current marking and n is the number of transitions.Finally,we show that the maximal conflict set enumeration problem can be solved in O(n2)for free-choice nets and asymmetric choice nets.The results on complexity of thel conflict set problem provide a theoretical reference for solving conflict problems of Petri nets.

The methodology of multicriterial assessment of Petri nets’ apparatus

Directory of Open Access Journals (Sweden)

Pashchenko Dmitry

2016-01-01

Full Text Available This article emphasizes the effectiveness and relevance of the using of the apparatus of Petri nets for modeling of complex computing systems. Due to the fact that the methods of analysis existing in this theory do not allow estimating the resources required to build the desired model of the system, there is a problem of shortage of criteria for its evaluation in terms of the complexity of the construction. In the article we consider the method of analysis of a random Petri net based on the complexity of its building and relationships of internal units - subnets. The purpose of this article is a software implementation of such an assessment within the theory of PN structures. Due to the fact, that structural approach allows to perform the operation of decomposition of the original system, this model can be divided into subnets of minimal dimension, that will allow to make its quantitative assessment - ranking. To determine the total assessment of the input and output data of the system we will perform the analysis of head and tail positions of the net taking into account the weights of the input and output arcs of these positions. In order to identify an extent of the cost required to build the system, the number of operations of union of subnet transitions and positions. These subnets have minimal dimension in the original PN. Thus, the article demonstrates the formal implementation of assessment technique modules with using of algebra of sets, and the rules of splitting the PN structure into elementary blocks are formulated. The example of a comparative assessment of the two Petri nets based on the proposed complexity criteria is given; the plots of PN in different coordinate systems are displayed. The article presents the results of the research - a plot of PN structures in three-dimensional space, implemented using described software. It demonstrates the accuracy of PN assessment by structural analysis in comparing with a non

Cognitive modelling with Coloured Petri Nets for the analysis of human behaviour; Kognitive Modellierung mit farbigen Petrinetzen zur Analyse menschlichen Verhaltens

Energy Technology Data Exchange (ETDEWEB)

Werther, B.

2006-07-01

The thesis presents a model based approach for a holistic consideration of human-machine systems. The model supports the design and formation of the operator's work sequences. In scope of the thesis a Formal Cognitive Resource (FCR)-Model is developed which treats limitation of the human operators processing capability as a main property. From this limitation stems the need to integrate and organize different action sequences into a balanced working process. The model is implemented as a Coloured Petri Net. Typical characteristics of net components find inherent consideration in the FCR-Model. In a first validation example behaviour of the FCR-Model is analyzed and compared with empirical results obtained in an experimental study performed on the operation of a micro world. Reasons for a specific behaviour of human operators in a working environment are being identified depending on cognitive parameters of the FCR-Model. It is shown how these parameters correspond to psychological performance properties. The FCR-Model is its current version serves for analysis of human information processing and discloses critical situations and faults in human behaviour. (Orig.)

Reduction rules for reset/inhibitor nets

NARCIS (Netherlands)

Verbeek, H.M.W.; Wynn, M.T.; Aalst, van der W.M.P.; Hofstede, ter A.H.M.

2010-01-01

Reset/inhibitor nets are Petri nets extended with reset arcs and inhibitor arcs. These extensions can be used to model cancellation and blocking. A reset arc allows a transition to remove all tokens from a certain place when the transition fires. An inhibitor arc can stop a transition from being

The effect of cigarette smoking on endothelial damage and atherosclerosis development – modeled and analyzed using Petri nets

Directory of Open Access Journals (Sweden)

Chmielewska Kaja

2017-06-01

Full Text Available Atherosclerosis as one of the crucial causes of cardiovascular diseases (CVD is the leading reason of death worldwide. One of the contributing factors to this phenomenon is endothelial dysfunction, which is associated with the impact of various agents and their interactions. Tobacco smoke is one of the well known factors here. For better understanding of its significance a model of its impact on atherosclerotic plaque formation has been proposed. The model contains selected aspects of the influence of tobacco smoke, dual function of nitric oxide (NO (influence of various mechanisms on NO bioavailability, oxidative stress which promotes low density lipoproteins oxidation, macrophages significance and other mechanisms leading to an aggravation of the endothelial disturbances. The model has been built using Petri nets theory and the analysis has been based on t-invariants. This approach allowed to confirm the important role of inflammation and oxidative stress in atherosclerosis development and moreover it has shown the considerable influence of the cigarette smoke.

Verification of the safety communication protocol in train control system using colored Petri net

International Nuclear Information System (INIS)

Chen Lijie; Tang Tao; Zhao Xianqiong; Schnieder, Eckehard

2012-01-01

This paper deals with formal and simulation-based verification of the safety communication protocol in ETCS (European Train Control System). The safety communication protocol controls the establishment of safety connection between train and trackside. Because of its graphical user interface and modeling flexibility upon the changes in the system conditions, this paper proposes a composition Colored Petri Net (CPN) representation for both the logic and the timed model. The logic of the protocol is proved to be safe by means of state space analysis: the dead markings are correct; there are no dead transitions; being fair. Further analysis results have been obtained using formal and simulation-based verification approach. The timed models for the open transmit system and the application process are created for the purpose of performance analysis of the safety communication protocol. The models describe the procedure of data transmission and processing, and also provide relevant timed and stochastic factors, as well as time delay and lost packet, which may influence the time for establishment of safety connection of the protocol. Time for establishment of safety connection of the protocol in normal state is verified by formal verification, and then time for establishment of safety connection with different probability of lost packet is simulated. After verification it is found that the time for establishment of safety connection of the safety communication protocol satisfies the safety requirements.

A livelock control policy for a flexible manufacturing system modeling with a subclass of generalized Petri nets

Directory of Open Access Journals (Sweden)

C.Q. Hou

2014-12-01

Full Text Available Livelocks, like deadlocks, can result in the serious problems in running process of flexible manufacturing systems (FMSs as well. Current deadlock control policies based on the approaches of siphon detection and control, cannot cope with livelocks in a system of sequential systems with shared resources (S4R, a typical subclass of Petri nets that can model FMSs. On the basis of the mixed integer programming method, this study proposes a livelock control policy (LCP that can not only solve the new smart siphons (NSSs associated with livelocks or deadlocks in an S4R system directly, but also make the solved NSSs max′-controlled by adding the corresponding control places (CPs. As a result, an original S4R system with livelocks or deadlocks can be turned into the live controlled one in which no NSSs can be found. The related theoretical analysis and several examples are given to demonstrate the proposed LCP. Compared with the existing methods in the literature, the proposed one is more general and powerful.

Modeling Message Queueing Services with Reliability Guarantee in Cloud Computing Environment Using Colored Petri Nets

Directory of Open Access Journals (Sweden)

Jing Li

2015-01-01

Full Text Available Motivated by the need for loosely coupled and asynchronous dissemination of information, message queues are widely used in large-scale application areas. With the advent of virtualization technology, cloud-based message queueing services (CMQSs with distributed computing and storage are widely adopted to improve availability, scalability, and reliability; however, a critical issue is its performance and the quality of service (QoS. While numerous approaches evaluating system performance are available, there is no modeling approach for estimating and analyzing the performance of CMQSs. In this paper, we employ both the analytical and simulation modeling to address the performance of CMQSs with reliability guarantee. We present a visibility-based modeling approach (VMA for simulation model using colored Petri nets (CPN. Our model incorporates the important features of message queueing services in the cloud such as replication, message consistency, resource virtualization, and especially the mechanism named visibility timeout which is adopted in the services to guarantee system reliability. Finally, we evaluate our model through different experiments under varied scenarios to obtain important performance metrics such as total message delivery time, waiting number, and components utilization. Our results reveal considerable insights into resource scheduling and system configuration for service providers to estimate and gain performance optimization.

Petri Net Approach of Collision Prevention Supervisor Design in Port Transport System

Directory of Open Access Journals (Sweden)

Danko Kezić

2007-09-01

Full Text Available Modern port terminals are equipped with various localtransport systems, which have the main task to transport cargobetween local storehouses and transport resources (ships,trains, trucks in the fastest and most efficient way, and at thelowest possible cost. These local transport systems consist offully automated transport units (AGV- automatic guided vehiclewhich are controlled by the computer system. The portcomputer system controls the fully automated transport units inthe way to avoid possible deadlocks and collisions betweenthem. However, beside the fully automated local transportunits, there are human operated transport units (fork-lifttrucks, cranes etc. which cross the path oftheAGVfrom timeto time. The collision of human operated transp011 unit andA GV is possible due to human inattention. To solve this problem,it is necesswy to design a supe1vismy control system thatcoordinates and controls both human driven transport unit andA G V In other words, the human-machine interactions need tobe supen·ised. The supen•ising system can be realized in the waythat the port terminal is divided into zones. Vehicle movementsare supen•ised by a video system which detects the moving ofparticular l'ehicles as a discrete event. Based on detected events,dangerous moving of certain vehicles is blocked by the supe1visi11gsystem. The paper considers the design of collision preventionsupen•isor by using discrete event dynamic themy. The portterminal is modeled by using ordi1za1y Petri nets. The design ofcollision prevention supe1visor is cmTied out by using the P-inl'ariantmethod. The verification of the supervisor is done bycomputer simulation.

Fuzzy Evidence in Identification, Forecasting and Diagnosis

CERN Document Server

Rotshtein, Alexander P

2012-01-01

The purpose of this book is to present a methodology for designing and tuning fuzzy expert systems in order to identify nonlinear objects; that is, to build input-output models using expert and experimental information. The results of these identifications are used for direct and inverse fuzzy evidence in forecasting and diagnosis problem solving. The book is organised as follows: Chapter 1 presents the basic knowledge about fuzzy sets, genetic algorithms and neural nets necessary for a clear understanding of the rest of this book. Chapter 2 analyzes direct fuzzy inference based on fuzzy if-then rules. Chapter 3 is devoted to the tuning of fuzzy rules for direct inference using genetic algorithms and neural nets. Chapter 4 presents models and algorithms for extracting fuzzy rules from experimental data. Chapter 5 describes a method for solving fuzzy logic equations necessary for the inverse fuzzy inference in diagnostic systems. Chapters 6 and 7 are devoted to inverse fuzzy inference based on fu...

Online Open Circuit Fault Diagnosis for Rail Transit Traction Converter Based on Object-Oriented Colored Petri Net Topology Reasoning

Directory of Open Access Journals (Sweden)

Lei Wang

2016-01-01

Full Text Available For online open circuit fault diagnosis of the traction converter in rail transit vehicles, conventional approaches depend heavily on component parameters and circuit layouts. For better universality and less parameter sensitivity during the diagnosis, this paper proposes a novel topology analysis approach to diagnose switching device open circuit failures. During the diagnosis, the topology is analyzed with fault reasoning mechanism, which is based on object-oriented Petri net (OOCPN. The OOCPN model takes in digitalized current inputs as fault signatures, and dynamical transitions between discrete switching states of a circuit with broken device are symbolized with the dynamical transitions of colored tokens in OOCPN. Such transitions simulate natural reasoning process of an expert’s brain during diagnosis. The dependence on component parameters and on circuit layouts is finally eliminated by such circuit topology reasoning process. In the last part, the proposed online reasoning and diagnosis process is exemplified with the case of a certain switching device failure in the power circuit of traction converter.

Flinders Petrie and Eugenics at UCL

Directory of Open Access Journals (Sweden)

Kathleen L. Sheppard

2010-05-01

Full Text Available William Matthew Flinders Petrie is considered the father of scientific archaeology and is credited with developing a chronology of Ancient Egypt using the nondescript artefacts that other archaeologists had ignored. He occupied the first chair of Egyptology in England, and was also well-known for the museum built around his personal collection of Egyptian artifacts at University College London. Petrie's archaeological work has been studied by scholars, from various disciplines, for its scholarly, cultural, and historical value, while Petrie's life and career outside of archaeology have been the subject of relatively little study. Petrie himself wrote two life stories: the first, 'Ten Years Digging in Egypt, 1881–1891' (1892, detailed the years before his professorship at UCL; in 1932 he published his second, more complete autobiography, 'Seventy Years in Archaeology'. After he died in 1942 there were various obituaries and memorials that outlined his life and major achievements in archaeology. There was very little written about Petrie the man until 1985, when Margaret Drower's 'Flinders Petrie: A Life in Archaeology' was published; it remains the most comprehensive work on Petrie's life. A thin volume of the correspondence of Hilda and Flinders Petrie also allows a glimpse into life on excavation. In short, much of what is known about Petrie focuses on his excavations in Egypt, his time as Professor of Egyptology at University College London, or the museum that bears his name. Subsequently, as a historical matter, Petrie's work in the discipline of eugenics has rarely been discussed as part of his career.

SHER: A Colored Petri Net Based Random Mobility Model for Wireless Communications

Science.gov (United States)

Khan, Naeem Akhtar; Ahmad, Farooq; Khan, Sher Afzal

2015-01-01

In wireless network research, simulation is the most imperative technique to investigate the network’s behavior and validation. Wireless networks typically consist of mobile hosts; therefore, the degree of validation is influenced by the underlying mobility model, and synthetic models are implemented in simulators because real life traces are not widely available. In wireless communications, mobility is an integral part while the key role of a mobility model is to mimic the real life traveling patterns to study. The performance of routing protocols and mobility management strategies e.g. paging, registration and handoff is highly dependent to the selected mobility model. In this paper, we devise and evaluate the Show Home and Exclusive Regions (SHER), a novel two-dimensional (2-D) Colored Petri net (CPN) based formal random mobility model, which exhibits sociological behavior of a user. The model captures hotspots where a user frequently visits and spends time. Our solution eliminates six key issues of the random mobility models, i.e., sudden stops, memoryless movements, border effect, temporal dependency of velocity, pause time dependency, and speed decay in a single model. The proposed model is able to predict the future location of a mobile user and ultimately improves the performance of wireless communication networks. The model follows a uniform nodal distribution and is a mini simulator, which exhibits interesting mobility patterns. The model is also helpful to those who are not familiar with the formal modeling, and users can extract meaningful information with a single mouse-click. It is noteworthy that capturing dynamic mobility patterns through CPN is the most challenging and virulent activity of the presented research. Statistical and reachability analysis techniques are presented to elucidate and validate the performance of our proposed mobility model. The state space methods allow us to algorithmically derive the system behavior and rectify the

Phased mission modelling of systems with maintenance-free operating periods using simulated Petri nets

Energy Technology Data Exchange (ETDEWEB)

Chew, S.P.; Dunnett, S.J. [Department of Aeronautical and Automotive Engineering, Loughborough University, Loughborough, Leics (United Kingdom); Andrews, J.D. [Department of Aeronautical and Automotive Engineering, Loughborough University, Loughborough, Leics (United Kingdom)], E-mail: j.d.andrews@lboro.ac.uk

2008-07-15

A common scenario in engineering is that of a system which operates throughout several sequential and distinct periods of time, during which the modes and consequences of failure differ from one another. This type of operation is known as a phased mission, and for the mission to be a success the system must successfully operate throughout all of the phases. Examples include a rocket launch and an aeroplane flight. Component or sub-system failures may occur at any time during the mission, yet not affect the system performance until the phase in which their condition is critical. This may mean that the transition from one phase to the next is a critical event that leads to phase and mission failure, with the root cause being a component failure in a previous phase. A series of phased missions with no maintenance may be considered as a maintenance-free operating period (MFOP). This paper describes the use of a Petri net (PN) to model the reliability of the MFOP and phased missions scenario. The model uses Monte-Carlo simulation to obtain its results, and due to the modelling power of PNs, can consider complexities such as component failure rate interdependencies and mission abandonment. The model operates three different types of PN which interact to provide the overall system reliability modelling. The model is demonstrated and validated by considering two simple examples that can be solved analytically.

Phased mission modelling of systems with maintenance-free operating periods using simulated Petri nets

International Nuclear Information System (INIS)

Chew, S.P.; Dunnett, S.J.; Andrews, J.D.

2008-01-01

A common scenario in engineering is that of a system which operates throughout several sequential and distinct periods of time, during which the modes and consequences of failure differ from one another. This type of operation is known as a phased mission, and for the mission to be a success the system must successfully operate throughout all of the phases. Examples include a rocket launch and an aeroplane flight. Component or sub-system failures may occur at any time during the mission, yet not affect the system performance until the phase in which their condition is critical. This may mean that the transition from one phase to the next is a critical event that leads to phase and mission failure, with the root cause being a component failure in a previous phase. A series of phased missions with no maintenance may be considered as a maintenance-free operating period (MFOP). This paper describes the use of a Petri net (PN) to model the reliability of the MFOP and phased missions scenario. The model uses Monte-Carlo simulation to obtain its results, and due to the modelling power of PNs, can consider complexities such as component failure rate interdependencies and mission abandonment. The model operates three different types of PN which interact to provide the overall system reliability modelling. The model is demonstrated and validated by considering two simple examples that can be solved analytically

Complexity metrics for workflow nets

NARCIS (Netherlands)

Lassen, K.B.; Aalst, van der W.M.P.

2009-01-01

Process modeling languages such as EPCs, BPMN, flow charts, UML activity diagrams, Petri nets, etc., are used to model business processes and to configure process-aware information systems. It is known that users have problems understanding these diagrams. In fact, even process engineers and system

Complexity Metrics for Workflow Nets

DEFF Research Database (Denmark)

Lassen, Kristian Bisgaard; van der Aalst, Wil M.P.

2009-01-01

Process modeling languages such as EPCs, BPMN, flow charts, UML activity diagrams, Petri nets, etc.\\ are used to model business processes and to configure process-aware information systems. It is known that users have problems understanding these diagrams. In fact, even process engineers and system...

Chance-constrained programming models for capital budgeting with NPV as fuzzy parameters

Science.gov (United States)

Huang, Xiaoxia

2007-01-01

In an uncertain economic environment, experts' knowledge about outlays and cash inflows of available projects consists of much vagueness instead of randomness. Investment outlays and annual net cash flows of a project are usually predicted by using experts' knowledge. Fuzzy variables can overcome the difficulties in predicting these parameters. In this paper, capital budgeting problem with fuzzy investment outlays and fuzzy annual net cash flows is studied based on credibility measure. Net present value (NPV) method is employed, and two fuzzy chance-constrained programming models for capital budgeting problem are provided. A fuzzy simulation-based genetic algorithm is provided for solving the proposed model problems. Two numerical examples are also presented to illustrate the modelling idea and the effectiveness of the proposed algorithm.

ANALYSIS OF SUBJECT DISCRETE MATHEMATICS PARTS AND PROPOSAL OF E-COURSE MODEL FOLLOWING PETRI NETS FOR INFORMATICS EDUCATION

Directory of Open Access Journals (Sweden)

TURČÁNI, Milan

2013-03-01

Full Text Available Nowadays, quality Mathematical basis - Informatics is an inherent part of study. Mathematical basis is provided by Discrete Mathematics that is taught as a compulsory subject in stated study program in the Department of Mathematics. Authors clarify significance and importance of simple thematic units of subject Discrete Mathematics in teaching technical-system subjects in study programme Applied Informatics. Mentioned subject is being taught in first year of University study and knowledge that students acquire during the study of this course are the "cornerstone" for their further development in technical-system study. Justness and importance of individual topics were analysed based on the evaluation of questionnaires, in which pedagogues teaching professional IT subjects alloted weighted coefficients to individual thematic units. Weighted coefficients were alloted based on the significance of the given topic of the subject Discrete Math, with regard to the IT subject they are teaching. Upon designing the e-course, experience with the creation of linear and branch teaching software were used. For the simulation of the transition of students through individual lessons as well as the whole course, authors employed the method of the teaching process simulation using Petri nets.

SOFTWARE FOR FAULT DIAGNOSIS USING KNOWLEDGE MODELS IN PETRI NETS

Directory of Open Access Journals (Sweden)

ADRIAN ARBOLEDA

2012-01-01

Full Text Available Los sistemas de diagnóstico de fallas en empresas asociadas al sector eléctrico requieren propiedades de precisión y flexibilidad cuando surgen eventos de falla. Actualmente existen sistemas que pretenden mejorar el proceso de diagnóstico mediante varios métodos y técnicas computacionales, reduciendo el tiempo de respuesta a perturbaciones. Sin embargo, son pocas las propuestas que unifican modelos gráficos de conocimiento con las señales de un proceso que pueden ofrecer dispositivos como controladores lógicos programables (PLCs. Este artículo propone un software novedoso guiado por modelos basados en redes de Petri e integrado con señales del proceso, para el diagnóstico de falla en centrales de generación eléctrica. Un caso de estudio demuestra la flexibilidad y adaptabilidad del software cuando nuevas nociones en los modelos de conocimiento cambian, sin realizar procedimientos de reingeniería al software.

Sociophysics of sexism: normal and anomalous petrie multipliers

Science.gov (United States)

Eliazar, Iddo

2015-07-01

A recent mathematical model by Karen Petrie explains how sexism towards women can arise in organizations where male and female are equally sexist. Indeed, the Petrie model predicts that such sexism will emerge whenever there is a male majority, and quantifies this majority bias by the ‘Petrie multiplier’: the square of the male/female ratio. In this paper—emulating the shift from ‘normal’ to ‘anomalous’ diffusion—we generalize the Petrie model to a stochastic Poisson model that accommodates heterogeneously sexist men and woman, and that extends the ‘normal’ quadratic Petrie multiplier to ‘anomalous’ non-quadratic multipliers. The Petrie multipliers span a full spectrum of behaviors which we classify into four universal types. A variation of the stochastic Poisson model and its Petrie multipliers is further applied to the context of cyber warfare.

An Evaluation of Automated Code Generation with the PetriCode Approach

DEFF Research Database (Denmark)

Simonsen, Kent Inge

2014-01-01

Automated code generation is an important element of model driven development methodologies. We have previously proposed an approach for code generation based on Coloured Petri Net models annotated with textual pragmatics for the network protocol domain. In this paper, we present and evaluate thr...... important properties of our approach: platform independence, code integratability, and code readability. The evaluation shows that our approach can generate code for a wide range of platforms which is integratable and readable....

Séquentialisation du comportement des réseaux de Petri temporisés

Czech Academy of Sciences Publication Activity Database

Boimond, J.-L.; Komenda, Jan; Lahaye, S.

2013-01-01

Roč. 47, 1-3 (2013), s. 139-154 ISSN 1269-6935. [Modélisation des Systèmes Réactifs (MSR) 2013. Rennes, 13.11.2013-15.11.2013] R&D Projects: GA ČR(CZ) GAP103/11/0517 Institutional support: RVO:67985840 Keywords : timed Petri nets * (max,+) automata * race policy Subject RIV: BA - General Mathematics http://jesa.revuesonline.com/article.jsp?articleId=18769

Prescribed burning impact on forest soil properties--a Fuzzy Boolean Nets approach.

Science.gov (United States)

Castro, Ana C Meira; Paulo Carvalho, Joao; Ribeiro, S

2011-02-01

The Portuguese northern forests are often and severely affected by wildfires during the Summer season. These occurrences significantly affect and negatively impact all ecosystems, namely soil, fauna and flora. In order to reduce the occurrences of natural wildfires, some measures to control the availability of fuel mass are regularly implemented. Those preventive actions concern mainly prescribed burnings and vegetation pruning. This work reports on the impact of a prescribed burning on several forest soil properties, namely pH, soil moisture, organic matter content and iron content, by monitoring the soil self-recovery capabilities during a one year span. The experiments were carried out in soil cover over a natural site of Andaluzitic schist, in Gramelas, Caminha, Portugal, which was kept intact from prescribed burnings during a period of four years. Soil samples were collected from five plots at three different layers (0-3, 3-6 and 6-18) 1 day before prescribed fire and at regular intervals after the prescribed fire. This paper presents an approach where Fuzzy Boolean Nets (FBN) and Fuzzy reasoning are used to extract qualitative knowledge regarding the effect of prescribed fire burning on soil properties. FBN were chosen due to the scarcity on available quantitative data. The results showed that soil properties were affected by prescribed burning practice and were unable to recover their initial values after one year. Copyright © 2010 Elsevier Inc. All rights reserved.

Formal verfication of a railway crossing controller using time petri nets; Taimupetorinetto wo mochiita fumikiri seigyo puroguramu no keishikiteki kensho

Energy Technology Data Exchange (ETDEWEB)

Sasaki, R. [The Nippon Signal Co. Ltd., Tokyo (Japan); Yoneda, T. [Tokyo Inst. of Technology, Tokyo (Japan)

1994-12-20

In the system requesting the real-time property, detecting the dugs in the method by carrying out the verification at the stage of method is important for excluding the error from the latter process. The verifying device for investigating whether the properties are satisfied by the system with the expression of the operation rules of system with time Petri nets and presenting the properties to be verified with real-time linear time-phase theory is developed by Yoneda, et al. In this paper, the verification of train check and warning-controlling operation in railway-crossing is carried out by using said verifying device, and the effectiveness of this verifying method is examined. In the practical controlling program, the mistakes in design occurs easily because of the further execution of complex processings including the countermeasure to the defect of short circuit in controlling unit and the control of up/down trains. It is planned in the future to modeled such processings as well as functions and to verify the system more utilizable. 12 refs., 11 figs., 1 tab.

Sadhana | Indian Academy of Sciences

Indian Academy of Sciences (India)

Home; Journals; Sadhana. S G Deshmukh. Articles written in Sadhana. Volume 30 Issue 2-3 April-June 2005 pp 403-429. e-Commerce and supply chains: Modelling of dynamics through fuzzy enhanced high level petri net · Vipul Jain S Wadhwa S G Deshmukh · More Details Abstract Fulltext PDF. Although information ...

CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets

DEFF Research Database (Denmark)

Ratzer, Anne Vinter; Wells, Lisa Marie; Lassen, Henry Michael

2003-01-01

elements. The tool features incremental syntax checking and code generation which take place while a net is being constructed. A fast simulator efficiently handles both untimed and timed nets. Full and partial state spaces can be generated and analysed, and a standard state space report contains...

Modelagem e análise de serviços de saúde baseados em Redes de Petri interpretadas

Directory of Open Access Journals (Sweden)

Marisa Mitie Miyagi

2001-12-01

Full Text Available Este trabalho introduz as Redes de Petri para modelagem e análise de sistemas de saúde que além da complexidade de suas atividades, envolve na sua concepção, implementação, operação e tomada de decisões, vários e diferentes profissionais. Os modelos são desenvolvidos em PFS (Production Flow Schema e MFG (Mark Flow Graph que são interpretações de redes de Petri, explicitando os recursos envolvidos e o fluxo de itens (pessoas, equipamentos, informações. Os serviços do Ambulatório do Hospital das Clínicas da Universidade de São Paulo são utilizados como estudo de caso para comprovar as vantagens da presente proposta.This paper introduces the Petri net for modelling and analysis of health systems where beyond the complexity of they activities, involves in its conception, implementation, operation and decision making several and differents professionals. The models are developed in PFS (Production Flow Schema and MFC (Mark Flow Graph that are interpretations of Peri nets aiming the explicit identification of resources and flow of itens (material and information. The services of the ambulatory of Clinic Hospital of University of São Paulo is considered in a case study to confirm the advantages of the proposal.

Design of Service Net based Correctness Verification Approach for Multimedia Conferencing Service Orchestration

Directory of Open Access Journals (Sweden)

Cheng Bo

2012-02-01

Full Text Available Multimedia conferencing is increasingly becoming a very important and popular application over Internet. Due to the complexity of asynchronous communications and handle large and dynamically concurrent processes for multimedia conferencing, which confront relevant challenge to achieve sufficient correctness guarantees, and supporting the effective verification methods for multimedia conferencing services orchestration is an extremely difficult and challenging problem. In this paper, we firstly present the Business Process Execution Language (BPEL based conferencing service orchestration, and mainly focus on the service net based correction verification approach for multimedia conferencing services orchestration, which can automatically translated the BPEL based service orchestration into a corresponding Petri net model with the Petri Net Markup Language (PNML, and also present the BPEL service net reduction rules and multimedia conferencing service orchestration correction verification algorithms. We perform the correctness analysis and verification using the service net properties as safeness, reachability and deadlocks, and also provide an automated support tool for the formal analysis and soundness verification for the multimedia conferencing services orchestration scenarios. Finally, we give the comparison and evaluations.

TAPAAL and Reachability Analysis of P/T Nets

DEFF Research Database (Denmark)

Jensen, Jonas Finnemann; Nielsen, Thomas Søndersø; Østergaard, Lars Kærlund

2016-01-01

We discuss selected model checking techniques used in the tool TAPAAL for the reachability analysis of weighted Petri nets with inhibitor arcs. We focus on techniques that had the most significant effect at the 2015 Model Checking Contest (MCC). While the techniques are mostly well known, our...... contribution lies in their adaptation to the MCC reachability queries, their efficient implementation and the evaluation of their performance on a large variety of nets from MCC'15....

Time-dependent structural transformation analysis to high-level Petri net model with active state transition diagram

Directory of Open Access Journals (Sweden)

Saito Ayumu

2010-04-01

Full Text Available Abstract Background With an accumulation of in silico data obtained by simulating large-scale biological networks, a new interest of research is emerging for elucidating how living organism functions over time in cells. Investigating the dynamic features of current computational models promises a deeper understanding of complex cellular processes. This leads us to develop a method that utilizes structural properties of the model over all simulation time steps. Further, user-friendly overviews of dynamic behaviors can be considered to provide a great help in understanding the variations of system mechanisms. Results We propose a novel method for constructing and analyzing a so-called active state transition diagram (ASTD by using time-course simulation data of a high-level Petri net. Our method includes two new algorithms. The first algorithm extracts a series of subnets (called temporal subnets reflecting biological components contributing to the dynamics, while retaining positive mathematical qualities. The second one creates an ASTD composed of unique temporal subnets. ASTD provides users with concise information allowing them to grasp and trace how a key regulatory subnet and/or a network changes with time. The applicability of our method is demonstrated by the analysis of the underlying model for circadian rhythms in Drosophila. Conclusions Building ASTD is a useful means to convert a hybrid model dealing with discrete, continuous and more complicated events to finite time-dependent states. Based on ASTD, various analytical approaches can be applied to obtain new insights into not only systematic mechanisms but also dynamics.

Fuzzy logic applications to control engineering

Science.gov (United States)

Langari, Reza

1993-12-01

This paper presents the results of a project presently under way at Texas A&M which focuses on the use of fuzzy logic in integrated control of manufacturing systems. The specific problems investigated here include diagnosis of critical tool wear in machining of metals via a neuro-fuzzy algorithm, as well as compensation of friction in mechanical positioning systems via an adaptive fuzzy logic algorithm. The results indicate that fuzzy logic in conjunction with conventional algorithmic based approaches or neural nets can prove useful in dealing with the intricacies of control/monitoring of manufacturing systems and can potentially play an active role in multi-modal integrated control systems of the future.

Modeling user navigation behavior in web by colored Petri nets to determine the user's interest in recommending web pages

Directory of Open Access Journals (Sweden)

Mehdi Sadeghzadeh

2013-01-01

Full Text Available One of existing challenges in personalization of the web is increasing the efficiency of a web in meeting the users' requirements for the contents they require in an optimal state. All the information associated with the current user behavior following in web and data obtained from pervious users’ interaction in web can provide some necessary keys to recommend presentation of services, productions, and the required information of the users. This study aims at presenting a formal model based on colored Petri nets to identify the present user's interest, which is utilized to recommend the most appropriate pages ahead. In the proposed design, recommendation of the pages is considered with respect to information obtained from pervious users' profile as well as the current session of the present user. This model offers the updated proposed pages to the user by clicking on the web pages. Moreover, an example of web is modeled using CPN Tools. The results of the simulation show that this design improves the precision factor. We explain, through evaluation where the results of this method are more objective and the dynamic recommendations demonstrate that the results of the recommended method improve the precision criterion 15% more than the static method.

Validation, verification and evaluation of a Train to Train Distance Measurement System by means of Colored Petri Nets

International Nuclear Information System (INIS)

Song, Haifeng; Liu, Jieyu; Schnieder, Eckehard

2017-01-01

Validation, verification and evaluation are necessary processes to assure the safety and functionality of a system before its application in practice. This paper presents a Train to Train Distance Measurement System (TTDMS), which can provide distance information independently from existing onboard equipment. Afterwards, we proposed a new process using Colored Petri Nets to verify the TTDMS system functional safety, as well as to evaluate the system performance. Three main contributions are carried out in the paper: Firstly, this paper proposes a formalized TTDMS model, and the model correctness is validated using state space analysis and simulation-based verification. Secondly, corresponding checking queries are proposed for the purpose of functional safety verification. Further, the TTDMS performance is evaluated by applying parameters in the formal model. Thirdly, the reliability of a functional prototype TTDMS is estimated. It is found that the procedure can cooperate with the system development, and both formal and simulation-based verifications are performed. Using our process to evaluate and verify a system is easier to read and more reliable compared to executable code and mathematical methods. - Highlights: • A new Train to Train Distance Measurement System. • New approach verifying system functional safety and evaluating system performance by means of CPN. • System formalization using the system property concept. • Verification of system functional safety using state space analysis. • Evaluation of system performance applying simulation-based analysis.

Medição do inventário em processo e tempo de atravessamento em manufatura por modelagem em redes de Petri e diagrama de resultados Measurement of work-in-process and manufacturing leadtime by Petri nets modeling and throughput diagram

Directory of Open Access Journals (Sweden)

Tiago Facchin

2008-08-01

Full Text Available Este artigo apresenta um método para a medição de inventário em processo e tempo de atravessamento em um sistema de manufatura. O método consiste em modelar a manufatura por redes de Petri, simular o modelo em computador, alimentando-o com a situação de carga inicial dos processos e com um plano de produção, obtendo os momentos simulados de conclusão de cada ordem do plano. Após este procedimento, com o uso do diagrama de resultados e da fórmula do funil, calcula-se o valor médio simulado de inventário em processo que o plano produzirá na manufatura. Ao fim, faz-se uma discussão na qual explora-se como os resultados do método podem ser úteis em decisões de gestão, envolvendo o inventário admitido, pulmões e restrições da manufatura.This paper presents a method to measure work-in-process and leadtime in a manufacturing system. The method consists of modeling manufacturing by Petri nets, providing as input for the model the initial load of the process and a production plan, running it and obtaining from the simulation the moments of completion of the orders. Using the throughput diagram and the funnel formula, we then calculate the mean simulated value of the work-in-process that the plan will produce in the manufacturing system. Finally, we discuss how the results can be used to underpin management decisions on issues such as actual work-in-process, buffers and manufacturing constraints.

Contribution to the modelling and analysis of logistics system performance by Petri nets and simulation models: Application in a supply chain

Science.gov (United States)

Azougagh, Yassine; Benhida, Khalid; Elfezazi, Said

2016-02-01

In this paper, the focus is on studying the performance of complex systems in a supply chain context by developing a structured modelling approach based on the methodology ASDI (Analysis, Specification, Design and Implementation) by combining the modelling by Petri nets and simulation using ARENA. The linear approach typically followed in conducting of this kind of problems has to cope with a difficulty of modelling due to the complexity and the number of parameters of concern. Therefore, the approach used in this work is able to structure modelling a way to cover all aspects of the performance study. The modelling structured approach is first introduced before being applied to the case of an industrial system in the field of phosphate. Results of the performance indicators obtained from the models developed, permitted to test the behaviour and fluctuations of this system and to develop improved models of the current situation. In addition, in this paper, it was shown how Arena software can be adopted to simulate complex systems effectively. The method in this research can be applied to investigate various improvements scenarios and their consequences before implementing them in reality.

Petri neural network model for the effect of controlled thermomechanical process parameters on the mechanical properties of HSLA steels

Energy Technology Data Exchange (ETDEWEB)

Datta, S.

1999-10-01

The effect of composition and controlled thermomechanical process parameters on the mechanical properties of HSLA steels is modelled using the Widrow-Hoff's concept of training a neural net with feed-forward topology by applying Rumelhart's back propagation type algorithm for supervised learning, using a Petri like net structure. The data used are from laboratory experiments as well as from the published literature. The results from the neural network are found to be consistent and in good agreement with the experimented results. (author)

WorkflowNet2BPEL4WS: A Tool for Translating Unstructured Workflow Processes to Readable BPEL

DEFF Research Database (Denmark)

Lassen, Kristian Bisgaard; van der Aalst, Wil M. P.

2007-01-01

code and not easy to use by end-users. Therefore, we provide a mapping from WF-nets to BPEL. This mapping builds on the rich theory of Petri nets and can also be used to map other languages (e.g., UML, EPC, BPMN, etc.) onto BPEL. To evaluate WorkflowNet2BPEL4WS we used more than 100 processes modeled...

Automatic generation of control solution for resource allocation using Petri net model Geração automática da solução de controle para alocação de recursos utilizando redes de Petri

Directory of Open Access Journals (Sweden)

Francisco Yastami Nakamoto

2009-04-01

Full Text Available The flexible manufacturing system (FMS executes multiple processes simultaneously using a limited set of resources. These processes can be blocked permanently due to the sequence of the activities, i.e., the processes sharing a finite set of resources may eventually lead to a deadlock state. The FMS belongs to the class of discrete event systems where it is not possible to determine when an event will occur and the sequence of events becomes undefined. Such systems can be modeled using Petri net, and this work presents a method that solves the deadlock problem considering the indeterminism of FMSs. The goal of this work is to introduce an algorithmic approach, which allows the implementation of a computer program based on FMS functional specification. The proposal is to automate the generation of the control strategy for resource utilization and the rules to avoid the deadlock situation.O sistema flexível de manufatura (FMS flexible manufacturing system executa múltiplos processos simultaneamente que utilizam um conjunto limitado de recursos. Estes processos podem ficar permanentemente bloqueados em função da seqüência de atividades, isto é, o compartilhamento de um conjunto finito de recursos pode levar o sistema a um estado de autotravamento. O FMS pode ser visto como pertencente a uma classe de sistema a eventos discretos, onde não é possível determinar quando um evento ocorre e com isto a seqüência de eventos fica indefinida. Este tipo de sistema pode ser modelado através de rede de Petri e assim explora-se esta técnica para desenvolver uma solução para o problema de auto-travamento considerando o indeterminismo do FMS. O objetivo é introduzir uma abordagem algorítmica para a implementação de uma ferramenta computacional baseada na especificação funcional do FMS e que automatize a geração de uma estratégia de controle para a utilização de recursos e de regras para evitar o autotravamento.

A net presentation of Lithuanian sentences containing verbal forms with the grammatical suffix -dav-

Directory of Open Access Journals (Sweden)

Danuta Roszko

2014-09-01

Full Text Available A net presentation of Lithuanian sentences containing verbal forms with the grammatical suffix -dav- In the article the authors make an attempt to present the meaning of Lithuanian sentences containing verbal forms with the grammatical suffix -dav- (the so-called iterative past tense forms by means of Petri nets. The authors gradually develop the net to such complexity that it makes it possible to avoid interpretative similarities to other Lithuanian verbal forms.

Verification of a primary-to-secondary leaking safety procedure in a nuclear power plant using coloured Petri nets

International Nuclear Information System (INIS)

Nemeth, E.; Bartha, T.; Fazekas, Cs.; Hangos, K.M.

2009-01-01

This paper deals with formal and simulation-based verification methods of a PRImary-to-SEcondary leaking (abbreviated as PRISE) safety procedure. The PRISE safety procedure controls the draining of the contaminated water in a faulty steam generator when a non-compensable leaking from the primary to the secondary circuit occurs. Because of the discrete nature of the verification, a Coloured Petri Net (CPN) representation is proposed for both the procedure and the plant model. We have proved by using a non-model-based strategy that the PRISE safety procedure is safe, there are no dead markings in the state space, and all transitions are live; being either impartial or fair. Further analysis results have been obtained using a model-based verification approach. We created a simple, low dimensional, nonlinear dynamic model of the primary circuit in a VVER-type pressurized water nuclear power plant for the purpose of the model-based verification. This is in contrast to the widely used safety analysis that requires an accurate detailed model. Our model also describes the relevant safety procedures, as well as all of the major leaking-type faults. We propose a novel method to transform this model to a CPN form by discretization. The composed plant and PRISE safety procedure system has also been analysed by simulation using CPN analysis tools. We found by the model-based analysis-using both single and multiple faults-that the PRISE safety procedure initiates the draining when the PRISE event occurs, and no false alarm will be initiated

Soundness of Timed-Arc Workflow Nets in Discrete and Continuous-Time Semantics

DEFF Research Database (Denmark)

Mateo, Jose Antonio; Srba, Jiri; Sørensen, Mathias Grund

2015-01-01

Analysis of workflow processes with quantitative aspectslike timing is of interest in numerous time-critical applications. We suggest a workflow model based on timed-arc Petri nets and studythe foundational problems of soundness and strong (time-bounded) soundness.We first consider the discrete-t...

A framework for the definition of variants of high-level Petri nets

DEFF Research Database (Denmark)

Kindler, Ekkart; Petrucci, Laure

2009-01-01

with data-type specific issues, which often blocks the view for the really relevant parts. Even worse, supposedly simpler versions of high-level nets often are more difficult to define than high-level nets in general. This paper introduces the concepts and the mathematical tools to ease the definition...

Dependent-Chance Programming Models for Capital Budgeting in Fuzzy Environments

Institute of Scientific and Technical Information of China (English)

LIANG Rui; GAO Jinwu

2008-01-01

Capital budgeting is concerned with maximizing the total net profit subject to budget constraints by selecting an appropriate combination of projects. This paper presents chance maximizing models for capital budgeting with fuzzy input data and multiple conflicting objectives. When the decision maker sets a prospec-tive profit level and wants to maximize the chances of the total profit achieving the prospective profit level, a fuzzy dependent-chance programming model, a fuzzy multi-objective dependent-chance programming model, and a fuzzy goal dependent-chance programming model are used to formulate the fuzzy capital budgeting problem. A fuzzy simulation based genetic algorithm is used to solve these models. Numerical examples are provided to illustrate the effectiveness of the simulation-based genetic algorithm and the po-tential applications of these models.

Petri Net-Based Model of Helicobacter pylori Mediated Disruption of Tight Junction Proteins in Stomach Lining during Gastric Carcinoma

Directory of Open Access Journals (Sweden)

Anam Naz

2017-09-01

Full Text Available Tight junctions help prevent the passage of digestive enzymes and microorganisms through the space between adjacent epithelial cells lining. However, Helicobacter pylori encoded virulence factors negatively regulate these tight junctions and contribute to dysfunction of gastric mucosa. Here, we have predicted the regulation of important tight junction proteins, such as Zonula occludens-1, Claudin-2 and Connexin32 in the presence of pathogenic proteins. Molecular events such as post translational modifications and crosstalk between phosphorylation, O-glycosylation, palmitoylation and methylation are explored which may compromise the integrity of these tight junction proteins. Furthermore, the signaling pathways disrupted by dysregulated kinases, proteins and post-translational modifications are reviewed to design an abstracted computational model showing the situation-dependent dynamic behaviors of these biological processes and entities. A qualitative hybrid Petri Net model is therefore constructed showing the altered host pathways in the presence of virulence factor cytotoxin-associated gene A, leading to the disruption of tight junction proteins. The model is qualitative logic-based, which does not depend on any kinetic parameter and quantitative data and depends on knowledge derived from experiments. The designed model provides insights into the tight junction disruption and disease progression. Model is then verified by the available experimental data, nevertheless formal in vitro experimentation is a promising way to ensure its validation. The major findings propose that H. pylori activated kinases are responsible to trigger specific post translational modifications within tight junction proteins, at specific sites. These modifications may favor alterations in gastric barrier and provide a route to bacterial invasion into host cells.

An Introduction to the Theoretical Aspects of Coloured Petri nets

DEFF Research Database (Denmark)

Jensen, Kurt

1994-01-01

other systems in which human beings and/or computers communicate by means of some more or less formal rules). The paper contains the formal definition of CP-nets and their basic concepts (e.g., the different dynamic properties such as liveness and fairness). The paper also contains a short introduction...

Optimization in Fuzzy Economic Order Quantity (FEOQ Model with Deteriorating Inventory and Units Lost

Directory of Open Access Journals (Sweden)

Monalisha Pattnaik

2014-09-01

Full Text Available Background: This model presents the effect of deteriorating items in fuzzy optimal instantaneous replenishment for finite planning horizon. Accounting for holding cost per unit per unit time and ordering cost per order have traditionally been the case of modeling inventory systems in fuzzy environment. These imprecise parameters defined on a bounded interval on the axis of real numbers and the physical characteristics of stocked items dictate the nature of inventory policies implemented to manage and control in the production system.   Methods: The modified fuzzy EOQ (FEOQ model is introduced, it assumes that a percentage of the on-hand inventory is wasted due to deterioration and considered as an enhancement to EOQ model to determine the optimal replenishment quantity so that the net profit is maximized. In theoretical analysis, the necessary and sufficient conditions of the existence and uniqueness of the optimal solutions are proved and further the concavity of the fuzzy net profit function is established. Computational algorithm using the software LINGO 13.0 version is developed to find the optimal solution.   Results and conclusions: The results of the numerical analysis enable decision-makers to quantify the effect of units lost due to deterioration on optimizing the fuzzy net profit for the retailer. Finally, sensitivity analyses of the optimal solution with respect the major parameters are also carried out. Furthermore fuzzy decision making is shown to be superior then crisp decision making in terms of profit maximization. 

Fuzzy-neural network in the automatic detection and volumetry of the spleen on spiral CT scans

International Nuclear Information System (INIS)

Heitmann, K.R.; Mainz Univ.; Rueckert, S.; Heussel, C.P.; Thelen, M.; Kauczor, H.U.; Uthmann, T.

2000-01-01

Purpose: To assess spleen segmentation and volumetry in spiral CT scans with and without pathological changes of splenic tissue. Methods: The image analysis software HYBRIKON is based on region growing, self-organized neural nets, and fuzzy-anatomic rules. The neural nets were trained with spiral CT data from 10 patients, not used in the following evaluation on spiral CT scans from 19 patients. An experienced radiologist verified the results. The true positive and false positive areas were compared in terms to the areas marked by the radiologist. The results were compared with a standard thresholding method. Results: The neural nets achieved a higher accuracy than the thresholding method. Correlation coefficient of the fuzzy-neural nets: 0.99 (thresholding: 0.63). Mean true positive rate: 90% (thresholding: 75%), mean false positive rate: 5% (thresholding>100%). Pitfalls were caused by accessory spleens, extreme changes in the morphology (tumors, metastases, cysts), and parasplenic masses. Conclusions: Self-organizing neural nets combined with fuzzy rules are ready for use in the automatic detection and volumetry of the spleen in spiral CT scans. (orig.) [de

Proceeding of the 33rd SICE (the Society of Instrument and Control Engineers) Annual Conference

Energy Technology Data Exchange (ETDEWEB)

NONE

1994-12-31

This is proceedings of the English papers presented to the 33rd SICE Annual Conference. As for vision control, reports are made on image recognition, visual servo, obstacle detection, and artificial intelligence. As to neuro and fuzzy, reported are learning rule in control, artificial intelligence traffic signal lights using fuzzy logic, and fuzzy petri net scheme for fuzzy production rule expression. With respect to robot, discussed are intelligent manipulator, and navigation control by robot system. With respect to measurements, described are measurement of internal resistivity distribution by tomography technique, minute drag measurement of the fluid, precision measurement, etc. As bio-system, studies are made on muscle activation pattern and arterial tree, and as biomedical measurement, on heart behavior, Alzheimer`s disease. Reports are further made on control system, signal processing, robust control, industrial application of control technology, etc. The paper on estimation and identification is presented.

Fuzzy algorithmic and knowledge-based decision support in nuclear engineering

International Nuclear Information System (INIS)

Zimmermann, H. J.

1996-01-01

Fuzzy Set Theory was originally conceived as a means to model non- stochastic uncertainty. In the meantime it has matured to Fuzzy Technology and - together with Neural Nets and Genetic Algorithms - to Computational Intelligence. The goals have expanded considerably. In addition to uncertainty modeling, relaxation, compactification and meaning preserving reasoning have become major objectives. Nuclear engineering is one of the areas with a large potential for applications of Fuzzy Technologies, in which, however, the development is still at the beginning. This paper tries to survey applications and point to some potential applications which have not yet been realized

An intutionistic fuzzy optimization approach to vendor selection problem

Directory of Open Access Journals (Sweden)

Prabjot Kaur

2016-09-01

Full Text Available Selecting the right vendor is an important business decision made by any organization. The decision involves multiple criteria and if the objectives vary in preference and scope, then nature of decision becomes multiobjective. In this paper, a vendor selection problem has been formulated as an intutionistic fuzzy multiobjective optimization where appropriate number of vendors is to be selected and order allocated to them. The multiobjective problem includes three objectives: minimizing the net price, maximizing the quality, and maximizing the on time deliveries subject to supplier's constraints. The objection function and the demand are treated as intutionistic fuzzy sets. An intutionistic fuzzy set has its ability to handle uncertainty with additional degrees of freedom. The Intutionistic fuzzy optimization (IFO problem is converted into a crisp linear form and solved using optimization software Tora. The advantage of IFO is that they give better results than fuzzy/crisp optimization. The proposed approach is explained by a numerical example.

Complexity Metrics for Workflow Nets

DEFF Research Database (Denmark)

Lassen, Kristian Bisgaard; van der Aalst, Wil M.P.

2009-01-01

analysts have difficulties grasping the dynamics implied by a process model. Recent empirical studies show that people make numerous errors when modeling complex business processes, e.g., about 20 percent of the EPCs in the SAP reference model have design flaws resulting in potential deadlocks, livelocks......, etc. It seems obvious that the complexity of the model contributes to design errors and a lack of understanding. It is not easy to measure complexity, however. This paper presents three complexity metrics that have been implemented in the process analysis tool ProM. The metrics are defined...... for a subclass of Petri nets named Workflow nets, but the results can easily be applied to other languages. To demonstrate the applicability of these metrics, we have applied our approach and tool to 262 relatively complex Protos models made in the context of various student projects. This allows us to validate...

Decomposition of fuzzy continuity and fuzzy ideal continuity via fuzzy idealization

International Nuclear Information System (INIS)

Zahran, A.M.; Abbas, S.E.; Abd El-baki, S.A.; Saber, Y.M.

2009-01-01

Recently, El-Naschie has shown that the notion of fuzzy topology may be relevant to quantum paretical physics in connection with string theory and E-infinity space time theory. In this paper, we study the concepts of r-fuzzy semi-I-open, r-fuzzy pre-I-open, r-fuzzy α-I-open and r-fuzzy β-I-open sets, which is properly placed between r-fuzzy openness and r-fuzzy α-I-openness (r-fuzzy pre-I-openness) sets regardless the fuzzy ideal topological space in Sostak sense. Moreover, we give a decomposition of fuzzy continuity, fuzzy ideal continuity and fuzzy ideal α-continuity, and obtain several characterization and some properties of these functions. Also, we investigate their relationship with other types of function.

Perti Net-Based Workflow Access Control Model

Institute of Scientific and Technical Information of China (English)

陈卓; 骆婷; 石磊; 洪帆

2004-01-01

Access control is an important protection mechanism for information systems. This paper shows how to make access control in workflow system. We give a workflow access control model (WACM) based on several current access control models. The model supports roles assignment and dynamic authorization. The paper defines the workflow using Petri net. It firstly gives the definition and description of the workflow, and then analyzes the architecture of the workflow access control model (WACM). Finally, an example of an e-commerce workflow access control model is discussed in detail.

A Fuzzy Max–Min Decision Bi-Level Fuzzy Programming Model for Water Resources Optimization Allocation under Uncertainty

Directory of Open Access Journals (Sweden)

Chongfeng Ren

2018-04-01

Full Text Available Water competing conflict among water competing sectors from different levels should be taken under consideration during the optimization allocation of water resources. Furthermore, uncertainties are inevitable in the optimization allocation of water resources. In order to deal with the above problems, this study developed a fuzzy max–min decision bi-level fuzzy programming model. The developed model was then applied to a case study in Wuwei, Gansu Province, China. In this study, the net benefit and yield were regarded as the upper-level and lower-level objectives, respectively. Optimal water resource plans were obtained under different possibility levels of fuzzy parameters, which could deal with water competing conflict between the upper level and the lower level effectively. The obtained results are expected to make great contribution in helping local decision-makers to make decisions on dealing with the water competing conflict between the upper and lower level and the optimal use of water resources under uncertainty.

Risk evaluation in Columbian electricity market using fuzzy logic

International Nuclear Information System (INIS)

Medina, S.; Moreno, J.

2007-01-01

This article proposes a model based on Fuzzy Logic to evaluate the market risk that a trading agent faces in the electric power negotiation in Colombia, as part of a general model of negotiation. The proposed model considers single external factors as regulatory changes, social and political issues, and the condition of the national transmission net. Variables of the market associated to these risk factors were selected and some graphic and statistical analyses were made in order to check their relationship with the electricity prices and to determine why the experts consider these factors in their analyses. According to the obtained results a Mamdani Fuzzy Inference System which contains the expert knowledge was developed and it is presented in a fuzzy cognitive map. (author)

NetWeaver for EMDS user guide (version 1.1): a knowledge base development system.

Science.gov (United States)

Keith M. Reynolds

1999-01-01

The guide describes use of the NetWeaver knowledge base development system. Knowledge representation in NetWeaver is based on object-oriented fuzzy-logic networks that offer several significant advantages over the more traditional rulebased representation. Compared to rule-based knowledge bases, NetWeaver knowledge bases are easier to build, test, and maintain because...

Application and Simulation of Fuzzy Neural Network PID Controller in the Aircraft Cabin Temperature

Directory of Open Access Journals (Sweden)

Ding Fang

2013-06-01

Full Text Available Considering complex factors of affecting ambient temperature in Aircraft cabin, and some shortages of traditional PID control like the parameters difficult to be tuned and control ineffective, this paper puts forward the intelligent PID algorithm that makes fuzzy logic method and neural network together, scheming out the fuzzy neural net PID controller. After the correction of the fuzzy inference and dynamic learning of neural network, PID parameters of the controller get the optimal parameters. MATLAB simulation results of the cabin temperature control model show that the performance of the fuzzy neural network PID controller has been greatly improved, with faster response, smaller overshoot and better adaptability.

Synthesis of Decentralized Supervisor for Petri Nets Using Decomposition with Overlapping Places

Czech Academy of Sciences Publication Activity Database

Papík, Martin; Moravec, J.

2012-01-01

Roč. 6, č. 124 (2012), s. 6181-6194 ISSN 1312-885X Institutional support: RVO:67985556 Keywords : Perti nets * loopback control * decentralization Subject RIV: IN - Informatics, Computer Science http://library.utia.cas.cz/separaty/2012/ZOI/papik-0382079.pdf

Coloured Petri Nets

DEFF Research Database (Denmark)

Jensen, Kurt; Kristensen, Lars Michael

studies that illustrate the practical use of CPN modelling and validation for design, specification, simulation, verification and implementation in various application domains. Their presentation primarily aims at readers interested in the practical use of CPN. Thus all concepts and constructs are first...... informally introduced through examples and then followed by formal definitions (which may be skipped). The book is ideally suitable for a one-semester course at an advanced undergraduate or graduate level, and through its strong application examples can also serve for self-study. It features an accompanying...

Selecting the Most Economic Project under Uncertainty Using Bootstrap Technique and Fuzzy Simulation

Directory of Open Access Journals (Sweden)

Kamran Shahanaghi

2012-01-01

Full Text Available This article, by leaving pre-determined membership function of a fuzzy set which is a basic assumption for such subject, will try to propose a hybrid technique to select the most economic project among alternative projects in fuzziness interest rates condition. In this way, net present worth (NPW would be the economic indicator. This article tries to challenge the assumption of large sample sizes availability for membership function determination and shows that some other techniques may have less accuracy. To give a robust solution, bootstrapping and fuzzy simulation is suggested and a numerical example is given and analyzed.

Creating Clinical Fuzzy Automata with Fuzzy Arden Syntax.

Science.gov (United States)

de Bruin, Jeroen S; Steltzer, Heinz; Rappelsberger, Andrea; Adlassnig, Klaus-Peter

2017-01-01

Formal constructs for fuzzy sets and fuzzy logic are incorporated into Arden Syntax version 2.9 (Fuzzy Arden Syntax). With fuzzy sets, the relationships between measured or observed data and linguistic terms are expressed as degrees of compatibility that model the unsharpness of the boundaries of linguistic terms. Propositional uncertainty due to incomplete knowledge of relationships between clinical linguistic concepts is modeled with fuzzy logic. Fuzzy Arden Syntax also supports the construction of fuzzy state monitors. The latter are defined as monitors that employ fuzzy automata to observe gradual transitions between different stages of disease. As a use case, we re-implemented FuzzyARDS, a previously published clinical monitoring system for patients suffering from acute respiratory distress syndrome (ARDS). Using the re-implementation as an example, we show how key concepts of fuzzy automata, i.e., fuzzy states and parallel fuzzy state transitions, can be implemented in Fuzzy Arden Syntax. The results showed that fuzzy state monitors can be implemented in a straightforward manner.

Fault detection and initial state verification by linear programming for a class of Petri nets

Science.gov (United States)

Rachell, Traxon; Meyer, David G.

1992-01-01

The authors present an algorithmic approach to determining when the marking of a LSMG (live safe marked graph) or a LSFC (live safe free choice) net is in the set of live safe markings M. Hence, once the marking of a net is determined to be in M, then if at some time thereafter the marking of this net is determined not to be in M, this indicates a fault. It is shown how linear programming can be used to determine if m is an element of M. The worst-case computational complexity of each algorithm is bounded by the number of linear programs necessary to compute.

Odvrácená tvář otce egyptské archeologie William Matthew Flinders Petrie a eugenická věda // The Dark Side of the Father of Egyptian Archaeology William Matthew Flinders Petrie and Eugenic Science

Directory of Open Access Journals (Sweden)

Kamila Tomášková

2016-06-01

Full Text Available The text aims to bring attention of the Czech readers to Petrie's contributions to the eugenics movement in Great Britain. It describes his close association with Francis Galton and his resulting pronounced views on eugenics and shows how Petrie's racist opinions and involvement in eugenics influenced hi s work as an archaeologist and historian. An attempt is made to understand Petrie's views in the context ofhis times instead of condemning him for hi s appalling conclusions motivated by his racism and eugenics beliefs. The text offers a perspective which enables the readers to consider Petrie's thoughts in relation to the eugenic movement which was not on ly favoured by many ofhis contemporaries, but also had many supporters Jong after Petrie's death. Any consideration of the influence of past ideologies and context on Petrie's thinking and research also brings forward an unanswerable question ofhow much each one of u s is influenced by the ideologies and the context(s prevalent in present times and culture.

Quantitative estimation of time-variable earthquake hazard by using fuzzy set theory

Science.gov (United States)

Deyi, Feng; Ichikawa, M.

1989-11-01

In this paper, the various methods of fuzzy set theory, called fuzzy mathematics, have been applied to the quantitative estimation of the time-variable earthquake hazard. The results obtained consist of the following. (1) Quantitative estimation of the earthquake hazard on the basis of seismicity data. By using some methods of fuzzy mathematics, seismicity patterns before large earthquakes can be studied more clearly and more quantitatively, highly active periods in a given region and quiet periods of seismic activity before large earthquakes can be recognized, similarities in temporal variation of seismic activity and seismic gaps can be examined and, on the other hand, the time-variable earthquake hazard can be assessed directly on the basis of a series of statistical indices of seismicity. Two methods of fuzzy clustering analysis, the method of fuzzy similarity, and the direct method of fuzzy pattern recognition, have been studied is particular. One method of fuzzy clustering analysis is based on fuzzy netting, and another is based on the fuzzy equivalent relation. (2) Quantitative estimation of the earthquake hazard on the basis of observational data for different precursors. The direct method of fuzzy pattern recognition has been applied to research on earthquake precursors of different kinds. On the basis of the temporal and spatial characteristics of recognized precursors, earthquake hazards in different terms can be estimated. This paper mainly deals with medium-short-term precursors observed in Japan and China.

On Intuitionistic Fuzzy Filters of Intuitionistic Fuzzy Coframes

Directory of Open Access Journals (Sweden)

Rajesh K. Thumbakara

2013-01-01

Full Text Available Frame theory is the study of topology based on its open set lattice, and it was studied extensively by various authors. In this paper, we study quotients of intuitionistic fuzzy filters of an intuitionistic fuzzy coframe. The quotients of intuitionistic fuzzy filters are shown to be filters of the given intuitionistic fuzzy coframe. It is shown that the collection of all intuitionistic fuzzy filters of a coframe and the collection of all intutionistic fuzzy quotient filters of an intuitionistic fuzzy filter are coframes.

Why fuzzy controllers should be fuzzy

International Nuclear Information System (INIS)

Nowe, A.

1996-01-01

Fuzzy controllers are usually looked at as crisp valued mappings especially when artificial intelligence learning techniques are used to build up the controller. By doing so the semantics of a fuzzy conclusion being a fuzzy restriction on the viable control actions is non-existing. In this paper the authors criticise from an approximation point of view using a fuzzy controller to express a crisp mapping does not seem the right way to go. Secondly it is illustrated that interesting information is contained in a fuzzy conclusion when indeed this conclusion is considered as a fuzzy restriction. This information turns out to be very valuable when viability problems are concerned, i.e. problems where the objective is to keep a system within predefined boundaries

Modeling the Metabolism of Arabidopsis thaliana: Application of Network Decomposition and Network Reduction in the Context of Petri Nets

Directory of Open Access Journals (Sweden)

Ina Koch

2017-06-01

Full Text Available Motivation:Arabidopsis thaliana is a well-established model system for the analysis of the basic physiological and metabolic pathways of plants. Nevertheless, the system is not yet fully understood, although many mechanisms are described, and information for many processes exists. However, the combination and interpretation of the large amount of biological data remain a big challenge, not only because data sets for metabolic paths are still incomplete. Moreover, they are often inconsistent, because they are coming from different experiments of various scales, regarding, for example, accuracy and/or significance. Here, theoretical modeling is powerful to formulate hypotheses for pathways and the dynamics of the metabolism, even if the biological data are incomplete. To develop reliable mathematical models they have to be proven for consistency. This is still a challenging task because many verification techniques fail already for middle-sized models. Consequently, new methods, like decomposition methods or reduction approaches, are developed to circumvent this problem.Methods: We present a new semi-quantitative mathematical model of the metabolism of Arabidopsis thaliana. We used the Petri net formalism to express the complex reaction system in a mathematically unique manner. To verify the model for correctness and consistency we applied concepts of network decomposition and network reduction such as transition invariants, common transition pairs, and invariant transition pairs.Results: We formulated the core metabolism of Arabidopsis thaliana based on recent knowledge from literature, including the Calvin cycle, glycolysis and citric acid cycle, glyoxylate cycle, urea cycle, sucrose synthesis, and the starch metabolism. By applying network decomposition and reduction techniques at steady-state conditions, we suggest a straightforward mathematical modeling process. We demonstrate that potential steady-state pathways exist, which provide the

Intelligent control of PV system on the basis of the fuzzy recurrent neuronet*

Science.gov (United States)

Engel, E. A.; Kovalev, I. V.; Engel, N. E.

2016-04-01

This paper presents the fuzzy recurrent neuronet for PV system’s control. Based on the PV system’s state, the fuzzy recurrent neural net tracks the maximum power point under random perturbations. The validity and advantages of the proposed intelligent control of PV system are demonstrated by numerical simulations. The simulation results show that the proposed intelligent control of PV system achieves real-time control speed and competitive performance, as compared to a classical control scheme on the basis of the perturbation & observation algorithm.

Countable Fuzzy Topological Space and Countable Fuzzy Topological Vector Space

Directory of Open Access Journals (Sweden)

Apu Kumar Saha

2015-06-01

Full Text Available This paper deals with countable fuzzy topological spaces, a generalization of the notion of fuzzy topological spaces. A collection of fuzzy sets F on a universe X forms a countable fuzzy topology if in the definition of a fuzzy topology, the condition of arbitrary supremum is relaxed to countable supremum. In this generalized fuzzy structure, the continuity of fuzzy functions and some other related properties are studied. Also the class of countable fuzzy topological vector spaces as a generalization of the class of fuzzy topological vector spaces has been introduced and investigated.

Optimality Conditions for Fuzzy Number Quadratic Programming with Fuzzy Coefficients

Directory of Open Access Journals (Sweden)

Xue-Gang Zhou

2014-01-01

Full Text Available The purpose of the present paper is to investigate optimality conditions and duality theory in fuzzy number quadratic programming (FNQP in which the objective function is fuzzy quadratic function with fuzzy number coefficients and the constraint set is fuzzy linear functions with fuzzy number coefficients. Firstly, the equivalent quadratic programming of FNQP is presented by utilizing a linear ranking function and the dual of fuzzy number quadratic programming primal problems is introduced. Secondly, we present optimality conditions for fuzzy number quadratic programming. We then prove several duality results for fuzzy number quadratic programming problems with fuzzy coefficients.

Fuzzy Itand#244; Integral Driven by a Fuzzy Brownian Motion

Directory of Open Access Journals (Sweden)

Didier Kumwimba Seya

2015-11-01

Full Text Available In this paper we take into account the fuzzy stochastic integral driven by fuzzy Brownian motion. To define the metric between two fuzzy numbers and to take into account the limit of a sequence of fuzzy numbers, we invoke the Hausdorff metric. First this fuzzy stochastic integral is constructed for fuzzy simple stochastic functions, then the construction is done for fuzzy stochastic integrable functions.

Solving fully fuzzy transportation problem using pentagonal fuzzy numbers

Science.gov (United States)

Maheswari, P. Uma; Ganesan, K.

2018-04-01

In this paper, we propose a simple approach for the solution of fuzzy transportation problem under fuzzy environment in which the transportation costs, supplies at sources and demands at destinations are represented by pentagonal fuzzy numbers. The fuzzy transportation problem is solved without converting to its equivalent crisp form using a robust ranking technique and a new fuzzy arithmetic on pentagonal fuzzy numbers. To illustrate the proposed approach a numerical example is provided.

Diamond Fuzzy Number

Directory of Open Access Journals (Sweden)

T. Pathinathan

2015-01-01

Full Text Available In this paper we define diamond fuzzy number with the help of triangular fuzzy number. We include basic arithmetic operations like addition, subtraction of diamond fuzzy numbers with examples. We define diamond fuzzy matrix with some matrix properties. We have defined Nested diamond fuzzy number and Linked diamond fuzzy number. We have further classified Right Linked Diamond Fuzzy number and Left Linked Diamond Fuzzy number. Finally we have verified the arithmetic operations for the above mentioned types of Diamond Fuzzy Numbers.

Numerical and experimental dosimetry of petri dish exposure setups

Energy Technology Data Exchange (ETDEWEB)

Burkhardt, M.; Pokovic, K.; Gnos, M.; Schmid, T.; Kuster, N. [Swiss Federal Inst. of Tech., Zurich (Switzerland)

1996-12-31

Crawford TEM cells are often used to exposure cell cultures or small animals in order to study the effects caused by high-frequency fields. They are self-contained, easy-to-use setups that provide a rather homogeneous field distribution in a large area around its center, corresponding approximately to far-field conditions. However, a number of conditions must be met if such TEM cells are intended to be used for in vitro experiments. For instance, poor interaction with the incident field must be maintained to avoid significant field disturbances in the TEM cell. This is best achieved with E-polarization, i.e., when the E-field vector is normal to the investigated cell layer lining the bottom of a synthetic Petri dish. In addition, E-polarization provides the most homogeneous field distribution of all polarizations within the entire layer of cells. In this paper, the authors present a detailed dosimetric assessment for 60 and 100 mm Petri dishes as well as for a 48-well titer plate at 835 MHz. The dosimetry was performed by using numerical computations. The modeling and the simplifications are validated by a second numerical technique and by experimental measurements. For thin liquid layers, an approximation formula is provided with which the induced field strength for many other experiments conducted in Petri dishes can be assessed reliably.

Fuzzy forecasting based on fuzzy-trend logical relationship groups.

Science.gov (United States)

Chen, Shyi-Ming; Wang, Nai-Yi

2010-10-01

In this paper, we present a new method to predict the Taiwan Stock Exchange Capitalization Weighted Stock Index (TAIEX) based on fuzzy-trend logical relationship groups (FTLRGs). The proposed method divides fuzzy logical relationships into FTLRGs based on the trend of adjacent fuzzy sets appearing in the antecedents of fuzzy logical relationships. First, we apply an automatic clustering algorithm to cluster the historical data into intervals of different lengths. Then, we define fuzzy sets based on these intervals of different lengths. Then, the historical data are fuzzified into fuzzy sets to derive fuzzy logical relationships. Then, we divide the fuzzy logical relationships into FTLRGs for forecasting the TAIEX. Moreover, we also apply the proposed method to forecast the enrollments and the inventory demand, respectively. The experimental results show that the proposed method gets higher average forecasting accuracy rates than the existing methods.

On the Fuzzy Convergence

Directory of Open Access Journals (Sweden)

Abdul Hameed Q. A. Al-Tai

2011-01-01

Full Text Available The aim of this paper is to introduce and study the fuzzy neighborhood, the limit fuzzy number, the convergent fuzzy sequence, the bounded fuzzy sequence, and the Cauchy fuzzy sequence on the base which is adopted by Abdul Hameed (every real number r is replaced by a fuzzy number r¯ (either triangular fuzzy number or singleton fuzzy set (fuzzy point. And then, we will consider that some results respect effect of the upper sequence on the convergent fuzzy sequence, the bounded fuzzy sequence, and the Cauchy fuzzy sequence.

Stability Analysis of Interconnected Fuzzy Systems Using the Fuzzy Lyapunov Method

Directory of Open Access Journals (Sweden)

Ken Yeh

2010-01-01

Full Text Available The fuzzy Lyapunov method is investigated for use with a class of interconnected fuzzy systems. The interconnected fuzzy systems consist of J interconnected fuzzy subsystems, and the stability analysis is based on Lyapunov functions. Based on traditional Lyapunov stability theory, we further propose a fuzzy Lyapunov method for the stability analysis of interconnected fuzzy systems. The fuzzy Lyapunov function is defined in fuzzy blending quadratic Lyapunov functions. Some stability conditions are derived through the use of fuzzy Lyapunov functions to ensure that the interconnected fuzzy systems are asymptotically stable. Common solutions can be obtained by solving a set of linear matrix inequalities (LMIs that are numerically feasible. Finally, simulations are performed in order to verify the effectiveness of the proposed stability conditions in this paper.

Stochastic Optimal Estimation with Fuzzy Random Variables and Fuzzy Kalman Filtering

Institute of Scientific and Technical Information of China (English)

FENG Yu-hu

2005-01-01

By constructing a mean-square performance index in the case of fuzzy random variable, the optimal estimation theorem for unknown fuzzy state using the fuzzy observation data are given. The state and output of linear discrete-time dynamic fuzzy system with Gaussian noise are Gaussian fuzzy random variable sequences. An approach to fuzzy Kalman filtering is discussed. Fuzzy Kalman filtering contains two parts: a real-valued non-random recurrence equation and the standard Kalman filtering.

A neural fuzzy controller learning by fuzzy error propagation

Science.gov (United States)

Nauck, Detlef; Kruse, Rudolf

1992-01-01

In this paper, we describe a procedure to integrate techniques for the adaptation of membership functions in a linguistic variable based fuzzy control environment by using neural network learning principles. This is an extension to our work. We solve this problem by defining a fuzzy error that is propagated back through the architecture of our fuzzy controller. According to this fuzzy error and the strength of its antecedent each fuzzy rule determines its amount of error. Depending on the current state of the controlled system and the control action derived from the conclusion, each rule tunes the membership functions of its antecedent and its conclusion. By this we get an unsupervised learning technique that enables a fuzzy controller to adapt to a control task by knowing just about the global state and the fuzzy error.

A fuzzy logic approach to control anaerobic digestion.

Science.gov (United States)

Domnanovich, A M; Strik, D P; Zani, L; Pfeiffer, B; Karlovits, M; Braun, R; Holubar, P

2003-01-01

One of the goals of the EU-Project AMONCO (Advanced Prediction, Monitoring and Controlling of Anaerobic Digestion Process Behaviour towards Biogas Usage in Fuel Cells) is to create a control tool for the anaerobic digestion process, which predicts the volumetric organic loading rate (Bv) for the next day, to obtain a high biogas quality and production. The biogas should contain a high methane concentration (over 50%) and a low concentration of components toxic for fuel cells, e.g. hydrogen sulphide, siloxanes, ammonia and mercaptanes. For producing data to test the control tool, four 20 l anaerobic Continuously Stirred Tank Reactors (CSTR) are operated. For controlling two systems were investigated: a pure fuzzy logic system and a hybrid-system which contains a fuzzy based reactor condition calculation and a hierachial neural net in a cascade of optimisation algorithms.

Modular PNML revisited: Some ideas for strict typing

DEFF Research Database (Denmark)

Kindler, Ekkart

2007-01-01

The Petri Net Markup Language (PNML) is currently standardised by ISO/IEC JTC1/SC7 WG 19 as Part 2 of ISO/IEC 15909. But, there is not yet a mechanism for structuring large Petri nets and for constructing Petri nets from modules. To this end, modular PNML has been proposed some time ago. But, mod...... of Petri net, but still has a strict type system. This paper focuses on the ideas and concepts; the technical details still need to be worked out. To this end, this paper also raises some issues and questions that need to be discussed before standardising modular PNML....

An Advanced Environment for Hybrid Modeling of Biological Systems Based on Modelica

Directory of Open Access Journals (Sweden)

Proß Sabrina

2011-03-01

Full Text Available Biological systems are often very complex so that an appropriate formalism is needed for modeling their behavior. Hybrid Petri Nets, consisting of time-discrete Petri Net elements as well as continuous ones, have proven to be ideal for this task. Therefore, a new Petri Net library was implemented based on the object-oriented modeling language Modelica which allows the modeling of discrete, stochastic and continuous Petri Net elements by differential, algebraic and discrete equations. An appropriate Modelica-tool performs the hybrid simulation with discrete events and the solution of continuous differential equations. A special sub-library contains so-called wrappers for specific reactions to simplify the modeling process.

APPROACHES TO LENIENCY REDUCTION IN MULTI-CRITERIA DECISION MAKING WITH INTERVAL-VALUED FUZZY SETS AND AN EXPERIMENTAL ANALYSIS

OpenAIRE

TING-YU CHEN

2012-01-01

The purpose of this paper is to present a useful method for estimating the importance of criteria and reducing the leniency bias in multiple criteria decision analysis based on interval-valued fuzzy sets. Several types of net predispositions are defined to represent an aggregated effect of interval-valued fuzzy evaluations. The suitability function for measuring the overall evaluation of each alternative is then determined based on simple additive weighting (SAW) methods. Because positive or ...

Complex Fuzzy Set-Valued Complex Fuzzy Measures and Their Properties

Science.gov (United States)

Ma, Shengquan; Li, Shenggang

2014-01-01

Let F*(K) be the set of all fuzzy complex numbers. In this paper some classical and measure-theoretical notions are extended to the case of complex fuzzy sets. They are fuzzy complex number-valued distance on F*(K), fuzzy complex number-valued measure on F*(K), and some related notions, such as null-additivity, pseudo-null-additivity, null-subtraction, pseudo-null-subtraction, autocontionuous from above, autocontionuous from below, and autocontinuity of the defined fuzzy complex number-valued measures. Properties of fuzzy complex number-valued measures are studied in detail. PMID:25093202

Hierarchical type-2 fuzzy aggregation of fuzzy controllers

CERN Document Server

Cervantes, Leticia

2016-01-01

This book focuses on the fields of fuzzy logic, granular computing and also considering the control area. These areas can work together to solve various control problems, the idea is that this combination of areas would enable even more complex problem solving and better results. In this book we test the proposed method using two benchmark problems: the total flight control and the problem of water level control for a 3 tank system. When fuzzy logic is used it make it easy to performed the simulations, these fuzzy systems help to model the behavior of a real systems, using the fuzzy systems fuzzy rules are generated and with this can generate the behavior of any variable depending on the inputs and linguistic value. For this reason this work considers the proposed architecture using fuzzy systems and with this improve the behavior of the complex control problems.

Fuzzy portfolio model with fuzzy-input return rates and fuzzy-output proportions

Science.gov (United States)

Tsaur, Ruey-Chyn

2015-02-01

In the finance market, a short-term investment strategy is usually applied in portfolio selection in order to reduce investment risk; however, the economy is uncertain and the investment period is short. Further, an investor has incomplete information for selecting a portfolio with crisp proportions for each chosen security. In this paper we present a new method of constructing fuzzy portfolio model for the parameters of fuzzy-input return rates and fuzzy-output proportions, based on possibilistic mean-standard deviation models. Furthermore, we consider both excess or shortage of investment in different economic periods by using fuzzy constraint for the sum of the fuzzy proportions, and we also refer to risks of securities investment and vagueness of incomplete information during the period of depression economics for the portfolio selection. Finally, we present a numerical example of a portfolio selection problem to illustrate the proposed model and a sensitivity analysis is realised based on the results.

一种基于TC-CPN的城轨列车车门故障溯因诊断方法%An Abductive Diagnosis Method for Urban Rail Train Door Faults Based on Cyber Petri Net of Time Constraint

Institute of Scientific and Technical Information of China (English)

沈碧波; 佘维; 叶阳东; 贾利民

2016-01-01

本文针对城轨列车车门开门控制系统故障诊断问题,定义一种时间约束自控Petri网(TC-CPN),提出一种故障溯因诊断方法.该方法主要依据捕获的故障表征和监控系统采集的状态与时间信息进行诊断分析.该Petri网引入时序一致性判定函数,定义相对应的变迁触发规则.通过对捕获的时间信息进行计算和溯因推理,分析系统可能存在的故障源或隐患.应用算例表明,时间约束自控Petri网对城轨列车车门开门控制系统的建模有效,时间约束为系统故障溯因诊断提供了时间层面的有力证据.该方法对于此类控制系统故障诊断问题具有一定的普适性.%Aiming at the fault diagnosis of on-off control system of urban rail train doors ,an abductive fault di-agnosis method was proposed by defining a novel type of Cyber Petri Net of Time Constraint (TC-CPN) .Diag-nostic analysis was carried out with the proposed method ,based on the captured fault characterization and the status and time information collected by the monitoring system .The Petri net adopted the judgment function of temporal consistency and defined the corresponding transition firing rules .By calculation and abductive reason-ing of the captured time information ,the fault origins or the potential problems that may remain in the control system were analyzed .The sample application showed that the TC-CPN was effective to model the on-off con-trol system of the doors of urban rail trains ,while time constraint provided strong evidence for fault abductive diagnosis in terms of time .The proposed method suggested general applicability to such fault diagnosis prob-lems of control systems .

Combining fuzzy mathematics with fuzzy logic to solve business management problems

Science.gov (United States)

Vrba, Joseph A.

1993-12-01

Fuzzy logic technology has been applied to control problems with great success. Because of this, many observers fell that fuzzy logic is applicable only in the control arena. However, business management problems almost never deal with crisp values. Fuzzy systems technology--a combination of fuzzy logic, fuzzy mathematics and a graphical user interface--is a natural fit for developing software to assist in typical business activities such as planning, modeling and estimating. This presentation discusses how fuzzy logic systems can be extended through the application of fuzzy mathematics and the use of a graphical user interface to make the information contained in fuzzy numbers accessible to business managers. As demonstrated through examples from actual deployed systems, this fuzzy systems technology has been employed successfully to provide solutions to the complex real-world problems found in the business environment.

Fuzzy Languages

Science.gov (United States)

Rahonis, George

The theory of fuzzy recognizable languages over bounded distributive lattices is presented as a paradigm of recognizable formal power series. Due to the idempotency properties of bounded distributive lattices, the equality of fuzzy recognizable languages is decidable, the determinization of multi-valued automata is effective, and a pumping lemma exists. Fuzzy recognizable languages over finite and infinite words are expressively equivalent to sentences of the multi-valued monadic second-order logic. Fuzzy recognizability over bounded ℓ-monoids and residuated lattices is briefly reported. The chapter concludes with two applications of fuzzy recognizable languages to real world problems in medicine.

Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 3, Practical Use

DEFF Research Database (Denmark)

Jensen, Kurt

of this book. Redundancies with the material of the other volumes have been removed, e.g., the explanation of what a hierarchical CP-net is and how the CPN tools work. The typography has been modified to match that used for the other parts of the book. More detailed explanations have been added, e.g., of some...

Relational Demonic Fuzzy Refinement

Directory of Open Access Journals (Sweden)

Fairouz Tchier

2014-01-01

Full Text Available We use relational algebra to define a refinement fuzzy order called demonic fuzzy refinement and also the associated fuzzy operators which are fuzzy demonic join (⊔fuz, fuzzy demonic meet (⊓fuz, and fuzzy demonic composition (□fuz. Our definitions and properties are illustrated by some examples using mathematica software (fuzzy logic.

Fuzzy measure analysis of public attitude towards the use of nuclear energy

International Nuclear Information System (INIS)

Nishiwaki, Y.; Preyssl, C.; Onisawa, T.; Sen'ichi Mokuya

1996-01-01

It is important to identify the structure of public acceptance or rejection when new technologies are developed and implemented The structure of attitudes should have the essential attributes and their interrelation. In such a structural analysis the attitudes need to be decomposed into meaningful attributes by a suitable model However, the data obtained in this type of study may be more or less subjective and fuzzy, and the following problems may be pointed out: (1.) A man does net always have an additive measure such as probability to evaluate fuzzy objects, (2.) The attributes of an object in bis evaluation process are not always independent of each other. In either case a linear model may not be applicable. This paper is concerned with applying fuzzy measures and fuzzy integrals to analyze public attitude towards the use of nuclear energy. We applied the fuzzy measures and fuzzy integrals to analyze public attitude towards the use of nuclear energy by distributing questionnaires to about 100 students of Engineering Department of Kinki University, Higashi-Osaka, Osaka, Japan. Before and after the Chernobyl Accident we noticed a distinct difference in mental structure Before the accident, the students of pro-nuclear group were whole-heartedly in favour of the use of nuclear energy, based on fringe benefits, impacts on society and economic progress, but after the accident they showed a favourable attitude towards the use of nuclear energy based on economic progress, but with some reservation because of the potential threats. (author)

Fuzzy logic

CERN Document Server

Smets, P

1995-01-01

We start by describing the nature of imperfect data, and giving an overview of the various models that have been proposed. Fuzzy sets theory is shown to be an extension of classical set theory, and as such has a proeminent role or modelling imperfect data. The mathematic of fuzzy sets theory is detailled, in particular the role of the triangular norms. The use of fuzzy sets theory in fuzzy logic and possibility theory,the nature of the generalized modus ponens and of the implication operator for approximate reasoning are analysed. The use of fuzzy logic is detailled for application oriented towards process control and database problems.

Neuro-fuzzy system modeling based on automatic fuzzy clustering

Institute of Scientific and Technical Information of China (English)

Yuangang TANG; Fuchun SUN; Zengqi SUN

2005-01-01

A neuro-fuzzy system model based on automatic fuzzy clustering is proposed.A hybrid model identification algorithm is also developed to decide the model structure and model parameters.The algorithm mainly includes three parts:1) Automatic fuzzy C-means (AFCM),which is applied to generate fuzzy rules automatically,and then fix on the size of the neuro-fuzzy network,by which the complexity of system design is reducesd greatly at the price of the fitting capability;2) Recursive least square estimation (RLSE).It is used to update the parameters of Takagi-Sugeno model,which is employed to describe the behavior of the system;3) Gradient descent algorithm is also proposed for the fuzzy values according to the back propagation algorithm of neural network.Finally,modeling the dynamical equation of the two-link manipulator with the proposed approach is illustrated to validate the feasibility of the method.

Combinational Reasoning of Quantitative Fuzzy Topological Relations for Simple Fuzzy Regions

Science.gov (United States)

Liu, Bo; Li, Dajun; Xia, Yuanping; Ruan, Jian; Xu, Lili; Wu, Huanyi

2015-01-01

In recent years, formalization and reasoning of topological relations have become a hot topic as a means to generate knowledge about the relations between spatial objects at the conceptual and geometrical levels. These mechanisms have been widely used in spatial data query, spatial data mining, evaluation of equivalence and similarity in a spatial scene, as well as for consistency assessment of the topological relations of multi-resolution spatial databases. The concept of computational fuzzy topological space is applied to simple fuzzy regions to efficiently and more accurately solve fuzzy topological relations. Thus, extending the existing research and improving upon the previous work, this paper presents a new method to describe fuzzy topological relations between simple spatial regions in Geographic Information Sciences (GIS) and Artificial Intelligence (AI). Firstly, we propose a new definition for simple fuzzy line segments and simple fuzzy regions based on the computational fuzzy topology. And then, based on the new definitions, we also propose a new combinational reasoning method to compute the topological relations between simple fuzzy regions, moreover, this study has discovered that there are (1) 23 different topological relations between a simple crisp region and a simple fuzzy region; (2) 152 different topological relations between two simple fuzzy regions. In the end, we have discussed some examples to demonstrate the validity of the new method, through comparisons with existing fuzzy models, we showed that the proposed method can compute more than the existing models, as it is more expressive than the existing fuzzy models. PMID:25775452

Modelado de redes de Petri con retroalimentación de activación

OpenAIRE

López Eslava, Eduardo

2016-01-01

Muchos sistemas no pueden ser descritos por ecuaciones diferenciales, sistemas en los cuales la ocurrencia de algún evento puede llevar al sistema de un estado a otro, y en los cuales un evento puede ocurrir abruptamente o en un instante de tiempo indeterminado. Las redes de Petri son una herramienta matemática y gráfica para sistemas que presentan este tipo de características. El carácter visual de las redes de Petri nos permite observar el flujo de comportamiento de un sistema en cada una d...

CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets

DEFF Research Database (Denmark)

Andersen, Peter; Beaudouin-Lafon, Michel; Mackay, Wendy E.

2001-01-01

traditional ideas about user interfaces, getting rid of pull-down menus, scrollbars, and even selection, while providing the same or greater functionality. It also uses the new and much faster CPN simulator and features incremental syntax checking of the nets. CPN/Tools requires an OpenGL graphics accelerator......CPN/Tools is a major redesign of the popular Design/CPN tool from the University of Aarhus CPN group. The new interface is based on advanced, post-WIMP interaction techniques, including bi-manual interaction, toolglasses and marking menus and a new metaphor for managing the workspace. It challenges...

FUZZY RINGS AND ITS PROPERTIES

Directory of Open Access Journals (Sweden)

Karyati Karyati

2017-01-01

  One of algebraic structure that involves a binary operation is a group that is defined  an un empty set (classical with an associative binary operation, it has identity elements and each element has an inverse. In the structure of the group known as the term subgroup, normal subgroup, subgroup and factor group homomorphism and its properties. Classical algebraic structure is developed to algebraic structure fuzzy by the researchers as an example semi group fuzzy and fuzzy group after fuzzy sets is introduced by L. A. Zadeh at 1965. It is inspired of writing about semi group fuzzy and group of fuzzy, a research on the algebraic structure of the ring is held with reviewing ring fuzzy, ideal ring fuzzy, homomorphism ring fuzzy and quotient ring fuzzy with its properties. The results of this study are obtained fuzzy properties of the ring, ring ideal properties fuzzy, properties of fuzzy ring homomorphism and properties of fuzzy quotient ring by utilizing a subset of a subset level  and strong level  as well as image and pre-image homomorphism fuzzy ring.   Keywords: fuzzy ring, subset level, homomorphism fuzzy ring, fuzzy quotient ring

On fuzzy quasi continuity and an application of fuzzy set theory

CERN Document Server

Mahmoud, R A

2003-01-01

Where as classical topology has been developed closely connected with classical analysis describing topological phenomena in analysis, fuzzy topology with its important application in quantum gravity indicated by Witten and Elnaschie, has only been introduced as an analogue of the classical topology. The development of fuzzy topology without close relations to analytical problems did not give the possibility of testing successfully the applicability of the new notions and results. Till now this situation did not change, essentially. Although, many types of fuzzy sets and fuzzy functions having the quasi-property in both of weak and strong than openness and continuity, respectively, have been studied in detail. Many properties on fuzzy topological spaces such as compactness are discussed via fuzzy notion. While others are far from being completely devoted in its foundation. So, this paper is devoted to present a new class of fuzzy quasi-continuous functions via fuzzy compactness has been defined. Some characte...

Improvement of Fuzzy Image Contrast Enhancement Using Simulated Ergodic Fuzzy Markov Chains

Directory of Open Access Journals (Sweden)

Behrouz Fathi-Vajargah

2014-01-01

Full Text Available This paper presents a novel fuzzy enhancement technique using simulated ergodic fuzzy Markov chains for low contrast brain magnetic resonance imaging (MRI. The fuzzy image contrast enhancement is proposed by weighted fuzzy expected value. The membership values are then modified to enhance the image using ergodic fuzzy Markov chains. The qualitative performance of the proposed method is compared to another method in which ergodic fuzzy Markov chains are not considered. The proposed method produces better quality image.

Fuzzy control. Fundamentals, stability and design of fuzzy controllers

Energy Technology Data Exchange (ETDEWEB)

Michels, K. [Fichtner GmbH und Co. KG, Stuttgart (Germany); Klawonn, F. [Fachhochschule Braunschweig/Wolfenbuettel (Germany). Fachbereich Informatik; Kruse, R. [Magdeburg Univ. (Germany). Fakultaet Informatik, Abt. Wiss.- und Sprachverarbeitung; Nuernberger, A. (eds.) [California Univ., Berkeley, CA (United States). Computer Science Division

2006-07-01

The book provides a critical discussion of fuzzy controllers from the perspective of classical control theory. Special emphases are placed on topics that are of importance for industrial applications, like (self-) tuning of fuzzy controllers, optimisation and stability analysis. The book is written as a textbook for graduate students as well as a comprehensive reference book about fuzzy control for researchers and application engineers. Starting with a detailed introduction to fuzzy systems and control theory the reader is guided to up-to-date research results. (orig.)

Introduction to fuzzy systems

CERN Document Server

Chen, Guanrong

2005-01-01

Introduction to Fuzzy Systems provides students with a self-contained introduction that requires no preliminary knowledge of fuzzy mathematics and fuzzy control systems theory. Simplified and readily accessible, it encourages both classroom and self-directed learners to build a solid foundation in fuzzy systems. After introducing the subject, the authors move directly into presenting real-world applications of fuzzy logic, revealing its practical flavor. This practicality is then followed by basic fuzzy systems theory. The book also offers a tutorial on fuzzy control theory, based mainly on th

Stability analysis of polynomial fuzzy models via polynomial fuzzy Lyapunov functions

OpenAIRE

Bernal Reza, Miguel Ángel; Sala, Antonio; JAADARI, ABDELHAFIDH; Guerra, Thierry-Marie

2011-01-01

In this paper, the stability of continuous-time polynomial fuzzy models by means of a polynomial generalization of fuzzy Lyapunov functions is studied. Fuzzy Lyapunov functions have been fruitfully used in the literature for local analysis of Takagi-Sugeno models, a particular class of the polynomial fuzzy ones. Based on a recent Taylor-series approach which allows a polynomial fuzzy model to exactly represent a nonlinear model in a compact set of the state space, it is shown that a refinemen...

Relational Demonic Fuzzy Refinement

OpenAIRE

Tchier, Fairouz

2014-01-01

We use relational algebra to define a refinement fuzzy order called demonic fuzzy refinement and also the associated fuzzy operators which are fuzzy demonic join $({\\bigsqcup }_{\\mathrm{\\text{f}}\\mathrm{\\text{u}}\\mathrm{\\text{z}}})$ , fuzzy demonic meet $({\\sqcap }_{\\mathrm{\\text{f}}\\mathrm{\\text{u}}\\mathrm{\\text{z}}})$ , and fuzzy demonic composition $({\\square }_{\\mathrm{\\text{f}}\\mathrm{\\text{u}}\\mathrm{\\text{z}}})$ . Our definitions and properties are illustrated by some examples using ma...

Intuitionistic supra fuzzy topological spaces

International Nuclear Information System (INIS)

Abbas, S.E.

2004-01-01

In this paper, We introduce an intuitionistic supra fuzzy closure space and investigate the relationship between intuitionistic supra fuzzy topological spaces and intuitionistic supra fuzzy closure spaces. Moreover, we can obtain intuitionistic supra fuzzy topological space induced by an intuitionistic fuzzy bitopological space. We study the relationship between intuitionistic supra fuzzy closure space and the intuitionistic supra fuzzy topological space induced by an intuitionistic fuzzy bitopological space

Intelligent control-I: review of fuzzy logic and fuzzy set theory

International Nuclear Information System (INIS)

Nagrial, M.H.

2004-01-01

In the past decade or so, fuzzy systems have supplanted conventional technologies in many engineering systems, in particular in control systems and pattern recognition. Fuzzy logic has found applications in a variety of consumer products e.g. washing machines, camcorders, digital cameras, air conditioners, subway trains, cement kilns and many others. The fuzzy technology is also being applied in information technology, where it provides decision-support and expert systems with powerful reasoning capabilities. Fuzzy sets, introduced by Zadeh in 1965 as a mathematical way to represent vagueness in linguistics, can be considered a generalisation of classical set theory. Fuzziness is often confused with probability. This lecture will introduce the principal concepts and mathematical notions of fuzzy set theory. (author)

Hesitant fuzzy sets theory

CERN Document Server

Xu, Zeshui

2014-01-01

This book provides the readers with a thorough and systematic introduction to hesitant fuzzy theory. It presents the most recent research results and advanced methods in the field. These includes: hesitant fuzzy aggregation techniques, hesitant fuzzy preference relations, hesitant fuzzy measures, hesitant fuzzy clustering algorithms and hesitant fuzzy multi-attribute decision making methods. Since its introduction by Torra and Narukawa in 2009, hesitant fuzzy sets have become more and more popular and have been used for a wide range of applications, from decision-making problems to cluster analysis, from medical diagnosis to personnel appraisal and information retrieval. This book offers a comprehensive report on the state-of-the-art in hesitant fuzzy sets theory and applications, aiming at becoming a reference guide for both researchers and practitioners in the area of fuzzy mathematics and other applied research fields (e.g. operations research, information science, management science and engineering) chara...

Fuzzy logic in management

CERN Document Server

Carlsson, Christer; Fullér, Robert

2004-01-01

Fuzzy Logic in Management demonstrates that difficult problems and changes in the management environment can be more easily handled by bringing fuzzy logic into the practice of management. This explicit theme is developed through the book as follows: Chapter 1, "Management and Intelligent Support Technologies", is a short survey of management leadership and what can be gained from support technologies. Chapter 2, "Fuzzy Sets and Fuzzy Logic", provides a short introduction to fuzzy sets, fuzzy relations, the extension principle, fuzzy implications and linguistic variables. Chapter 3, "Group Decision Support Systems", deals with group decision making, and discusses methods for supporting the consensus reaching processes. Chapter 4, "Fuzzy Real Options for Strategic Planning", summarizes research where the fuzzy real options theory was implemented as a series of models. These models were thoroughly tested on a number of real life investments, and validated in 2001. Chapter 5, "Soft Computing Methods for Reducing...

Propuesta de un tipo de redes de Petri temporizadas para el modelado de procesos

OpenAIRE

Gonzaléz, Ariel; Vaisman, Gabriel David

2001-01-01

Las Redes de Petri (RP) son un formalismo gráfico para la especificación de sistemas, las cuales pertenecen a la clase de modelos operacionales y son apropiadas cuando se desean describir las propiedades dinámicas de los sistemas. Además, la flexibilidad del modelo permite extenderlo en varias direcciones manteniendo su filosofía original. En el presente trabajo utilizaremos como base un modelo de Red de Petri Temporizada basadas en relojes para luego extenderlo con el concepto de Subredes au...

Grigori Petrišin: Ajalehes Kesknädal 25. märtsil 2009 ilmunud publikatsiooni ümberlükkamine / Grigori Petrišin

Index Scriptorium Estoniae

Petrišin, Grigori

2009-01-01

Riigikogu liikme, endise Tallinna abilinnapea Kalev Kallo poole pöördus ettevõtja Grigori Petrišin, keda kaitsepolitsei oli sundinud väidetavalt oma firma nimel kirjutama linnajuhte kompromiteerivaid kirju. Nüüd väidab ettevõtja, et teda on ära kasutatud valimiseelsetes võimumängudes

The World of Combinatorial Fuzzy Problems and the Efficiency of Fuzzy Approximation Algorithms

OpenAIRE

Yamakami, Tomoyuki

2015-01-01

We re-examine a practical aspect of combinatorial fuzzy problems of various types, including search, counting, optimization, and decision problems. We are focused only on those fuzzy problems that take series of fuzzy input objects and produce fuzzy values. To solve such problems efficiently, we design fast fuzzy algorithms, which are modeled by polynomial-time deterministic fuzzy Turing machines equipped with read-only auxiliary tapes and write-only output tapes and also modeled by polynomia...

Parameter optimization via cuckoo optimization algorithm of fuzzy controller for energy management of a hybrid power system

International Nuclear Information System (INIS)

Berrazouane, S.; Mohammedi, K.

2014-01-01

Highlights: • Optimized fuzzy logic controller (FLC) for operating a standalone hybrid power system based on cuckoo search algorithm. • Comparison between optimized fuzzy logic controller based on cuckoo search and swarm intelligent. • Loss of power supply probability and levelized energy cost are introduced. - Abstract: This paper presents the development of an optimized fuzzy logic controller (FLC) for operating a standalone hybrid power system based on cuckoo search algorithm. The FLC inputs are batteries state of charge (SOC) and net power flow, FLC outputs are the power rate of batteries, photovoltaic and diesel generator. Data for weekly solar irradiation, ambient temperature and load profile are used to tune the proposed controller by using cuckoo search algorithm. The optimized FLC is able to minimize loss of power supply probability (LPSP), excess energy (EE) and levelized energy cost (LEC). Moreover, the results of CS optimization are better than of particle swarm optimization PSO for fuzzy system controller

Intuitionistic fuzzy calculus

CERN Document Server

Lei, Qian

2017-01-01

This book offers a comprehensive and systematic review of the latest research findings in the area of intuitionistic fuzzy calculus. After introducing the intuitionistic fuzzy numbers’ operational laws and their geometrical and algebraic properties, the book defines the concept of intuitionistic fuzzy functions and presents the research on the derivative, differential, indefinite integral and definite integral of intuitionistic fuzzy functions. It also discusses some of the methods that have been successfully used to deal with continuous intuitionistic fuzzy information or data, which are different from the previous aggregation operators focusing on discrete information or data. Mainly intended for engineers and researchers in the fields of fuzzy mathematics, operations research, information science and management science, this book is also a valuable textbook for postgraduate and advanced undergraduate students alike.

Fuzzy risk matrix

International Nuclear Information System (INIS)

Markowski, Adam S.; Mannan, M. Sam

2008-01-01

A risk matrix is a mechanism to characterize and rank process risks that are typically identified through one or more multifunctional reviews (e.g., process hazard analysis, audits, or incident investigation). This paper describes a procedure for developing a fuzzy risk matrix that may be used for emerging fuzzy logic applications in different safety analyses (e.g., LOPA). The fuzzification of frequency and severity of the consequences of the incident scenario are described which are basic inputs for fuzzy risk matrix. Subsequently using different design of risk matrix, fuzzy rules are established enabling the development of fuzzy risk matrices. Three types of fuzzy risk matrix have been developed (low-cost, standard, and high-cost), and using a distillation column case study, the effect of the design on final defuzzified risk index is demonstrated

Redes de Petri: Modelado e implementación de algoritmos para autómatas programables

Directory of Open Access Journals (Sweden)

Luis Diego Murillo

2008-04-01

Full Text Available El presente trabajo es una monografía orientada hacia la utilización del formalismo de las Redes de Petri, propuesto por Carl Petri en la descripción de Sistemas Dinámicos de Eventos Discretos (DEDS. Las Redes de Petri, cuyo acrónimo en inglés es PN, fueron utilizadas inicialmente para el análisis de algoritmos en la computación paralela o concurrente, pero dada la complejidad de los procesos productivos actuales, las PN son un método alternativo de diseño tanto para el procesoindustrial como para el controlador. En este sentido, este estudio hace una revisión de las referencias bibliográficas donde se indica cómo realizar el modelado y la implementación de algoritmos de control en Controladores Lógicos Programables (PLCs por sus siglas en inglés.

Global sensitivity analysis for fuzzy inputs based on the decomposition of fuzzy output entropy

Science.gov (United States)

Shi, Yan; Lu, Zhenzhou; Zhou, Yicheng

2018-06-01

To analyse the component of fuzzy output entropy, a decomposition method of fuzzy output entropy is first presented. After the decomposition of fuzzy output entropy, the total fuzzy output entropy can be expressed as the sum of the component fuzzy entropy contributed by fuzzy inputs. Based on the decomposition of fuzzy output entropy, a new global sensitivity analysis model is established for measuring the effects of uncertainties of fuzzy inputs on the output. The global sensitivity analysis model can not only tell the importance of fuzzy inputs but also simultaneously reflect the structural composition of the response function to a certain degree. Several examples illustrate the validity of the proposed global sensitivity analysis, which is a significant reference in engineering design and optimization of structural systems.

Intuitionistic Fuzzy Subbialgebras and Duality

Directory of Open Access Journals (Sweden)

Wenjuan Chen

2014-01-01

Full Text Available We investigate connections between bialgebras and Atanassov’s intuitionistic fuzzy sets. Firstly we define an intuitionistic fuzzy subbialgebra of a bialgebra with an intuitionistic fuzzy subalgebra structure and also with an intuitionistic fuzzy subcoalgebra structure. Secondly we investigate the related properties of intuitionistic fuzzy subbialgebras. Finally we prove that the dual of an intuitionistic fuzzy strong subbialgebra is an intuitionistic fuzzy strong subbialgebra.

Fuzzy topological digital space and digital fuzzy spline of electroencephalography during epileptic seizures

Science.gov (United States)

Shah, Mazlina Muzafar; Wahab, Abdul Fatah

2017-08-01

Epilepsy disease occurs because of there is a temporary electrical disturbance in a group of brain cells (nurons). The recording of electrical signals come from the human brain which can be collected from the scalp of the head is called Electroencephalography (EEG). EEG then considered in digital format and in fuzzy form makes it a fuzzy digital space data form. The purpose of research is to identify the area (curve and surface) in fuzzy digital space affected by inside epilepsy seizure in epileptic patient's brain. The main focus for this research is to generalize fuzzy topological digital space, definition and basic operation also the properties by using digital fuzzy set and the operations. By using fuzzy digital space, the theory of digital fuzzy spline can be introduced to replace grid data that has been use previously to get better result. As a result, the flat of EEG can be fuzzy topological digital space and this type of data can be use to interpolate the digital fuzzy spline.

Intuitionistic Fuzzy Time Series Forecasting Model Based on Intuitionistic Fuzzy Reasoning

Directory of Open Access Journals (Sweden)

Ya’nan Wang

2016-01-01

Full Text Available Fuzzy sets theory cannot describe the data comprehensively, which has greatly limited the objectivity of fuzzy time series in uncertain data forecasting. In this regard, an intuitionistic fuzzy time series forecasting model is built. In the new model, a fuzzy clustering algorithm is used to divide the universe of discourse into unequal intervals, and a more objective technique for ascertaining the membership function and nonmembership function of the intuitionistic fuzzy set is proposed. On these bases, forecast rules based on intuitionistic fuzzy approximate reasoning are established. At last, contrast experiments on the enrollments of the University of Alabama and the Taiwan Stock Exchange Capitalization Weighted Stock Index are carried out. The results show that the new model has a clear advantage of improving the forecast accuracy.

Fuzzy forecasting based on two-factors second-order fuzzy-trend logical relationship groups and the probabilities of trends of fuzzy logical relationships.

Science.gov (United States)

Chen, Shyi-Ming; Chen, Shen-Wen

2015-03-01

In this paper, we present a new method for fuzzy forecasting based on two-factors second-order fuzzy-trend logical relationship groups and the probabilities of trends of fuzzy-trend logical relationships. Firstly, the proposed method fuzzifies the historical training data of the main factor and the secondary factor into fuzzy sets, respectively, to form two-factors second-order fuzzy logical relationships. Then, it groups the obtained two-factors second-order fuzzy logical relationships into two-factors second-order fuzzy-trend logical relationship groups. Then, it calculates the probability of the "down-trend," the probability of the "equal-trend" and the probability of the "up-trend" of the two-factors second-order fuzzy-trend logical relationships in each two-factors second-order fuzzy-trend logical relationship group, respectively. Finally, it performs the forecasting based on the probabilities of the down-trend, the equal-trend, and the up-trend of the two-factors second-order fuzzy-trend logical relationships in each two-factors second-order fuzzy-trend logical relationship group. We also apply the proposed method to forecast the Taiwan Stock Exchange Capitalization Weighted Stock Index (TAIEX) and the NTD/USD exchange rates. The experimental results show that the proposed method outperforms the existing methods.

Value of Seasonal Fuzzy-based Inflow Prediction in the Jucar River Basin

Science.gov (United States)

Pulido-Velazquez, M.; Macian-Sorribes, H.

2016-12-01

The development and application of climate services in Integrated Water Resources Management (IWRM) is said to add important benefits in terms of water use efficiency due to an increase ability to foresee future water availability. A method to evaluate the economic impact of these services is presented, based on the use of hydroeconomic modelling techniques (hydroeconomic simulation) to compare the net benefits from water use in the system with and without the inflow forecasting. The Jucar River Basin (Spain) has been used as case study. Operating rules currently applied in the basin were assessed using fuzzy rule-based (FRB) systems via a co-development process involving the system operators. These operating rules use as input variable the hydrological inflows in several sub-basins, which need to be foreseen by the system operators. The inflow forecasting mechanism to preview water availability in the irrigation season (May-September) relied on fuzzy regression in which future inflows were foreseen based on past inflows and rainfall in the basin. This approach was compared with the current use of the two past year inflows for projecting the future inflow. For each irrigation season, the previewed inflows were determined using both methods and their impact on the system operation assessed through a hydroeconomic DSS. Results show that the implementation of the fuzzy inflow forecasting system offers higher economic returns. Another advantage of the fuzzy approach regards to the uncertainty treatment using fuzzy numbers, which allow us to estimate the uncertainty range of the expected benefits. Consequently, we can use the fuzzy approach to estimate the uncertainty associated with both the prediction and the associated benefits.

Probabilistic fuzzy systems as additive fuzzy systems

NARCIS (Netherlands)

Almeida, R.J.; Verbeek, N.; Kaymak, U.; Costa Sousa, da J.M.; Laurent, A.; Strauss, O.; Bouchon-Meunier, B.; Yager, R.

2014-01-01

Probabilistic fuzzy systems combine a linguistic description of the system behaviour with statistical properties of data. It was originally derived based on Zadeh’s concept of probability of a fuzzy event. Two possible and equivalent additive reasoning schemes were proposed, that lead to the

Models for cooperative games with fuzzy relations among the agents fuzzy communication, proximity relation and fuzzy permission

CERN Document Server

Jiménez-Losada, Andrés

2017-01-01

This book offers a comprehensive introduction to cooperative game theory and a practice-oriented reference guide to new models and tools for studying bilateral fuzzy relations among several agents or players. It introduces the reader to several fuzzy models, each of which is first analyzed in the context of classical games (crisp games) and subsequently in the context of fuzzy games. Special emphasis is given to the value of Shapley, which is presented for the first time in the context of fuzzy games. Students and researchers will find here a self-contained reference guide to cooperative fuzzy games, characterized by a wealth of examples, descriptions of a wide range of possible situations, step-by-step explanations of the basic mathematical concepts involved, and easy-to-follow information on axioms and properties.

Simulation-based model checking approach to cell fate specification during Caenorhabditis elegans vulval development by hybrid functional Petri net with extension

Directory of Open Access Journals (Sweden)

Ueno Kazuko

2009-04-01

Full Text Available Abstract Background Model checking approaches were applied to biological pathway validations around 2003. Recently, Fisher et al. have proved the importance of model checking approach by inferring new regulation of signaling crosstalk in C. elegans and confirming the regulation with biological experiments. They took a discrete and state-based approach to explore all possible states of the system underlying vulval precursor cell (VPC fate specification for desired properties. However, since both discrete and continuous features appear to be an indispensable part of biological processes, it is more appropriate to use quantitative models to capture the dynamics of biological systems. Our key motivation of this paper is to establish a quantitative methodology to model and analyze in silico models incorporating the use of model checking approach. Results A novel method of modeling and simulating biological systems with the use of model checking approach is proposed based on hybrid functional Petri net with extension (HFPNe as the framework dealing with both discrete and continuous events. Firstly, we construct a quantitative VPC fate model with 1761 components by using HFPNe. Secondly, we employ two major biological fate determination rules – Rule I and Rule II – to VPC fate model. We then conduct 10,000 simulations for each of 48 sets of different genotypes, investigate variations of cell fate patterns under each genotype, and validate the two rules by comparing three simulation targets consisting of fate patterns obtained from in silico and in vivo experiments. In particular, an evaluation was successfully done by using our VPC fate model to investigate one target derived from biological experiments involving hybrid lineage observations. However, the understandings of hybrid lineages are hard to make on a discrete model because the hybrid lineage occurs when the system comes close to certain thresholds as discussed by Sternberg and Horvitz in

Multicriteria optimization in a fuzzy environment: The fuzzy analytic hierarchy process

Directory of Open Access Journals (Sweden)

Gardašević-Filipović Milanka

2010-01-01

Full Text Available In the paper the fuzzy extension of the Analytic Hierarchy Process (AHP based on fuzzy numbers, and its application in solving a practical problem, are considered. The paper advocates the use of contradictory test to check the fuzzy user preferences during fuzzy AHP decision-making process. We also propose consistency check and deriving priorities from inconsistent fuzzy judgment matrices to be included in the process, in order to check if the fuzzy approach can be applied in the AHP for the problem considered. An aggregation of local priorities obtained at different levels into composite global priorities for the alternatives based on weighted-sum method is also discussed. The contradictory fuzzy judgment matrix is analyzed. Our theoretical consideration has been verified by an application of commercially available Super Decisions program (developed for solving multi-criteria optimization problems using AHP approach on the problem previously treated in the literature. The obtained results are compared with those from the literature. The conclusions are given and the possibilities for further work in the field are pointed out.

Fuzzy weakly preopen (preclosed) function in Kubiak-Sostak fuzzy topological spaces

International Nuclear Information System (INIS)

Zahran, A.M.; Abd-Allah, M. Azab.; Abd El-Rahman, Abd El-Nasser G.

2009-01-01

In this paper, we introduce and characterize fuzzy weakly preopen and fuzzy weakly preclosed functions between L-fuzzy topological spaces in Kubiak-Sostak sense and also study these functions in relation to some other types of already known functions.

On Fuzzy β-I-open sets and Fuzzy β-I-continuous functions

International Nuclear Information System (INIS)

Keskin, Aynur

2009-01-01

In this paper, first of all we obtain some properties and characterizations of fuzzy β-I-open sets. After that, we also define the notion of β-I-closed sets and obtain some properties. Lastly, we introduce the notions of fuzzy β-I-continuity with the help of fuzzy β-I-open sets to obtain decomposition of fuzzy continuity.

On Fuzzy {beta}-I-open sets and Fuzzy {beta}-I-continuous functions

Energy Technology Data Exchange (ETDEWEB)

Keskin, Aynur [Department of Mathematics, Faculty of Science and Arts, Selcuk University, Campus, 42075 Konya (Turkey)], E-mail: akeskin@selcuk.edu.tr

2009-11-15

In this paper, first of all we obtain some properties and characterizations of fuzzy {beta}-I-open sets. After that, we also define the notion of {beta}-I-closed sets and obtain some properties. Lastly, we introduce the notions of fuzzy {beta}-I-continuity with the help of fuzzy {beta}-I-open sets to obtain decomposition of fuzzy continuity.

Fuzzy stochastic damage mechanics (FSDM based on fuzzy auto-adaptive control theory

Directory of Open Access Journals (Sweden)

Ya-jun Wang

2012-06-01

Full Text Available In order to fully interpret and describe damage mechanics, the origin and development of fuzzy stochastic damage mechanics were introduced based on the analysis of the harmony of damage, probability, and fuzzy membership in the interval of [0,1]. In a complete normed linear space, it was proven that a generalized damage field can be simulated through β probability distribution. Three kinds of fuzzy behaviors of damage variables were formulated and explained through analysis of the generalized uncertainty of damage variables and the establishment of a fuzzy functional expression. Corresponding fuzzy mapping distributions, namely, the half-depressed distribution, swing distribution, and combined swing distribution, which can simulate varying fuzzy evolution in diverse stochastic damage situations, were set up. Furthermore, through demonstration of the generalized probabilistic characteristics of damage variables, the cumulative distribution function and probability density function of fuzzy stochastic damage variables, which show β probability distribution, were modified according to the expansion principle. The three-dimensional fuzzy stochastic damage mechanical behaviors of the Longtan rolled-concrete dam were examined with the self-developed fuzzy stochastic damage finite element program. The statistical correlation and non-normality of random field parameters were considered comprehensively in the fuzzy stochastic damage model described in this paper. The results show that an initial damage field based on the comprehensive statistical evaluation helps to avoid many difficulties in the establishment of experiments and numerical algorithms for damage mechanics analysis.

ANALYSIS OF FUZZY QUEUES: PARAMETRIC PROGRAMMING APPROACH BASED ON RANDOMNESS - FUZZINESS CONSISTENCY PRINCIPLE

OpenAIRE

Dhruba Das; Hemanta K. Baruah

2015-01-01

In this article, based on Zadeh’s extension principle we have apply the parametric programming approach to construct the membership functions of the performance measures when the interarrival time and the service time are fuzzy numbers based on the Baruah’s Randomness- Fuzziness Consistency Principle. The Randomness-Fuzziness Consistency Principle leads to defining a normal law of fuzziness using two different laws of randomness. In this article, two fuzzy queues FM...

ANALYSIS OF FUZZY QUEUES: PARAMETRIC PROGRAMMING APPROACH BASED ON RANDOMNESS - FUZZINESS CONSISTENCY PRINCIPLE

Directory of Open Access Journals (Sweden)

Dhruba Das

2015-04-01

Full Text Available In this article, based on Zadeh’s extension principle we have apply the parametric programming approach to construct the membership functions of the performance measures when the interarrival time and the service time are fuzzy numbers based on the Baruah’s Randomness- Fuzziness Consistency Principle. The Randomness-Fuzziness Consistency Principle leads to defining a normal law of fuzziness using two different laws of randomness. In this article, two fuzzy queues FM/M/1 and M/FM/1 has been studied and constructed their membership functions of the system characteristics based on the aforesaid principle. The former represents a queue with fuzzy exponential arrivals and exponential service rate while the latter represents a queue with exponential arrival rate and fuzzy exponential service rate.

Introduction to Fuzzy Set Theory

Science.gov (United States)

Kosko, Bart

1990-01-01

An introduction to fuzzy set theory is described. Topics covered include: neural networks and fuzzy systems; the dynamical systems approach to machine intelligence; intelligent behavior as adaptive model-free estimation; fuzziness versus probability; fuzzy sets; the entropy-subsethood theorem; adaptive fuzzy systems for backing up a truck-and-trailer; product-space clustering with differential competitive learning; and adaptive fuzzy system for target tracking.

Augmented marked graphs

CERN Document Server

Cheung, King Sing

2014-01-01

Petri nets are a formal and theoretically rich model for the modelling and analysis of systems. A subclass of Petri nets, augmented marked graphs possess a structure that is especially desirable for the modelling and analysis of systems with concurrent processes and shared resources.This monograph consists of three parts: Part I provides the conceptual background for readers who have no prior knowledge on Petri nets; Part II elaborates the theory of augmented marked graphs; finally, Part III discusses the application to system integration. The book is suitable as a first self-contained volume

An object-oriented description method of EPMM process

Science.gov (United States)

Jiang, Zuo; Yang, Fan

2017-06-01

In order to use the object-oriented mature tools and language in software process model, make the software process model more accord with the industrial standard, it’s necessary to study the object-oriented modelling of software process. Based on the formal process definition in EPMM, considering the characteristics that Petri net is mainly formal modelling tool and combining the Petri net modelling with the object-oriented modelling idea, this paper provides this implementation method to convert EPMM based on Petri net into object models based on object-oriented description.

Uncertainty analysis of flexible rotors considering fuzzy parameters and fuzzy-random parameters

Directory of Open Access Journals (Sweden)

Fabian Andres Lara-Molina

Full Text Available Abstract The components of flexible rotors are subjected to uncertainties. The main sources of uncertainties include the variation of mechanical properties. This contribution aims at analyzing the dynamics of flexible rotors under uncertain parameters modeled as fuzzy and fuzzy random variables. The uncertainty analysis encompasses the modeling of uncertain parameters and the numerical simulation of the corresponding flexible rotor model by using an approach based on fuzzy dynamic analysis. The numerical simulation is accomplished by mapping the fuzzy parameters of the deterministic flexible rotor model. Thereby, the flexible rotor is modeled by using both the Fuzzy Finite Element Method and the Fuzzy Stochastic Finite Element Method. Numerical simulations illustrate the methodology conveyed in terms of orbits and frequency response functions subject to uncertain parameters.

Hierarchies in Coloured Petri Nets

DEFF Research Database (Denmark)

Huber, Peter; Jensen, Kurt; Shapiro, Robert M.

1991-01-01

constructs, and it illustrates them by means of two examples. The hierarchy constructs can be used for theoretical considerations, but their main use is to describe and analyse large real-world systems. All of the hierarchy constructs are supported by the editing and analysis facilities in the CPN Palette...

Scrum ja .Net ohjelmistokehityksessä

OpenAIRE

Marttinen, Petri

2009-01-01

  Marttinen, Petri Juhani Tietojärjestelmätieteen kandidaatintutkielma / Petri Marttinen Jyväskylä: Jyväskylän yliopisto, 2009. 21 s. Kandidaatintutkielma Ohjelmistokehitys on monimutkainen liiketoiminta-alue. Nykyään ohjelmistot mallintavat aina vain tarkemmin todellista ympäristöämme, joten monimutkaisuus ei ole enää yllätys kenellekään. Scrum menetelmä on kehitetty tuottamaan käytettävyydeltään ja laadultaan hyviä ohjelmistoja monim...

Statistical Methods for Fuzzy Data

CERN Document Server

Viertl, Reinhard

2011-01-01

Statistical data are not always precise numbers, or vectors, or categories. Real data are frequently what is called fuzzy. Examples where this fuzziness is obvious are quality of life data, environmental, biological, medical, sociological and economics data. Also the results of measurements can be best described by using fuzzy numbers and fuzzy vectors respectively. Statistical analysis methods have to be adapted for the analysis of fuzzy data. In this book, the foundations of the description of fuzzy data are explained, including methods on how to obtain the characterizing function of fuzzy m

Paired fuzzy sets

DEFF Research Database (Denmark)

Rodríguez, J. Tinguaro; Franco de los Ríos, Camilo; Gómez, Daniel

2015-01-01

In this paper we want to stress the relevance of paired fuzzy sets, as already proposed in previous works of the authors, as a family of fuzzy sets that offers a unifying view for different models based upon the opposition of two fuzzy sets, simply allowing the existence of different types...

Fuzzy Arden Syntax: A fuzzy programming language for medicine.

Science.gov (United States)

Vetterlein, Thomas; Mandl, Harald; Adlassnig, Klaus-Peter

2010-05-01

The programming language Arden Syntax has been optimised for use in clinical decision support systems. We describe an extension of this language named Fuzzy Arden Syntax, whose original version was introduced in S. Tiffe's dissertation on "Fuzzy Arden Syntax: Representation and Interpretation of Vague Medical Knowledge by Fuzzified Arden Syntax" (Vienna University of Technology, 2003). The primary aim is to provide an easy means of processing vague or uncertain data, which frequently appears in medicine. For both propositional and number data types, fuzzy equivalents have been added to Arden Syntax. The Boolean data type was generalised to represent any truth degree between the two extremes 0 (falsity) and 1 (truth); fuzzy data types were introduced to represent fuzzy sets. The operations on truth values and real numbers were generalised accordingly. As the conditions to decide whether a certain programme unit is executed or not may be indeterminate, a Fuzzy Arden Syntax programme may split. The data in the different branches may be optionally aggregated subsequently. Fuzzy Arden Syntax offers the possibility to formulate conveniently Medical Logic Modules (MLMs) based on the principle of a continuously graded applicability of statements. Furthermore, ad hoc decisions about sharp value boundaries can be avoided. As an illustrative example shows, an MLM making use of the features of Fuzzy Arden Syntax is not significantly more complex than its Arden Syntax equivalent; in the ideal case, a programme handling crisp data remains practically unchanged when compared to its fuzzified version. In the latter case, the output data, which can be a set of weighted alternatives, typically depends continuously from the input data. In typical applications an Arden Syntax MLM can produce a different output after only slight changes of the input; discontinuities are in fact unavoidable when the input varies continuously but the output is taken from a discrete set of possibilities

Intuitionistic fuzzy logics

CERN Document Server

T Atanassov, Krassimir

2017-01-01

The book offers a comprehensive survey of intuitionistic fuzzy logics. By reporting on both the author’s research and others’ findings, it provides readers with a complete overview of the field and highlights key issues and open problems, thus suggesting new research directions. Starting with an introduction to the basic elements of intuitionistic fuzzy propositional calculus, it then provides a guide to the use of intuitionistic fuzzy operators and quantifiers, and lastly presents state-of-the-art applications of intuitionistic fuzzy sets. The book is a valuable reference resource for graduate students and researchers alike.

(L,M-Fuzzy σ-Algebras

Directory of Open Access Journals (Sweden)

Fu-Gui Shi

2010-01-01

Full Text Available The notion of (L,M-fuzzy σ-algebras is introduced in the lattice value fuzzy set theory. It is a generalization of Klement's fuzzy σ-algebras. In our definition of (L,M-fuzzy σ-algebras, each L-fuzzy subset can be regarded as an L-measurable set to some degree.

Recurrent fuzzy ranking methods

Science.gov (United States)

Hajjari, Tayebeh

2012-11-01

With the increasing development of fuzzy set theory in various scientific fields and the need to compare fuzzy numbers in different areas. Therefore, Ranking of fuzzy numbers plays a very important role in linguistic decision-making, engineering, business and some other fuzzy application systems. Several strategies have been proposed for ranking of fuzzy numbers. Each of these techniques has been shown to produce non-intuitive results in certain case. In this paper, we reviewed some recent ranking methods, which will be useful for the researchers who are interested in this area.

Fuzzy production planning models for an unreliable production system with fuzzy production rate and stochastic/fuzzy demand rate

Directory of Open Access Journals (Sweden)

K. A. Halim

2011-01-01

Full Text Available In this article, we consider a single-unit unreliable production system which produces a single item. During a production run, the production process may shift from the in-control state to the out-of-control state at any random time when it produces some defective items. The defective item production rate is assumed to be imprecise and is characterized by a trapezoidal fuzzy number. The production rate is proportional to the demand rate where the proportionality constant is taken to be a fuzzy number. Two production planning models are developed on the basis of fuzzy and stochastic demand patterns. The expected cost per unit time in the fuzzy sense is derived in each model and defuzzified by using the graded mean integration representation method. Numerical examples are provided to illustrate the optimal results of the proposed fuzzy models.

Construction of Fuzzy Sets and Applying Aggregation Operators for Fuzzy Queries

DEFF Research Database (Denmark)

Hudec, Miroslav; Sudzina, Frantisek

Flexible query conditions could use linguistic terms described by fuzzy sets. The question is how to properly construct fuzzy sets for each linguistic term and apply an adequate aggregation function. For construction of fuzzy sets, the lowest value, the highest value of attribute...... and the distribution of data inside its domain are used. The logarithmic transformation of domains appears to be suitable. This way leads to a balanced distribution of tuples over fuzzy sets. In addition, users’ opinions about linguistic terms as well as current content in database are merged. The second investigated...

Fuzzy social choice theory

CERN Document Server

B Gibilisco, Michael; E Albert, Karen; N Mordeson, John; J Wierman, Mark; D Clark, Terry

2014-01-01

This book offers a comprehensive analysis of the social choice literature and shows, by applying fuzzy sets, how the use of fuzzy preferences, rather than that of strict ones, may affect the social choice theorems. To do this, the book explores the presupposition of rationality within the fuzzy framework and shows that the two conditions for rationality, completeness and transitivity, do exist with fuzzy preferences. Specifically, this book examines: the conditions under which a maximal set exists; the Arrow’s theorem;  the Gibbard-Satterthwaite theorem; and the median voter theorem.  After showing that a non-empty maximal set does exists for fuzzy preference relations, this book goes on to demonstrating the existence of a fuzzy aggregation rule satisfying all five Arrowian conditions, including non-dictatorship. While the Gibbard-Satterthwaite theorem only considers individual fuzzy preferences, this work shows that both individuals and groups can choose alternatives to various degrees, resulting in a so...

Relations Among Some Fuzzy Entropy Formulae

Institute of Scientific and Technical Information of China (English)

卿铭

2004-01-01

Fuzzy entropy has been widely used to analyze and design fuzzy systems, and many fuzzy entropy formulae have been proposed. For further in-deepth analysis of fuzzy entropy, the axioms and some important formulae of fuzzy entropy are introduced. Some equivalence results among these fuzzy entropy formulae are proved, and it is shown that fuzzy entropy is a special distance measurement.

New fuzzy EWMA control charts for monitoring phase II fuzzy profiles

Directory of Open Access Journals (Sweden)

Ghazale Moghadam

2016-01-01

Full Text Available In many quality control applications, the quality of a process or product is explained by the relationship between response variable and one or more explanatory variables, called a profile. In this paper, a new fuzzy EWMA control chart for phase II fuzzy profile monitoring is proposed. To this end, we extend EWMA control charts to its equivalent Fuzzy type and then implement fuzzy ranking methods to determine whether the process fuzzy profile is under or out of control. The proposed method is capable of identifying small changes in process under condition of process profile explaining parameters vagueness, roughness and uncertainty. Determining the source of changes, this method provides us with the possibility of recognizing the causes of process transition from stable mode, removing these causes and restoring the process stable mode.

Analysis hierarchical model for discrete event systems

Science.gov (United States)

Ciortea, E. M.

2015-11-01

The This paper presents the hierarchical model based on discrete event network for robotic systems. Based on the hierarchical approach, Petri network is analysed as a network of the highest conceptual level and the lowest level of local control. For modelling and control of complex robotic systems using extended Petri nets. Such a system is structured, controlled and analysed in this paper by using Visual Object Net ++ package that is relatively simple and easy to use, and the results are shown as representations easy to interpret. The hierarchical structure of the robotic system is implemented on computers analysed using specialized programs. Implementation of hierarchical model discrete event systems, as a real-time operating system on a computer network connected via a serial bus is possible, where each computer is dedicated to local and Petri model of a subsystem global robotic system. Since Petri models are simplified to apply general computers, analysis, modelling, complex manufacturing systems control can be achieved using Petri nets. Discrete event systems is a pragmatic tool for modelling industrial systems. For system modelling using Petri nets because we have our system where discrete event. To highlight the auxiliary time Petri model using transport stream divided into hierarchical levels and sections are analysed successively. Proposed robotic system simulation using timed Petri, offers the opportunity to view the robotic time. Application of goods or robotic and transmission times obtained by measuring spot is obtained graphics showing the average time for transport activity, using the parameters sets of finished products. individually.

Inference of RMR value using fuzzy set theory and neuro-fuzzy techniques

Energy Technology Data Exchange (ETDEWEB)

Bae, Gyu-Jin; Cho, Mahn-Sup [Korea Institute of Construction Technology, Koyang(Korea)

2001-12-31

In the design of tunnel, it contains inaccuracy of data, fuzziness of evaluation, observer error and so on. The face observation during tunnel excavation, therefore, plays an important role to raise stability and to reduce supporting cost. This study is carried out to minimize the subjectiveness of observer and to exactly evaluate the natural properties of ground during the face observation. For these purpose, fuzzy set theory and neuro-fuzzy techniques in artificial intelligent techniques are applied to the inference of the RMR(Rock Mass Rating) value from the observation data. The correlation between original RMR value and inferred RMR{sub {sub F}U} and RMR{sub {sub N}F} values from fuzzy Set theory and neuro-fuzzy techniques is investigated using 46 data. The results show that good correlation between original RMR value and inferred RMR{sub {sub F}U} and RMR{sub {sub N}F} values is observed when the correlation coefficients are |R|=0.96 and |R|=0.95 respectively. >From these results, applicability of fuzzy set theory and neuro-fuzzy techniques to rock mass classification is proved to be sufficiently high enough. (author). 17 refs., 5 tabs., 9 figs.

Outdoor altitude stabilization of QuadRotor based on type-2 fuzzy and fuzzy PID

Science.gov (United States)

Wicaksono, H.; Yusuf, Y. G.; Kristanto, C.; Haryanto, L.

2017-11-01

This paper presents a design of altitude stabilization of QuadRotor based on type-2 fuzzy and fuzzy PID. This practical design is implemented outdoor. Barometric and sonar sensor were used in this experiment as an input for the controller YoHe. The throttle signal as a control input was provided by the controller to leveling QuadRotor in particular altitude and known well as altitude stabilization. The parameter of type-2 fuzzy and fuzzy PID was tuned in several heights to get the best control parameter for any height. Type-2 fuzzy produced better result than fuzzy PID but had a slow response in the beginning.

ps-ro Fuzzy Open(Closed Functions and ps-ro Fuzzy Semi-Homeomorphism

Directory of Open Access Journals (Sweden)

Pankaj Chettri

2015-11-01

Full Text Available The aim of this paper is to introduce and characterize some new class of functions in a fuzzy topological space termed as ps-ro fuzzy open(closed functions, ps-ro fuzzy pre semiopen functions and ps-ro fuzzy semi-homeomorphism. The interrelation among these concepts and also their relations with the parallel existing concepts are established. It is also shown with the help of examples that these newly introduced concepts are independent of the well known existing allied concepts.

Determination of interrill soil erodibility coefficient based on Fuzzy and Fuzzy-Genetic Systems

Directory of Open Access Journals (Sweden)

Habib Palizvan Zand

2017-02-01

Full Text Available Introduction: Although the fuzzy logic science has been used successfully in various sudies of hydrology and soil erosion, but in literature review no article was found about its performance for estimating of interrill erodibility. On the other hand, studies indicate that genetic algorithm techniques can be used in fuzzy models and finding the appropriate membership functions for linguistic variables and fuzzy rules. So this study was conducted to develop the fuzzy and fuzzy–genetics models and investigation of their performance in the estimation of soil interrill erodibility factor (Ki. Materials and Methods: For this reason 36 soil samples with different physical and chemical properties were collected from west of Azerbaijan province . soilsamples were also taken from the Ap or A horizon of each soil profile. The samples were air-dried , sieved and Some soil characteristics such as soil texture, organic matter (OM, cation exchange capacity (CEC, sodium adsorption ratio (SAR, EC and pH were determined by the standard laboratory methods. Aggregates size distributions (ASD were determined by the wet-sieving method and fractal dimension of soil aggregates (Dn was also calculated. In order to determination of soil interrill erodibility, the flume experiment performed by packing soil a depth of 0.09-m in 0.5 × 1.0 m. soil was saturated from the base and adjusted to 9% slope and was subjected to at least 90 min rainfall . Rainfall intensity treatments were 20, 37 and 47 mm h-1. During each rainfall event, runoff was collected manually in different time intervals, being less than 60 s at the beginning, up to 15 min near the end of the test. At the end of the experiment, the volumes of runoff samples and the mass of sediment load at each time interval were measured. Finally interrill erodibility values were calculated using Kinnell (11 Equation. Then by statistical analyses Dn and sand percent of the soils were selected as input variables and Ki as

Foundations Of Fuzzy Control

DEFF Research Database (Denmark)

Jantzen, Jan

The objective of this textbook is to acquire an understanding of the behaviour of fuzzy logic controllers. Under certain conditions a fuzzy controller is equivalent to a proportional-integral-derivative (PID) controller. Using that equivalence as a link, the book applies analysis methods from...... linear and nonlinear control theory. In the linear domain, PID tuning methods and stability analyses are transferred to linear fuzzy controllers. The Nyquist plot shows the robustness of different settings of the fuzzy gain parameters. As a result, a fuzzy controller is guaranteed to perform as well...... as any PID controller. In the nonlinear domain, the stability of four standard control surfaces is analysed by means of describing functions and Nyquist plots. The self-organizing controller (SOC) is shown to be a model reference adaptive controller. There is a possibility that a nonlinear fuzzy PID...

The BRITNeY Suite: A Platfor for Experiments

DEFF Research Database (Denmark)

Westergaard, Michael

2006-01-01

This paper describes a platform, the BRITNeY Suite, for experimenting with Coloured Petri nets. The BRITNeY Suite provides access to data-structures and a simulator for Coloured Petri nets via a powerful scripting language and plug-in-mechanism, thereby making it easy to perform customized...

Properties of Bipolar Fuzzy Hypergraphs

OpenAIRE

Akram, M.; Dudek, W. A.; Sarwar, S.

2013-01-01

In this article, we apply the concept of bipolar fuzzy sets to hypergraphs and investigate some properties of bipolar fuzzy hypergraphs. We introduce the notion of $A-$ tempered bipolar fuzzy hypergraphs and present some of their properties. We also present application examples of bipolar fuzzy hypergraphs.

Word Similarity from Dictionaries: Inferring Fuzzy Measures from Fuzzy Graphs

Directory of Open Access Journals (Sweden)

Vicenc Torra

2008-01-01

Full Text Available WORD SIMILARITY FROM DICTIONARIES: INFERRING FUZZY MEASURES FROM FUZZY GRAPHS The computation of similarities between words is a basic element of information retrieval systems, when retrieval is not solely based on word matching. In this work we consider a measure between words based on dictionaries. This is achieved assuming that a dictionary is formalized as a fuzzy graph. We show that the approach permits to compute measures not only for pairs of words but for sets of them.

Comparison of fuzzy AHP and fuzzy TODIM methods for landfill location selection.

Science.gov (United States)

Hanine, Mohamed; Boutkhoum, Omar; Tikniouine, Abdessadek; Agouti, Tarik

2016-01-01

Landfill location selection is a multi-criteria decision problem and has a strategic importance for many regions. The conventional methods for landfill location selection are insufficient in dealing with the vague or imprecise nature of linguistic assessment. To resolve this problem, fuzzy multi-criteria decision-making methods are proposed. The aim of this paper is to use fuzzy TODIM (the acronym for Interactive and Multi-criteria Decision Making in Portuguese) and the fuzzy analytic hierarchy process (AHP) methods for the selection of landfill location. The proposed methods have been applied to a landfill location selection problem in the region of Casablanca, Morocco. After determining the criteria affecting the landfill location decisions, fuzzy TODIM and fuzzy AHP methods are applied to the problem and results are presented. The comparisons of these two methods are also discussed.

(Fuzzy) Ideals of BN-Algebras

Science.gov (United States)

Walendziak, Andrzej

2015-01-01

The notions of an ideal and a fuzzy ideal in BN-algebras are introduced. The properties and characterizations of them are investigated. The concepts of normal ideals and normal congruences of a BN-algebra are also studied, the properties of them are displayed, and a one-to-one correspondence between them is presented. Conditions for a fuzzy set to be a fuzzy ideal are given. The relationships between ideals and fuzzy ideals of a BN-algebra are established. The homomorphic properties of fuzzy ideals of a BN-algebra are provided. Finally, characterizations of Noetherian BN-algebras and Artinian BN-algebras via fuzzy ideals are obtained. PMID:26125050

An Application of Fuzzy Inference System by Clustering Subtractive Fuzzy Method for Estimating of Product Requirement

Directory of Open Access Journals (Sweden)

Fajar Ibnu Tufeil

2009-06-01

Full Text Available Model fuzzy memiliki kemampuan untuk menjelaskan secara linguistik suatu sistem yang terlalu kompleks. Aturan-aturan dalam model fuzzy pada umumnya dibangun berdasarkan keahlian manusia dan pengetahuan heuristik dari sistem yang dimodelkan. Teknik ini selanjutnya dikembangkan menjadi teknik yang dapat mengidentifikasi aturan-aturan dari suatu basis data yang telah dikelompokkan berdasarkan persamaan strukturnya. Dalam hal ini metode pengelompokan fuzzy berfungsi untuk mencari kelompok-kelompok data. Informasi yang dihasilkan dari metode pengelompokan ini, yaitu informasi tentang pusat kelompok, digunakan untuk membentuk aturan-aturan dalam sistem penalaran fuzzy. Dalam skripsi ini dibahas mengenai penerapan fuzzy infereance system dengan metode pengelompokan fuzzy subtractive clustering, yaitu untuk membentuk sistem penalaran fuzzy dengan menggunakan model fuzzy Takagi-Sugeno orde satu. Selanjutnya, metode pengelompokan fuzzy subtractive clustering diterapkan dalam memodelkan masalah dibidang pemasaran, yaitu untuk memprediksi permintaan pasar terhadap suatu produk susu. Aplikasi ini dibangun menggunakan Borland Delphi 6.0. Dari hasil pengujian diperoleh tingkat error prediksi terkecil yaitu dengan Error Average 0.08%.

Uncovering highly obfuscated plagiarism cases using fuzzy semantic-based similarity model

Directory of Open Access Journals (Sweden)

Salha M. Alzahrani

2015-07-01

Full Text Available Highly obfuscated plagiarism cases contain unseen and obfuscated texts, which pose difficulties when using existing plagiarism detection methods. A fuzzy semantic-based similarity model for uncovering obfuscated plagiarism is presented and compared with five state-of-the-art baselines. Semantic relatedness between words is studied based on the part-of-speech (POS tags and WordNet-based similarity measures. Fuzzy-based rules are introduced to assess the semantic distance between source and suspicious texts of short lengths, which implement the semantic relatedness between words as a membership function to a fuzzy set. In order to minimize the number of false positives and false negatives, a learning method that combines a permission threshold and a variation threshold is used to decide true plagiarism cases. The proposed model and the baselines are evaluated on 99,033 ground-truth annotated cases extracted from different datasets, including 11,621 (11.7% handmade paraphrases, 54,815 (55.4% artificial plagiarism cases, and 32,578 (32.9% plagiarism-free cases. We conduct extensive experimental verifications, including the study of the effects of different segmentations schemes and parameter settings. Results are assessed using precision, recall, F-measure and granularity on stratified 10-fold cross-validation data. The statistical analysis using paired t-tests shows that the proposed approach is statistically significant in comparison with the baselines, which demonstrates the competence of fuzzy semantic-based model to detect plagiarism cases beyond the literal plagiarism. Additionally, the analysis of variance (ANOVA statistical test shows the effectiveness of different segmentation schemes used with the proposed approach.

Fuzzy logic approach for energetic and economic evaluation of hydroelectric projects

International Nuclear Information System (INIS)

Iliev, Atanas M.

2003-01-01

of the rules is proposed for obtaining the final result, which is also triangular fuzzy number. Economic parameters of the project, such as Net Present Value, Profitability Index and Internal Rate of Return are calculated as a fuzzy numbers. For this purpose the input parameters with high degree of uncertainty such as: discount rate, price of electricity, duration of the construction of the hydro power pant and economical life-time of the project are modelled with triangular fuzzy numbers. Economical evaluation of the project is performed by original fuzziffied criteria in order model the real decision making process for accepting/rejecting the project. The classical economical criteria are modified in fuzzy sense. Thus, the comparison between two fuzzy numbers: Calculated Economic Fuzzy Parameters of the project and modeled Investors View for successful project is worked out for final decision. For this purpose a satisfaction function which measure degree of plausibility that one fuzzy number is higher/lower then the other one, is applied. The developed methodology is applied on hydro power project St. Petka (in designing phase). In this case plausible yearly production and the main economical parameters are calculated. According the previously specified investor's point of view for successful investment, the evaluation of the project for final decision, is also included. Developed model is extension of the classical deterministic model and enables possibilities to perceive influence of the specific parameters and uncertainty to the rate of the project. Furthermore, since the methodology applied in this thesis provides projects evaluation in a new and natural way, closer to the human reasoning, the model could be successfully applied on a number of hydroelectric projects and to contribute in a further development of engineering economy.(Author)

Avaliação do desempenho logístico do transporte rodoviário de madeira de áreas de fomento florestal com o uso de rede de Petri Evaluation of the wood hauling logistic performance in farm forest areas using Petri net

Directory of Open Access Journals (Sweden)

Carlos Cardoso Machado

2009-12-01

of optimizing physical resources, guaranteeing a flow of uninterrupted provisioning and appropriate volume of wood entrance in the regional deposits. The operational cycle of wood transport is organized by the activities of wood loading in the field, wood hauling, wood unloading in the deposit and unhauling. The Temporal Petri Net was used, because it works with two times - sensitization duration. Simulations were carried out with the ARP and ARP software systems, in order to simulate, analyze and evaluate the operational performance. The variations employed in each scenery are due to the quality of the highway, under the current conditions, as for the vertical and horizontal geometry and the irregularity quotient, in each deposit, for the different types of vehicle and form of the adopted wood loading. In the areas of uneven topography, the improvement of the highways altering their quality level has a higher influence for the increase in the performance of the vehicles, and Toco and Truck presented better results. In the areas of plains, the choice of the vehicle has a higher influence in the increase of the performance of the transport, since the topography and the quality of the current highways already contribute to the performance. In these cases, the relation between transported ton and distance and time will be higher for the vehicles with higher capacity of liquid load.

Fuzzy control and identification

CERN Document Server

Lilly, John H

2010-01-01

This book gives an introduction to basic fuzzy logic and Mamdani and Takagi-Sugeno fuzzy systems. The text shows how these can be used to control complex nonlinear engineering systems, while also also suggesting several approaches to modeling of complex engineering systems with unknown models. Finally, fuzzy modeling and control methods are combined in the book, to create adaptive fuzzy controllers, ending with an example of an obstacle-avoidance controller for an autonomous vehicle using modus ponendo tollens logic.

Fuzzy pharmacology: theory and applications.

Science.gov (United States)

Sproule, Beth A; Naranjo, Claudio A; Türksen, I Burhan

2002-09-01

Fuzzy pharmacology is a term coined to represent the application of fuzzy logic and fuzzy set theory to pharmacological problems. Fuzzy logic is the science of reasoning, thinking and inference that recognizes and uses the real world phenomenon that everything is a matter of degree. It is an extension of binary logic that is able to deal with complex systems because it does not require crisp definitions and distinctions for the system components. In pharmacology, fuzzy modeling has been used for the mechanical control of drug delivery in surgical settings, and work has begun evaluating its use in other pharmacokinetic and pharmacodynamic applications. Fuzzy pharmacology is an emerging field that, based on these initial explorations, warrants further investigation.

Multi-Objective Fuzzy Linear Programming In Agricultural Production Planning

Directory of Open Access Journals (Sweden)

H.M.I.U. Herath

2015-08-01

Full Text Available Abstract Modern agriculture is characterized by a series of conflicting optimization criteria that obstruct the decision-making process in the planning of agricultural production. Such criteria are usually net profit total cost total production etc. At the same time the decision making process in the agricultural production planning is often conducted with data that accidentally occur in nature or that are fuzzy not deterministic. Such data are the yields of various crops the prices of products and raw materials demand for the product the available quantities of production factors such as water labor etc. In this paper a fuzzy multi-criteria mathematical programming model is presented. This model is applied in a region of 10 districts in Sri Lanka where paddy is cultivated under irrigated and rain fed water in the two main seasons called Yala and Maha and the optimal production plan is achieved. This study was undertaken to find out the optimal allocation of land for paddy to get a better yield while satisfying the two conflicting objectives profit maximizing and cost minimizing subjected to the utilizing of water constraint and the demand constraint. Only the availability of land constraint is considered as a crisp in nature while objectives and other constraints are treated as fuzzy. It is observed that the MOFLP is an effective method to handle more than a single objective occurs in an uncertain vague environment.

Fuzzy data analysis

CERN Document Server

Bandemer, Hans

1992-01-01

Fuzzy data such as marks, scores, verbal evaluations, imprecise observations, experts' opinions and grey tone pictures, are quite common. In Fuzzy Data Analysis the authors collect their recent results providing the reader with ideas, approaches and methods for processing such data when looking for sub-structures in knowledge bases for an evaluation of functional relationship, e.g. in order to specify diagnostic or control systems. The modelling presented uses ideas from fuzzy set theory and the suggested methods solve problems usually tackled by data analysis if the data are real numbers. Fuzzy Data Analysis is self-contained and is addressed to mathematicians oriented towards applications and to practitioners in any field of application who have some background in mathematics and statistics.

Compound Option Pricing under Fuzzy Environment

Directory of Open Access Journals (Sweden)

Xiandong Wang

2014-01-01

Full Text Available Considering the uncertainty of a financial market includes two aspects: risk and vagueness; in this paper, fuzzy sets theory is applied to model the imprecise input parameters (interest rate and volatility. We present the fuzzy price of compound option by fuzzing the interest and volatility in Geske’s compound option pricing formula. For each α, the α-level set of fuzzy prices is obtained according to the fuzzy arithmetics and the definition of fuzzy-valued function. We apply a defuzzification method based on crisp possibilistic mean values of the fuzzy interest rate and fuzzy volatility to obtain the crisp possibilistic mean value of compound option price. Finally, we present a numerical analysis to illustrate the compound option pricing under fuzzy environment.

Fuzzy measures and integrals

Czech Academy of Sciences Publication Activity Database

Mesiar, Radko

2005-01-01

Roč. 28, č. 156 (2005), s. 365-370 ISSN 0165-0114 R&D Projects: GA ČR(CZ) GA402/04/1026 Institutional research plan: CEZ:AV0Z10750506 Keywords : fuzzy measures * fuzzy integral * regular fuzzy integral Subject RIV: BA - General Mathematics Impact factor: 1.039, year: 2005

Fuzzy Control Tutorial

DEFF Research Database (Denmark)

Dotoli, M.; Jantzen, Jan

1999-01-01

The tutorial concerns automatic control of an inverted pendulum, especially rule based control by means of fuzzy logic. A ball balancer, implemented in a software simulator in Matlab, is used as a practical case study. The objectives of the tutorial are to teach the basics of fuzzy control......, and to show how to apply fuzzy logic in automatic control. The tutorial is distance learning, where students interact one-to-one with the teacher using e-mail....

Pemodelan Sistem Fuzzy Dengan Menggunakan Matlab

Directory of Open Access Journals (Sweden)

Afan Galih Salman

2010-12-01

Full Text Available Fuzzy logic is a method in soft computing category, a method that could process uncertain, inaccurate, and less cost implemented data. Some methods in soft computing category besides fuzzy logic are artificial network nerve, probabilistic reasoning, and evolutionary computing. Fuzzy logic has the ability to develop fuzzy system that is intelligent system in uncertain environment. Some stages in fuzzy system formation process is input and output analysis, determining input and output variable, defining each fuzzy set member function, determining rules based on experience or knowledge of an expert in his field, and implementing fuzzy system. Overall, fuzzy logic uses simple mathematical concept, understandable, detectable uncertain and accurate data. Fuzzy system could create and apply expert experiences directly without exercise process and effort to decode the knowledge into a computer until becoming a modeling system that could be relied on decision making.

Integrating Fuzzy AHP and Fuzzy ARAS for evaluating financial performance

Directory of Open Access Journals (Sweden)

Abdolhamid Safaei Ghadikolaei

2014-09-01

Full Text Available Multi Criteria Decision Making (MCDM is an advanced field of Operation Research; recently MCDM methods are efficient and common tools for performance evaluation in many areas such as finance and economy. The aim of this study is to show one of applications of mathematics in real word. This study with considering value based measures and accounting based measures simultaneously, provided a hybrid approach of MCDM methods in fuzzy environment for financial performance evaluation of automotive and parts manufacturing industry of Tehran stock exchange (TSE.for this purpose Fuzzy analytic hierarchy process (FAHP is applied to determine the relative important of each criterion, then The companies are ranked according their financial performance by using fuzzy additive ratio assessment (Fuzzy ARAS method. The finding of this study showed effective of this approach in evaluating financial performance.

Fuzzy Graph Language Recognizability

OpenAIRE

Kalampakas , Antonios; Spartalis , Stefanos; Iliadis , Lazaros

2012-01-01

Part 5: Fuzzy Logic; International audience; Fuzzy graph language recognizability is introduced along the lines of the established theory of syntactic graph language recognizability by virtue of the algebraic structure of magmoids. The main closure properties of the corresponding class are investigated and several interesting examples of fuzzy graph languages are examined.

[New horizons in medicine. The application of "fuzzy logic" in clinical and experimental medicine].

Science.gov (United States)

Guarini, G

1994-06-01

In medicine, the study of physiological and physiopathological problems is generally programmed by elaborating models which respond to the principals of formal logic. This gives the advantage of favouring the transformation of the formal model into a mathematical model of reference which responds to the principles of the set theories. All this is in the utopian wish to obtain as a result of each research, a net answer whether positive or negative, according to the Aristotelian principal of tertium non datur. Taking this into consideration, the A. briefly traces the principles of modal logic and, in particular, those of fuzzy logic, proposing that the latter substitute the actual definition of "logic with more truth values", with that perhaps more pertinent of "logic of conditioned possibilities". After a brief synthesis on the state of the art on the application of fuzzy logic, the A. reports an example of graphic expression of fuzzy logic by demonstrating how the basic glycemic data (expressed by the vectors magnitude) revealed in a sample of healthy individuals, constituted on the whole an unbroken continuous stream of set partials. The A. calls attention to fuzzy logic as a useful instrument to elaborate in a new way the analysis of scenario qualified to acquire the necessary information to single out the critical points which characterize the potential development of any biological phenomenon.

Safety critical application of fuzzy control

International Nuclear Information System (INIS)

Schildt, G.H.

1995-01-01

After an introduction into safety terms a short description of fuzzy logic will be given. Especially, for safety critical applications of fuzzy controllers a possible controller structure will be described. The following items will be discussed: Configuration of fuzzy controllers, design aspects like fuzzfiication, inference strategies, defuzzification and types of membership functions. As an example a typical fuzzy rule set will be presented. Especially, real-time behaviour a fuzzy controllers is mentioned. An example of fuzzy controlling for temperature control purpose within a nuclear reactor together with membership functions and inference strategy of such a fuzzy controller will be presented. (author). 4 refs, 17 figs

Radiation protection and fuzzy set theory

International Nuclear Information System (INIS)

Nishiwaki, Y.

1993-01-01

In radiation protection we encounter a variety of sources of uncertainties which are due to fuzziness in our cognition or perception of objects. For systematic treatment of this type of uncertainty, the concepts of fuzzy sets or fuzzy measures could be applied to construct system models, which may take into consideration both subjective or intrinsic fuzziness and objective or extrinsic fuzziness. The theory of fuzzy sets and fuzzy measures is still in a developing stage, but its concept may be applied to various problems of subjective perception of risk, nuclear safety, radiation protection and also to the problems of man-machine interface and human factor engineering or ergonomic

Fuzziness and fuzzy modelling in Bulgaria's energy policy decision-making dilemma

International Nuclear Information System (INIS)

Wang Xingquan

2006-01-01

The decision complexity resulting from imprecision in decision variables and parameters, a major difficulty for conventional decision analysis methods, can be relevantly analysed and modelled by fuzzy logic. Bulgaria's nuclear policy decision-making process implicates such complexity of imprecise nature: stakeholders, criteria, measurement, etc. Given the suitable applicability of fuzzy logic in this case, this article tries to offer a concrete fuzzy paradigm including delimitation of decision space, quantification of imprecise variables, and, of course, parameterisation. (author)

Fuzzy combination of fuzzy and switching state-feedback controllers for nonlinear systems subject to parameter uncertainties.

Science.gov (United States)

Lam, H K; Leung, Frank H F

2005-04-01

This paper presents a fuzzy controller, which involves a fuzzy combination of local fuzzy and global switching state-feedback controllers, for nonlinear systems subject to parameter uncertainties with known bounds. The nonlinear system is represented by a fuzzy combined Takagi-Sugeno-Kang model, which is a fuzzy combination of the global and local fuzzy plant models. By combining the local fuzzy and global switching state-feedback controllers using fuzzy logic techniques, the advantages of both controllers can be retained and the undesirable chattering effect introduced by the global switching state-feedback controller can be eliminated. The steady-state error introduced by the global switching state-feedback controller when a saturation function is used can also be removed. Stability conditions, which are related to the system matrices of the local and global closed-loop systems, are derived to guarantee the closed-loop system stability. An application example will be given to demonstrate the merits of the proposed approach.

[Predicting Incidence of Hepatitis E in Chinausing Fuzzy Time Series Based on Fuzzy C-Means Clustering Analysis].

Science.gov (United States)

Luo, Yi; Zhang, Tao; Li, Xiao-song

2016-05-01

To explore the application of fuzzy time series model based on fuzzy c-means clustering in forecasting monthly incidence of Hepatitis E in mainland China. Apredictive model (fuzzy time series method based on fuzzy c-means clustering) was developed using Hepatitis E incidence data in mainland China between January 2004 and July 2014. The incidence datafrom August 2014 to November 2014 were used to test the fitness of the predictive model. The forecasting results were compared with those resulted from traditional fuzzy time series models. The fuzzy time series model based on fuzzy c-means clustering had 0.001 1 mean squared error (MSE) of fitting and 6.977 5 x 10⁻⁴ MSE of forecasting, compared with 0.0017 and 0.0014 from the traditional forecasting model. The results indicate that the fuzzy time series model based on fuzzy c-means clustering has a better performance in forecasting incidence of Hepatitis E.

The foundations of fuzzy control

CERN Document Server

Lewis, Harold W

1997-01-01

Harold Lewis applied a cross-disciplinary approach in his highly accessible discussion of fuzzy control concepts. With the aid of fifty-seven illustrations, he thoroughly presents a unique mathematical formalism to explain the workings of the fuzzy inference engine and a novel test plant used in the research. Additionally, the text posits a new viewpoint on why fuzzy control is more popular in some countries than in others. A direct and original view of Japanese thinking on fuzzy control methods, based on the author's personal knowledge of - and association with - Japanese fuzzy research, is also included.

Introduction to fuzzy logic using Matlab

CERN Document Server

Sivanandam, SN; Deepa, S N

2006-01-01

Fuzzy Logic, at present is a hot topic, among academicians as well various programmers. This book is provided to give a broad, in-depth overview of the field of Fuzzy Logic. The basic principles of Fuzzy Logic are discussed in detail with various solved examples. The different approaches and solutions to the problems given in the book are well balanced and pertinent to the Fuzzy Logic research projects. The applications of Fuzzy Logic are also dealt to make the readers understand the concept of Fuzzy Logic. The solutions to the problems are programmed using MATLAB 6.0 and the simulated results are given. The MATLAB Fuzzy Logic toolbox is provided for easy reference.

A Fuzzy Query Mechanism for Human Resource Websites

Science.gov (United States)

Lai, Lien-Fu; Wu, Chao-Chin; Huang, Liang-Tsung; Kuo, Jung-Chih

Users' preferences often contain imprecision and uncertainty that are difficult for traditional human resource websites to deal with. In this paper, we apply the fuzzy logic theory to develop a fuzzy query mechanism for human resource websites. First, a storing mechanism is proposed to store fuzzy data into conventional database management systems without modifying DBMS models. Second, a fuzzy query language is proposed for users to make fuzzy queries on fuzzy databases. User's fuzzy requirement can be expressed by a fuzzy query which consists of a set of fuzzy conditions. Third, each fuzzy condition associates with a fuzzy importance to differentiate between fuzzy conditions according to their degrees of importance. Fourth, the fuzzy weighted average is utilized to aggregate all fuzzy conditions based on their degrees of importance and degrees of matching. Through the mutual compensation of all fuzzy conditions, the ordering of query results can be obtained according to user's preference.

Fuzzy Rough Ring and Its Prop erties

Institute of Scientific and Technical Information of China (English)

REN Bi-jun; FU Yan-ling

2013-01-01

This paper is devoted to the theories of fuzzy rough ring and its properties. The fuzzy approximation space generated by fuzzy ideals and the fuzzy rough approximation operators were proposed in the frame of fuzzy rough set model. The basic properties of fuzzy rough approximation operators were analyzed and the consistency between approximation operators and the binary operation of ring was discussed.

CHARACTERIZATIONS OF FUZZY SOFT PRE SEPARATION AXIOMS

OpenAIRE

El-Latif, Alaa Mohamed Abd

2015-01-01

− The notions of fuzzy pre open soft sets and fuzzy pre closed soft sets were introducedby Abd El-latif et al. [2]. In this paper, we continue the study on fuzzy soft topological spaces andinvestigate the properties of fuzzy pre open soft sets, fuzzy pre closed soft sets and study variousproperties and notions related to these structures. In particular, we study the relationship betweenfuzzy pre soft interior fuzzy pre soft closure. Moreover, we study the properties of fuzzy soft pre regulars...

Fuzzy Constraint-Based Agent Negotiation

Institute of Scientific and Technical Information of China (English)

Menq-Wen Lin; K. Robert Lai; Ting-Jung Yu

2005-01-01

Conflicts between two or more parties arise for various reasons and perspectives. Thus, resolution of conflicts frequently relies on some form of negotiation. This paper presents a general problem-solving framework for modeling multi-issue multilateral negotiation using fuzzy constraints. Agent negotiation is formulated as a distributed fuzzy constraint satisfaction problem (DFCSP). Fuzzy constrains are thus used to naturally represent each agent's desires involving imprecision and human conceptualization, particularly when lexical imprecision and subjective matters are concerned. On the other hand, based on fuzzy constraint-based problem-solving, our approach enables an agent not only to systematically relax fuzzy constraints to generate a proposal, but also to employ fuzzy similarity to select the alternative that is subject to its acceptability by the opponents. This task of problem-solving is to reach an agreement that benefits all agents with a high satisfaction degree of fuzzy constraints, and move towards the deal more quickly since their search focuses only on the feasible solution space. An application to multilateral negotiation of a travel planning is provided to demonstrate the usefulness and effectiveness of our framework.

Fuzzy Commitment

Science.gov (United States)

Juels, Ari

The purpose of this chapter is to introduce fuzzy commitment, one of the earliest and simplest constructions geared toward cryptography over noisy data. The chapter also explores applications of fuzzy commitment to two problems in data security: (1) secure management of biometrics, with a focus on iriscodes, and (2) use of knowledge-based authentication (i.e., personal questions) for password recovery.

Multi-dimensional Fuzzy Euler Approximation

Directory of Open Access Journals (Sweden)

Yangyang Hao

2017-05-01

Full Text Available Multi-dimensional Fuzzy differential equations driven by multi-dimen-sional Liu process, have been intensively applied in many fields. However, we can not obtain the analytic solution of every multi-dimensional fuzzy differential equation. Then, it is necessary for us to discuss the numerical results in most situations. This paper focuses on the numerical method of multi-dimensional fuzzy differential equations. The multi-dimensional fuzzy Taylor expansion is given, based on this expansion, a numerical method which is designed for giving the solution of multi-dimensional fuzzy differential equation via multi-dimensional Euler method will be presented, and its local convergence also will be discussed.

Modelling and analysis of workflow for lean supply chains

Science.gov (United States)

Ma, Jinping; Wang, Kanliang; Xu, Lida

2011-11-01

Cross-organisational workflow systems are a component of enterprise information systems which support collaborative business process among organisations in supply chain. Currently, the majority of workflow systems is developed in perspectives of information modelling without considering actual requirements of supply chain management. In this article, we focus on the modelling and analysis of the cross-organisational workflow systems in the context of lean supply chain (LSC) using Petri nets. First, the article describes the assumed conditions of cross-organisation workflow net according to the idea of LSC and then discusses the standardisation of collaborating business process between organisations in the context of LSC. Second, the concept of labelled time Petri nets (LTPNs) is defined through combining labelled Petri nets with time Petri nets, and the concept of labelled time workflow nets (LTWNs) is also defined based on LTPNs. Cross-organisational labelled time workflow nets (CLTWNs) is then defined based on LTWNs. Third, the article proposes the notion of OR-silent CLTWNS and a verifying approach to the soundness of LTWNs and CLTWNs. Finally, this article illustrates how to use the proposed method by a simple example. The purpose of this research is to establish a formal method of modelling and analysis of workflow systems for LSC. This study initiates a new perspective of research on cross-organisational workflow management and promotes operation management of LSC in real world settings.

Fuzzy Control Teaching Models

Directory of Open Access Journals (Sweden)

Klaus-Dietrich Kramer

2016-05-01

Full Text Available Many degree courses at technical universities include the subject of control systems engineering. As an addition to conventional approaches Fuzzy Control can be used to easily find control solutions for systems, even if they include nonlinearities. To support further educational training, models which represent a technical system to be controlled are required. These models have to represent the system in a transparent and easy cognizable manner. Furthermore, a programming tool is required that supports an easy Fuzzy Control development process, including the option to verify the results and tune the system behavior. In order to support the development process a graphical user interface is needed to display the fuzzy terms under real time conditions, especially with a debug system and trace functionality. The experiences with such a programming tool, the Fuzzy Control Design Tool (FHFCE Tool, and four fuzzy teaching models will be presented in this paper. The methodical and didactical objective in the utilization of these teaching models is to develop solution strategies using Computational Intelligence (CI applications for Fuzzy Controllers in order to analyze different algorithms of inference or defuzzyfication and to verify and tune those systems efficiently.

Fuzzy statistical decision-making theory and applications

CERN Document Server

Kabak, Özgür

2016-01-01

This book offers a comprehensive reference guide to fuzzy statistics and fuzzy decision-making techniques. It provides readers with all the necessary tools for making statistical inference in the case of incomplete information or insufficient data, where classical statistics cannot be applied. The respective chapters, written by prominent researchers, explain a wealth of both basic and advanced concepts including: fuzzy probability distributions, fuzzy frequency distributions, fuzzy Bayesian inference, fuzzy mean, mode and median, fuzzy dispersion, fuzzy p-value, and many others. To foster a better understanding, all the chapters include relevant numerical examples or case studies. Taken together, they form an excellent reference guide for researchers, lecturers and postgraduate students pursuing research on fuzzy statistics. Moreover, by extending all the main aspects of classical statistical decision-making to its fuzzy counterpart, the book presents a dynamic snapshot of the field that is expected to stimu...

Fuzzy Clustering Methods and their Application to Fuzzy Modeling

DEFF Research Database (Denmark)

Kroszynski, Uri; Zhou, Jianjun

1999-01-01

Fuzzy modeling techniques based upon the analysis of measured input/output data sets result in a set of rules that allow to predict system outputs from given inputs. Fuzzy clustering methods for system modeling and identification result in relatively small rule-bases, allowing fast, yet accurate....... An illustrative synthetic example is analyzed, and prediction accuracy measures are compared between the different variants...

A computationally efficient fuzzy control s

Directory of Open Access Journals (Sweden)

Abdel Badie Sharkawy

2013-12-01

Full Text Available This paper develops a decentralized fuzzy control scheme for MIMO nonlinear second order systems with application to robot manipulators via a combination of genetic algorithms (GAs and fuzzy systems. The controller for each degree of freedom (DOF consists of a feedforward fuzzy torque computing system and a feedback fuzzy PD system. The feedforward fuzzy system is trained and optimized off-line using GAs, whereas not only the parameters but also the structure of the fuzzy system is optimized. The feedback fuzzy PD system, on the other hand, is used to keep the closed-loop stable. The rule base consists of only four rules per each DOF. Furthermore, the fuzzy feedback system is decentralized and simplified leading to a computationally efficient control scheme. The proposed control scheme has the following advantages: (1 it needs no exact dynamics of the system and the computation is time-saving because of the simple structure of the fuzzy systems and (2 the controller is robust against various parameters and payload uncertainties. The computational complexity of the proposed control scheme has been analyzed and compared with previous works. Computer simulations show that this controller is effective in achieving the control goals.

Shapley's value for fuzzy games

Directory of Open Access Journals (Sweden)

Raúl Alvarado Sibaja

2009-02-01

Full Text Available This is the continuation of a previous article titled "Fuzzy Games", where I defined a new type of games based on the Multilinear extensions f, of characteristic functions and most of standard theorems for cooperative games also hold for this new type of games: The fuzzy games. Now we give some other properties and the extension of the definition of Shapley¨s Value for Fuzzy Games Keywords: game theory, fuzzy sets, multiattribute decisions.

FFLP problem with symmetric trapezoidal fuzzy numbers

Directory of Open Access Journals (Sweden)

Reza Daneshrad

2015-04-01

Full Text Available The most popular approach for solving fully fuzzy linear programming (FFLP problems is to convert them into the corresponding deterministic linear programs. Khan et al. (2013 [Khan, I. U., Ahmad, T., & Maan, N. (2013. A simplified novel technique for solving fully fuzzy linear programming problems. Journal of Optimization Theory and Applications, 159(2, 536-546.] claimed that there had been no method in the literature to find the fuzzy optimal solution of a FFLP problem without converting it into crisp linear programming problem, and proposed a technique for the same. Others showed that the fuzzy arithmetic operation used by Khan et al. (2013 had some problems in subtraction and division operations, which could lead to misleading results. Recently, Ezzati et al. (2014 [Ezzati, R., Khorram, E., & Enayati, R. (2014. A particular simplex algorithm to solve fuzzy lexicographic multi-objective linear programming problems and their sensitivity analysis on the priority of the fuzzy objective functions. Journal of Intelligent and Fuzzy Systems, 26(5, 2333-2358.] defined a new operation on symmetric trapezoidal fuzzy numbers and proposed a new algorithm to find directly a lexicographic/preemptive fuzzy optimal solution of a fuzzy lexicographic multi-objective linear programming problem by using new fuzzy arithmetic operations, but their model was not fully fuzzy optimization. In this paper, a new method, by using Ezzati et al. (2014’s fuzzy arithmetic operation and a fuzzy version of simplex algorithm, is proposed for solving FFLP problem whose parameters are represented by symmetric trapezoidal fuzzy number without converting the given problem into crisp equivalent problem. By using the proposed method, the fuzzy optimal solution of FFLP problem can be easily obtained. A numerical example is provided to illustrate the proposed method.

Effectiveness of Securities with Fuzzy Probabilistic Return

Directory of Open Access Journals (Sweden)

Krzysztof Piasecki

2011-01-01

Full Text Available The generalized fuzzy present value of a security is defined here as fuzzy valued utility of cash flow. The generalized fuzzy present value cannot depend on the value of future cash flow. There exists such a generalized fuzzy present value which is not a fuzzy present value in the sense given by some authors. If the present value is a fuzzy number and the future value is a random one, then the return rate is given as a probabilistic fuzzy subset on a real line. This kind of return rate is called a fuzzy probabilistic return. The main goal of this paper is to derive the family of effective securities with fuzzy probabilistic return. Achieving this goal requires the study of the basic parameters characterizing fuzzy probabilistic return. Therefore, fuzzy expected value and variance are determined for this case of return. These results are a starting point for constructing a three-dimensional image. The set of effective securities is introduced as the Pareto optimal set determined by the maximization of the expected return rate and minimization of the variance. Finally, the set of effective securities is distinguished as a fuzzy set. These results are obtained without the assumption that the distribution of future values is Gaussian. (original abstract

Application of fuzzy logic to social choice theory

CERN Document Server

Mordeson, John N; Clark, Terry D

2015-01-01

Fuzzy social choice theory is useful for modeling the uncertainty and imprecision prevalent in social life yet it has been scarcely applied and studied in the social sciences. Filling this gap, Application of Fuzzy Logic to Social Choice Theory provides a comprehensive study of fuzzy social choice theory.The book explains the concept of a fuzzy maximal subset of a set of alternatives, fuzzy choice functions, the factorization of a fuzzy preference relation into the ""union"" (conorm) of a strict fuzzy relation and an indifference operator, fuzzy non-Arrowian results, fuzzy versions of Arrow's

Working towards an international consensus on criteria for assessing internet gaming disorder: a critical commentary on Petry et al. (2014)

OpenAIRE

GRIFFITHS, MARK D.; VAN ROOIJ, ANTONIUS J.; KARDEFELT-WINTHER, DANIEL; STARCEVIC, VLADAN; KIRÁLY, ORSOLYA; PALLESEN, STÅLE; MÜLLER, KAI; DREIER, MICHAEL; CARRAS, MICHELLE; PRAUSE, NICOLE; KING, DANIEL L.; ABOUJAOUDE, ELLIAS; KUSS, DARIA J.; PONTES, HALLEY M.; FERNANDEZ, OLATZ LOPEZ

2016-01-01

This commentary paper critically discusses the recent debate paper by Petry et al. (2014) that argued there was now an international consensus for assessing Internet Gaming Disorder (IGD). Our collective opinions vary considerably regarding many different aspects of online gaming. However, we contend that the paper by Petry and colleagues does not provide a true and representative international community of researchers in this area. This paper critically discusses and provides ...

Implementation of Steiner point of fuzzy set.

Science.gov (United States)

Liang, Jiuzhen; Wang, Dejiang

2014-01-01

This paper deals with the implementation of Steiner point of fuzzy set. Some definitions and properties of Steiner point are investigated and extended to fuzzy set. This paper focuses on establishing efficient methods to compute Steiner point of fuzzy set. Two strategies of computing Steiner point of fuzzy set are proposed. One is called linear combination of Steiner points computed by a series of crisp α-cut sets of the fuzzy set. The other is an approximate method, which is trying to find the optimal α-cut set approaching the fuzzy set. Stability analysis of Steiner point of fuzzy set is also studied. Some experiments on image processing are given, in which the two methods are applied for implementing Steiner point of fuzzy image, and both strategies show their own advantages in computing Steiner point of fuzzy set.

On Modeling the Behavior of Comparators for Complex Fuzzy Objects in a Fuzzy Object-Relational Database Management System

Directory of Open Access Journals (Sweden)

JuanM. Medina

2012-08-01

Full Text Available This paper proposes a parameterized definition for fuzzy comparators on complex fuzzy datatypes like fuzzy collections with conjunctive semantics and fuzzy objects. This definition and its implementation on a Fuzzy Object-Relational Database Management System (FORDBMS provides the designer with a powerful tool to adapt the behavior of these operators to the semantics of the considered application.

Perti Net-Based Workflow Access Control Model%基于Perti网的工作流访问控制模型研究

Institute of Scientific and Technical Information of China (English)

陈卓; 骆婷; 石磊; 洪帆

2004-01-01

Access control is an important protection mechanism for information systems.This paper shows how to make access control in workflow system.We give a workflow access control model (WACM) based on several current access control models.The model supports roles assignment and dynamic authorization.The paper defines the workflow using Petri net.It firstly gives the definition and description of the workflow, and then analyzes the architecture of the workflow access control model (WACM).Finally, an example of an e-commerce workflow access control model is discussed in detail.

Metamathematics of fuzzy logic

CERN Document Server

Hájek, Petr

1998-01-01

This book presents a systematic treatment of deductive aspects and structures of fuzzy logic understood as many valued logic sui generis. Some important systems of real-valued propositional and predicate calculus are defined and investigated. The aim is to show that fuzzy logic as a logic of imprecise (vague) propositions does have well-developed formal foundations and that most things usually named `fuzzy inference' can be naturally understood as logical deduction.

Modeling integrated cellular machinery using hybrid Petri-Boolean networks.

Directory of Open Access Journals (Sweden)

Natalie Berestovsky

Full Text Available The behavior and phenotypic changes of cells are governed by a cellular circuitry that represents a set of biochemical reactions. Based on biological functions, this circuitry is divided into three types of networks, each encoding for a major biological process: signal transduction, transcription regulation, and metabolism. This division has generally enabled taming computational complexity dealing with the entire system, allowed for using modeling techniques that are specific to each of the components, and achieved separation of the different time scales at which reactions in each of the three networks occur. Nonetheless, with this division comes loss of information and power needed to elucidate certain cellular phenomena. Within the cell, these three types of networks work in tandem, and each produces signals and/or substances that are used by the others to process information and operate normally. Therefore, computational techniques for modeling integrated cellular machinery are needed. In this work, we propose an integrated hybrid model (IHM that combines Petri nets and Boolean networks to model integrated cellular networks. Coupled with a stochastic simulation mechanism, the model simulates the dynamics of the integrated network, and can be perturbed to generate testable hypotheses. Our model is qualitative and is mostly built upon knowledge from the literature and requires fine-tuning of very few parameters. We validated our model on two systems: the transcriptional regulation of glucose metabolism in human cells, and cellular osmoregulation in S. cerevisiae. The model produced results that are in very good agreement with experimental data, and produces valid hypotheses. The abstract nature of our model and the ease of its construction makes it a very good candidate for modeling integrated networks from qualitative data. The results it produces can guide the practitioner to zoom into components and interconnections and investigate them

Comparison between genetic fuzzy system and neuro fuzzy system to select oil wells for hydraulic fracturing; Comparacao entre genetic fuzzy system e neuro fuzzy system para selecao de pocos de petroleo para fraturamento hidraulico

Energy Technology Data Exchange (ETDEWEB)

Castro, Antonio Orestes de Salvo [PETROBRAS, Rio de Janeiro, RJ (Brazil); Ferreira Filho, Virgilio Jose Martins [Universidade Federal do Rio de Janeiro (UFRJ), RJ (Brazil)

2004-07-01

The hydraulic fracture operation is wide used to increase the oil wells production and to reduce formation damage. Reservoir studies and engineer analysis are made to select the wells for this kind of operation. As the reservoir parameters have some diffuses characteristics, Fuzzy Inference Systems (SIF) have been tested for this selection processes in the last few years. This paper compares the performance of a neuro fuzzy system and a genetic fuzzy system used for hydraulic Fracture well selection, with knowledge acquisition from an operational data base to set the SIF membership functions. The training data and the validation data used were the same for both systems. We concluded that, in despite of the genetic fuzzy system would be a younger process, it got better results than the neuro fuzzy system. Another conclusion was that, as the genetic fuzzy system can work with constraints, the membership functions setting kept the consistency of variables linguistic values. (author)

Construction of fuzzy automata by fuzzy experiments

International Nuclear Information System (INIS)

Mironov, A.

1994-01-01

The solving the problem of canonical realization of partial reaction morphisms (PRM) for automata in toposes and fuzzy automata is addressed. This problem extends the optimal construction problem for finite deterministic automata by experiments. In the present paper the conception of canonical realization of PRM for automata in toposes is introduced and the sufficient conditions for the existence of canonical realizations for PRM in toposes are presented. As a consequence of this result the existence of canonical realizations for PRM in the category of fuzzy sets over arbitrary complete chain is proven

Construction of fuzzy automata by fuzzy experiments

Energy Technology Data Exchange (ETDEWEB)

Mironov, A [Moscow Univ. (Russian Federation). Dept. of Mathematics and Computer Science

1994-12-31

The solving the problem of canonical realization of partial reaction morphisms (PRM) for automata in toposes and fuzzy automata is addressed. This problem extends the optimal construction problem for finite deterministic automata by experiments. In the present paper the conception of canonical realization of PRM for automata in toposes is introduced and the sufficient conditions for the existence of canonical realizations for PRM in toposes are presented. As a consequence of this result the existence of canonical realizations for PRM in the category of fuzzy sets over arbitrary complete chain is proven.

Image matching navigation based on fuzzy information

Institute of Scientific and Technical Information of China (English)

田玉龙; 吴伟仁; 田金文; 柳健

2003-01-01

In conventional image matching methods, the image matching process is mostly based on image statistic information. One aspect neglected by all these methods is that there is much fuzzy information contained in these images. A new fuzzy matching algorithm based on fuzzy similarity for navigation is presented in this paper. Because the fuzzy theory is of the ability of making good description of the fuzzy information contained in images, the image matching method based on fuzzy similarity would look forward to producing good performance results. Experimental results using matching algorithm based on fuzzy information also demonstrate its reliability and practicability.

Fuzzy Entropy： Axiomatic Definition and Neural Networks Model

Institute of Scientific and Technical Information of China (English)

QINGMing; CAOYue; HUANGTian-min

2004-01-01

The measure of uncertainty is adopted as a measure of information. The measures of fuzziness are known as fuzzy information measures. The measure of a quantity of fuzzy information gained from a fuzzy set or fuzzy system is known as fuzzy entropy. Fuzzy entropy has been focused and studied by many researchers in various fields. In this paper, firstly, the axiomatic definition of fuzzy entropy is discussed. Then, neural networks model of fuzzy entropy is proposed, based on the computing capability of neural networks. In the end, two examples are discussed to show the efficiency of the model.

On Intuitionistic Fuzzy Context-Free Languages

Directory of Open Access Journals (Sweden)

Jianhua Jin

2013-01-01

automata theory. Additionally, we introduce the concepts of Chomsky normal form grammar (IFCNF and Greibach normal form grammar (IFGNF based on intuitionistic fuzzy sets. The results of our study indicate that intuitionistic fuzzy context-free languages generated by IFCFGs are equivalent to those generated by IFGNFs and IFCNFs, respectively, and they are also equivalent to intuitionistic fuzzy recognizable step functions. Then some operations on the family of intuitionistic fuzzy context-free languages are discussed. Finally, pumping lemma for intuitionistic fuzzy context-free languages is investigated.

Fuzzy promises

DEFF Research Database (Denmark)

Anker, Thomas Boysen; Kappel, Klemens; Eadie, Douglas

2012-01-01

as narrative material to communicate self-identity. Finally, (c) we propose that brands deliver fuzzy experiential promises through effectively motivating consumers to adopt and play a social role implicitly suggested and facilitated by the brand. A promise is an inherently ethical concept and the article...... concludes with an in-depth discussion of fuzzy brand promises as two-way ethical commitments that put requirements on both brands and consumers....

On Intuitionistic Fuzzy Sets Theory

CERN Document Server

Atanassov, Krassimir T

2012-01-01

This book aims to be a  comprehensive and accurate survey of state-of-art research on intuitionistic fuzzy sets theory and could be considered a continuation and extension of the author´s previous book on Intuitionistic Fuzzy Sets, published by Springer in 1999 (Atanassov, Krassimir T., Intuitionistic Fuzzy Sets, Studies in Fuzziness and soft computing, ISBN 978-3-7908-1228-2, 1999). Since the aforementioned  book has appeared, the research activity of the author within the area of intuitionistic fuzzy sets has been expanding into many directions. The results of the author´s most recent work covering the past 12 years as well as the newest general ideas and open problems in this field have been therefore collected in this new book.

Business process modeling using Petri nets

NARCIS (Netherlands)

Hee, van K.M.; Sidorova, N.; Werf, van der J.M.E.M.; Jensen, K.; Aalst, van der W.M.P.; Balbo, G.; Koutny, M.; Wolf, K.

2013-01-01

Business process modeling has become a standard activity in many organizations. We start with going back into the history and explain why this activity appeared and became of such importance for organizations to achieve their business targets. We discuss the context in which business process

Special Section on Coloured Petri Nets

DEFF Research Database (Denmark)

Jensen, Kurt

2007-01-01

The development of modern distributed systems is an extremely challenging task, because the concurrency and non-determinism create an astronomical number of possible system states and execution sequences. Hence, it is easy for the human designer to miss important interaction patterns, leading...

Networks of Cells and Petri Nets

OpenAIRE

Bernardini, Francesco; Gheorgue, Marian; Margenstern, Maurice; Verlan, Sergey

2007-01-01

We introduce a new class of P systems, called networks of cells, with rules allowing several cells to simultaneously interact with each other in order to produce some new objects inside some other output cells. We define different types of behavior for networks of cells by considering alternative strategies for the application of the rules: sequential application, free parallelism, maximal parallelism, locally-maximal parallelism and minimal parallelism. We devise a way for tra...

The first order fuzzy predicate logic (I)

International Nuclear Information System (INIS)

Sheng, Y.M.

1986-01-01

Some analysis tools of fuzzy measures, Sugeno's integrals, etc. are introduced into the semantic of the first order predicate logic to explain the concept of fuzzy quantifiers. The truth value of a fuzzy quantification proposition is represented by Sugeno's integral. With this framework, several important notions of formation rules, fuzzy valutions and fuzzy validity are discussed

Theta-Generalized closed sets in fuzzy topological spaces

International Nuclear Information System (INIS)

El-Shafei, M.E.; Zakari, A.

2006-01-01

In this paper we introduce the concepts of theta-generalized closed fuzzy sets and generalized fuzzy sets in topological spaces. Furthermore, generalized fuzzy sets are extended to theta-generalized fuzzy sets. Also, we introduce the concepts of fuzzy theta-generalized continuous and fuzzy theta-generalized irresolute mappings. (author)

A new fuzzy regression model based on interval-valued fuzzy neural network and its applications to management

Directory of Open Access Journals (Sweden)

Somaye Yeylaghi

2017-06-01

Full Text Available In this paper, a novel hybrid method based on interval-valued fuzzy neural network for approximate of interval-valued fuzzy regression models, is presented. The work of this paper is an expansion of the research of real fuzzy regression models. In this paper interval-valued fuzzy neural network (IVFNN can be trained with crisp and interval-valued fuzzy data. Here a neural network is considered as a part of a large field called neural computing or soft computing. Moreover, in order to find the approximate parameters, a simple algorithm from the cost function of the fuzzy neural network is proposed. Finally, we illustrate our approach by some numerical examples and compare this method with existing methods.

Waste management under multiple complexities: Inexact piecewise-linearization-based fuzzy flexible programming

International Nuclear Information System (INIS)

Sun Wei; Huang, Guo H.; Lv Ying; Li Gongchen

2012-01-01

Highlights: ► Inexact piecewise-linearization-based fuzzy flexible programming is proposed. ► It’s the first application to waste management under multiple complexities. ► It tackles nonlinear economies-of-scale effects in interval-parameter constraints. ► It estimates costs more accurately than the linear-regression-based model. ► Uncertainties are decreased and more satisfactory interval solutions are obtained. - Abstract: To tackle nonlinear economies-of-scale (EOS) effects in interval-parameter constraints for a representative waste management problem, an inexact piecewise-linearization-based fuzzy flexible programming (IPFP) model is developed. In IPFP, interval parameters for waste amounts and transportation/operation costs can be quantified; aspiration levels for net system costs, as well as tolerance intervals for both capacities of waste treatment facilities and waste generation rates can be reflected; and the nonlinear EOS effects transformed from objective function to constraints can be approximated. An interactive algorithm is proposed for solving the IPFP model, which in nature is an interval-parameter mixed-integer quadratically constrained programming model. To demonstrate the IPFP’s advantages, two alternative models are developed to compare their performances. One is a conventional linear-regression-based inexact fuzzy programming model (IPFP2) and the other is an IPFP model with all right-hand-sides of fussy constraints being the corresponding interval numbers (IPFP3). The comparison results between IPFP and IPFP2 indicate that the optimized waste amounts would have the similar patterns in both models. However, when dealing with EOS effects in constraints, the IPFP2 may underestimate the net system costs while the IPFP can estimate the costs more accurately. The comparison results between IPFP and IPFP3 indicate that their solutions would be significantly different. The decreased system uncertainties in IPFP’s solutions demonstrate

Fuzzy GML Modeling Based on Vague Soft Sets

Directory of Open Access Journals (Sweden)

Bo Wei

2017-01-01

Full Text Available The Open Geospatial Consortium (OGC Geography Markup Language (GML explicitly represents geographical spatial knowledge in text mode. All kinds of fuzzy problems will inevitably be encountered in spatial knowledge expression. Especially for those expressions in text mode, this fuzziness will be broader. Describing and representing fuzziness in GML seems necessary. Three kinds of fuzziness in GML can be found: element fuzziness, chain fuzziness, and attribute fuzziness. Both element fuzziness and chain fuzziness belong to the reflection of the fuzziness between GML elements and, then, the representation of chain fuzziness can be replaced by the representation of element fuzziness in GML. On the basis of vague soft set theory, two kinds of modeling, vague soft set GML Document Type Definition (DTD modeling and vague soft set GML schema modeling, are proposed for fuzzy modeling in GML DTD and GML schema, respectively. Five elements or pairs, associated with vague soft sets, are introduced. Then, the DTDs and the schemas of the five elements are correspondingly designed and presented according to their different chains and different fuzzy data types. While the introduction of the five elements or pairs is the basis of vague soft set GML modeling, the corresponding DTD and schema modifications are key for implementation of modeling. The establishment of vague soft set GML enables GML to represent fuzziness and solves the problem of lack of fuzzy information expression in GML.

On rarely generalized regular fuzzy continuous functions in fuzzy topological spaces