Stochastic petri nets for wireless networks
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
Fluid Stochastic Petri Nets: Theory, Applications, and Solution
Horton, Graham; Kulkarni, Vidyadhar G.; Nicol, David M.; Trivedi, Kishor S.
1996-01-01
In this paper we introduce a new class of stochastic Petri nets in which one or more places can hold fluid rather than discrete tokens. We define a class of fluid stochastic Petri nets in such a way that the discrete and continuous portions may affect each other. Following this definition we provide equations for their transient and steady-state behavior. We present several examples showing the utility of the construct in communication network modeling and reliability analysis, and discuss important special cases. We then discuss numerical methods for computing the transient behavior of such nets. Finally, some numerical examples are presented.
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)
Indian Academy of Sciences (India)
Modeling is a central part of all activities that lead up to the design, implementation, and deployment ... The primary motivation behind. Petri's work was to model concurrency and ... Technology became a leading centre for Petri net research and from then on, Petri nets became an active research area in several universities, ...
Indian Academy of Sciences (India)
Institute of Science,. Bangalore. His research interests are broadly in the areas .... Qualitative Analysis: The Petri net model can be sub- jected to qualitative analysis to check system .... Performance evaluation of complex manufacturing architectures, leading to the design of optimal manufacturing strategies. • Modeling and ...
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. Fulltext. Click here to view fulltext PDF. Permanent link: http://www.ias.ac.in/article/fulltext/reso/004/09/0044-0052. Author Affiliations. Y Narahari ...
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.
Indian Academy of Sciences (India)
The primary motivation behind. Petri's work was to model concurrency and asynchronism in distributed systems through a formalism more powerful than finite state automata. Petri's pathbreaking work came to the attention of A W Holt in the mid-1960s. Holt led the Information System Theory project of Applied Data Research ...
Research on user behavior authentication model based on stochastic Petri nets
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.
Fuzzy Stochastic Petri Nets for Modeling Biological Systems with Uncertain Kinetic Parameters.
Liu, Fei; Heiner, Monika; Yang, Ming
2016-01-01
Stochastic Petri nets (SPNs) have been widely used to model randomness which is an inherent feature of biological systems. However, for many biological systems, some kinetic parameters may be uncertain due to incomplete, vague or missing kinetic data (often called fuzzy uncertainty), or naturally vary, e.g., between different individuals, experimental conditions, etc. (often called variability), which has prevented a wider application of SPNs that require accurate parameters. Considering the strength of fuzzy sets to deal with uncertain information, we apply a specific type of stochastic Petri nets, fuzzy stochastic Petri nets (FSPNs), to model and analyze biological systems with uncertain kinetic parameters. FSPNs combine SPNs and fuzzy sets, thereby taking into account both randomness and fuzziness of biological systems. For a biological system, SPNs model the randomness, while fuzzy sets model kinetic parameters with fuzzy uncertainty or variability by associating each parameter with a fuzzy number instead of a crisp real value. We introduce a simulation-based analysis method for FSPNs to explore the uncertainties of outputs resulting from the uncertainties associated with input parameters, which works equally well for bounded and unbounded models. We illustrate our approach using a yeast polarization model having an infinite state space, which shows the appropriateness of FSPNs in combination with simulation-based analysis for modeling and analyzing biological systems with uncertain information.
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.
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)
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
DEFF Research Database (Denmark)
Jensen, Kurt
1987-01-01
The author describes a Petri net model, called coloured Petri nets (CP-nets), by means of which it is possible to describe large systems without having to cope with unnecessary details. The author introduces CP-nets and provide a first impression of their modeling power and the suitability...
Modelling the protocol stack in NCS with deterministic and stochastic petri net
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.
DEFF Research Database (Denmark)
Westergaard, Michael
2006-01-01
This paper introduces the notion of game coloured Petri nets. This allows the modeler to explicitly model what parts of the model comprise the modeled system and what parts are the environment of the modeled system. We give the formal definition of game coloured Petri nets, a means of reachability...... analysis of this net class, and an application of game coloured Petri nets to automatically generate easy-to-understand visualizations of the model by exploiting the knowledge that some parts of the model are not interesting from a visualization perspective (i.e. they are part of the environment...
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.
Measure of Uncertainty in Process Models Using Stochastic Petri Nets and Shannon Entropy
Directory of Open Access Journals (Sweden)
Martin Ibl
2016-01-01
Full Text Available When modelling and analysing business processes, the main emphasis is usually put on model validity and accuracy, i.e., the model meets the formal specification and also models the relevant system. In recent years, a series of metrics has begun to develop, which allows the quantification of the specific properties of process models. These characteristics are, for instance, complexity, comprehensibility, cohesion, and uncertainty. This work is focused on defining a method that allows us to measure the uncertainty of a process model, which was modelled by using stochastic Petri nets (SPN. The principle of this method consists of mapping of all reachable marking of SPN into the continuous-time Markov chain and then calculating its stationary probabilities. The uncertainty is then measured as the entropy of the Markov chain (it is possible to calculate the uncertainty of the specific subset of places as well as of whole net. Alternatively, the uncertainty index is quantified as a percentage of the calculated entropy against maximum entropy (the resulting value is normalized to the interval <0,1>. The calculated entropy can also be used as a measure of the model complexity.
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...
Wingender, E
2011-01-01
It was suggested some years ago that Petri nets might be well suited to modeling metabolic networks, overcoming some of the limitations encountered by the use of systems employing ODEs (ordinary differential equations). Much work has been done since then which confirms this and demonstrates the usefulness of this concept for systems biology. Petri net technology is not only intuitively understood by scientists trained in the life sciences, it also has a robust mathematical foundation and provides the required degree of flexibility. As a result it appears to be a very promising approach to mode
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.
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...
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...
Business Process Modelling based on Petri nets
Directory of Open Access Journals (Sweden)
Qin Jianglong
2017-01-01
Full Text Available Business process modelling is the way business processes are expressed. Business process modelling is the foundation of business process analysis, reengineering, reorganization and optimization. It can not only help enterprises to achieve internal information system integration and reuse, but also help enterprises to achieve with the external collaboration. Based on the prototype Petri net, this paper adds time and cost factors to form an extended generalized stochastic Petri net. It is a formal description of the business process. The semi-formalized business process modelling algorithm based on Petri nets is proposed. Finally, The case from a logistics company proved that the modelling algorithm is correct and effective.
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...... and the immense number of possible execution sequences. In this textbook, Jensen and Kristensen introduce the constructs of the CPN modelling language and present the related analysis methods in detail. They also provide a comprehensive road map for the practical use of CPN by showcasing selected industrial case...... website that offers additional material such as slides, exercises and project proposals....
Directory of Open Access Journals (Sweden)
Hua He
2016-01-01
Full Text Available Performance evaluation of cloud computing systems studies the relationships among system configuration, system load, and performance indicators. However, such evaluation is not feasible by dint of measurement methods or simulation methods, due to the properties of cloud computing, such as large scale, diversity, and dynamics. To overcome those challenges, we present a novel Dynamic Scalable Stochastic Petri Net (DSSPN to model and analyze the performance of cloud computing systems. DSSPN can not only clearly depict system dynamic behaviors in an intuitive and efficient way but also easily discover performance deficiencies and bottlenecks of systems. In this study, we further elaborate some properties of DSSPN. In addition, we improve fair scheduling taking into consideration job diversity and resource heterogeneity. To validate the improved algorithm and the applicability of DSSPN, we conduct extensive experiments through Stochastic Petri Net Package (SPNP. The performance results show that the improved algorithm is better than fair scheduling in some key performance indicators, such as average throughput, response time, and average completion time.
DEFF Research Database (Denmark)
Engberg, Uffe Henrik; Winskel, Glynn
This article shows how individual Petri nets form models of Girard's intuitionistic linear logic. It explores questions of expressiveness and completeness of linear logic with respect to this interpretation. An aim is to use Petri nets to give an understanding of linear logic and give some apprai...
Directory of Open Access Journals (Sweden)
Dmitry A. Zaitsev
2013-09-01
Full Text Available A universal deterministic inhibitor Petri net with 14 places, 29 transitions and 138 arcs was constructed via simulation of Neary and Woods' weakly universal Turing machine with 2 states and 4 symbols; the total time complexity is exponential in the running time of their weak machine. To simulate the blank words of the weakly universal Turing machine, a couple of dedicated transitions insert their codes when reaching edges of the working zone. To complete a chain of a given Petri net encoding to be executed by the universal Petri net, a translation of a bi-tag system into a Turing machine was constructed. The constructed Petri net is universal in the standard sense; a weaker form of universality for Petri nets was not introduced in this work.
DEFF Research Database (Denmark)
High-level Petri nets are now widely used in both theoretical analysis and practical modelling of concurrent systems. The main reason for the success of this class of net models is that they make it possible to obtain much more succinct and manageable descriptions than can be obtained by means...... of some of the most important papers on the application and theory of high-level Petri nets. In this way it makes the relevant literature more available. It is our hope that the book will be a useful source of information and that, e.g., it can be used in the organization of Petri net courses. To make...
Discrete, continuous, and hybrid petri nets
David, René
2004-01-01
Petri nets do not designate a single modeling formalism. In fact, newcomers to the field confess sometimes to be a little puzzled by the diversity of formalisms that are recognized under this "umbrella". Disregarding some extensions to the theoretical modeling capabilities, and looking at the level of abstraction of the formalisms, Condition/Event, Elementary, Place/Transition, Predicate/Transition, Colored, Object Oriented... net systems are frequently encountered in the literature. On the other side, provided with appropriate interpretative extensions, Controled Net Systems, Marking Diagrams (the Petri net generalization of State Diagrams), or the many-many variants in which time can be explicitly incorporated -Time(d), Deterministic, (Generalized) Stochastic, Fuzzy...- are defined. This represents another way to define practical formalisms that can be obtained by the "cro- product" of the two mentioned dimensions. Thus Petri nets constitute a modeling paradigm, understandable in a broad sense as "the total...
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...... how the Petri-net semantics can be used to prove security properties....
Hierarchies in Coloured Petri Nets
DEFF Research Database (Denmark)
Huber, Peter; Jensen, Kurt; Shapiro, Robert M.
1991-01-01
The paper shows how to extend Coloured Petri Nets with a hierarchy concept. The paper proposes five different hierarchy constructs, which allow the analyst to structure large CP-nets as a set of interrelated subnets (called pages). The paper discusses the properties of the proposed hierarchy cons...... tool package (see [1–5])....
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
Annotating Coloured Petri Nets
DEFF Research Database (Denmark)
Lindstrøm, Bo; Wells, Lisa Marie
2002-01-01
a method which makes it possible to associate auxiliary information, called annotations, with tokens without modifying the colour sets of the CP-net. Annotations are pieces of information that are not essential for determining the behaviour of the system being modelled, but are rather added to support...... a certain use of the CP-net. We define the semantics of annotations by describing a translation from a CP-net and the corresponding annotation layers to another CP-net where the annotations are an integrated part of the CP-net....
Special Section on Coloured Petri Nets
DEFF Research Database (Denmark)
1998-01-01
Special section on coloured Petri nets, their basic concepts, analysis methods, tool support and industrial applications.......Special section on coloured Petri nets, their basic concepts, analysis methods, tool support and industrial applications....
Delta Semantics Defined By Petri Nets
DEFF Research Database (Denmark)
Jensen, Kurt; Kyng, Morten; Madsen, Ole Lehrmann
and the possibility of using predicates to specify state changes. In this paper a formal semantics for Delta is defined and analysed using Petri nets. Petri nets was chosen because the ideas behind Petri nets and Delta concide on several points. A number of proposals for changes in Delta, which resulted from...
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....
Towards a Standard for Modular Petri Nets
DEFF Research Database (Denmark)
Kindler, Ekkart; Petrucci, Laure
2009-01-01
When designing complex systems, mechanisms for structuring, composing, and reusing system components are crucial. Today, there are many approaches for equipping Petri nets with such mechanisms. In the context of defining a standard interchange format for Petri nets, modular PNML was defined...... as a mechanism for modules in Petri nets that is independent from a particular version of Petri nets and that can mimic many composition mechanisms by a simple import and export concept. Due to its generality, the semantics of modular PNML was only informally defined. Moreover, modular PNML did not define which...
Symmetric Cryptosystem Based on Petri Net
Directory of Open Access Journals (Sweden)
Hussein A. Lafta
2017-12-01
Full Text Available In this wok, a novel approach based on ordinary Petri net is used to generate private key . The reachability marking of petri net is used as encryption/decryption key to provide more complex key . The same ordinary Petri Nets models are used for the sender(encryption and the receiver(decryption.The plaintext has been permutated using look-up table ,and XOR-ed with key to generate cipher text
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…
Parallelizing Timed Petri Net simulations
Nicol, David M.
1993-01-01
The possibility of using parallel processing to accelerate the simulation of Timed Petri Nets (TPN's) was studied. It was recognized that complex system development tools often transform system descriptions into TPN's or TPN-like models, which are then simulated to obtain information about system behavior. Viewed this way, it was important that the parallelization of TPN's be as automatic as possible, to admit the possibility of the parallelization being embedded in the system design tool. Later years of the grant were devoted to examining the problem of joint performance and reliability analysis, to explore whether both types of analysis could be accomplished within a single framework. In this final report, the results of our studies are summarized. We believe that the problem of parallelizing TPN's automatically for MIMD architectures has been almost completely solved for a large and important class of problems. Our initial investigations into joint performance/reliability analysis are two-fold; it was shown that Monte Carlo simulation, with importance sampling, offers promise of joint analysis in the context of a single tool, and methods for the parallel simulation of general Continuous Time Markov Chains, a model framework within which joint performance/reliability models can be cast, were developed. However, very much more work is needed to determine the scope and generality of these approaches. The results obtained in our two studies, future directions for this type of work, and a list of publications are included.
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...... 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...... of an industrial-sized system using coloured Petri nets and the improved performance facilities that are described in the first paper. The case study demonstrated that typical users of coloured Petri nets are not experienced performance analysts, and that this fact ought to be taken into consideration when...
Homology Groups of a Pipeline Petri Net
Directory of Open Access Journals (Sweden)
A. A. Husainov
2013-01-01
Full Text Available Petri net is said to be elementary if every place can contain no more than one token. In this paper, it is studied topological properties of the elementary Petri net for a pipeline consisting of n functional devices. If the work of the functional devices is considered continuous, we can come to some topological space of “intermediate” states. In the paper, it is calculated the homology groups of this topological space. By induction on n, using the Addition Sequence for homology groups of semicubical sets, it is proved that in dimension 0 and 1 the integer homology groups of these nets are equal to the group of integers, and in the remaining dimensions are zero. Directed homology groups are studied. A connection of these groups with deadlocks and newsletters is found. This helps to prove that all directed homology groups of the pipeline elementary Petri nets are zeroth.
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...
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......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...
SOFTWARE DESIGN MODELLING WITH FUNCTIONAL PETRI NETS
African Journals Online (AJOL)
Dr Obe
Mathematics and Physics at the Technische. Universitat Darmstadt, Germany [9]. Since then the use and study .... to its output places by 1, in one multiple assignment. The iteration construct is adirect consequence of ... synchronization, parallelism, choice, and iteration. However, Petri nets describing real processes tend to ...
State Space Methods for Timed Petri Nets
DEFF Research Database (Denmark)
Christensen, Søren; Jensen, Kurt; Mailund, Thomas
2001-01-01
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...
Regular Event Structures and Finite Petri Nets
DEFF Research Database (Denmark)
Nielsen, M.; Thiagarajan, P.S.
2002-01-01
We present the notion of regular event structures and conjecture that they correspond exactly to finite 1-safe Petri nets. We show that the conjecture holds for the conflict-free case. Even in this restricted setting, the proof is non-trivial and involves a natural subclass of regular event...
The equivalency between logic Petri workflow nets and workflow nets.
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.
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...
A new variant of Petri net controlled grammars
Jan, Nurhidaya Mohamad; Turaev, Sherzod; Fong, Wan Heng; Sarmin, Nor Haniza
2015-10-01
A Petri net controlled grammar is a Petri net with respect to a context-free grammar where the successful derivations of the grammar can be simulated using the occurrence sequences of the net. In this paper, we introduce a new variant of Petri net controlled grammars, called a place-labeled Petri net controlled grammar, which is a context-free grammar equipped with a Petri net and a function which maps places of the net to productions of the grammar. The language consists of all terminal strings that can be obtained by parallelly applying multisets of the rules which are the images of the sets of the input places of transitions in a successful occurrence sequence of the Petri net. We study the effect of the different labeling strategies to the computational power and establish lower and upper bounds for the generative capacity of place-labeled Petri net controlled grammars.
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)
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
A Petri Nets Model for Blockchain Analysis
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...
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...
Modeling of Biometric Identification System Using the Colored Petri Nets
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.
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...... the boundaries of automatic verification and the connections between TAPN and the model of timed automata. Finally, we will mention the tool TAPAAL that supports modelling, simulation and verification of TAPN and discuss a small case study of alternating bit protocol....
How to model normative behavior in Petri nets
Raskin, J.-F.; Tan, Yao-Hua; Torre, L.W.N.
1996-01-01
textabstractIn this paper, we show how to extend the Petri net formalism to represent different types of behavior, in particular normative behavior. This extension is motivated by the use of Petri nets to model bureaucratic procedures, which contain normative aspects like obligations and permissions. We propose to extend Petri nets with a preference relation, a well-known mechanism from deontic logic to discriminate between ideal and varying sub-ideal states.
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...
Modeling of water treatment plant using timed continuous Petri nets
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.
How to model normative behavior in Petri nets
J.-F. Raskin; Y-H. Tan (Yao-Hua); L.W.N. van der Torre
1996-01-01
textabstractIn this paper, we show how to extend the Petri net formalism to represent different types of behavior, in particular normative behavior. This extension is motivated by the use of Petri nets to model bureaucratic procedures, which contain normative aspects like obligations and
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 ...
PETRI NET MODELING OF COMPUTER VIRUS LIFE CYCLE
African Journals Online (AJOL)
Dr Obe
ABSTRACT. 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.
An Introduction to the Practical Use of Coloured Petri Nets
DEFF Research Database (Denmark)
Jensen, Kurt
1998-01-01
this, we have combined the strength of Petri nets with the strength of programming languages. Petri nets provide the primitives for describing synchronisation of concurrent processes, while programming languages provide the primitives for definition of data types and manipulation of their data values......The development of Coloured Petri Nets (CP-nets or CPN) has been driven by the desire to develop a modelling language - at the same time theoretically well-founded and versatile enough to be used in practice for systems of the size and complexity found in typical industrial projects. To achieve....... The paper focuses on the practical use of Coloured Petri Nets. It introduces the basic ideas behind the CPN language, and it illustrates how CPN models can be analysed by means of simulation, state spaces and condensed state spaces. The paper also describes how CP-nets can be extended with a time concept...
Practical Use of High-level Petri Net
DEFF Research Database (Denmark)
The aim of the workshop is to bring together researchers and practitioners with interests in the use of high-level nets and their tools for practical applications. A typical paper is expected to report on a case study where high-level Petri nets and their tools have been used in practice. We also...... welcome papers describing a tool, a methodology, or other developments that have proved successful to make high-level Petri nets more applicable in practice....
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
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.
A Fuzzy Petri Nets System for Heart Disease Diagnosis
Directory of Open Access Journals (Sweden)
Hussin Attya Lafta
2017-02-01
Full Text Available In this paper we have proposed a Fuzzy Petri Nets Expert System for heart disease diagnosis. The aim of the proposed system is simulating experience of experts in Diagnosis Heart Disease stage, based on Fuzzy Rule System and modeling reasoning operation by using Fuzzy Petri Nets. The database taken from Machine Learning Repository Center for machine learning and intelligent system. The system has 11 input fields and one output field. The accuracy of proposed system is 75%.
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.......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....
A Fuzzy Petri Nets Model for Computing With Words
Cao, Yongzhi; Chen, Guoqing
2009-01-01
Motivated by Zadeh's paradigm of computing with words rather than numbers, several formal models of computing with words have recently been proposed. These models are based on automata and thus are not well-suited for concurrent computing. In this paper, we incorporate the well-known model of concurrent computing, Petri nets, together with fuzzy set theory and thereby establish a concurrency model of computing with words--fuzzy Petri nets for computing with words (FPNCWs). The new feature of ...
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)
Scheduling multirobot operations in manufacturing by truncated Petri nets
Chen, Qin; Luh, J. Y.
1995-08-01
Scheduling of operational sequences in manufacturing processes is one of the important problems in automation. Methods of applying Petri nets to model and analyze the problem with constraints on precedence relations, multiple resources allocation, etc. have been available in literature. Searching for an optimum schedule can be implemented by combining the branch-and-bound technique with the execution of the timed Petri net. The process usually produces a large Petri net which is practically not manageable. This disadvantage, however, can be handled by a truncation technique which divides the original large Petri net into several smaller size subnets. The complexity involved in the analysis of each subnet individually is greatly reduced. However, when the locally optimum schedules of the resulting subnets are combined together, it may not yield an overall optimum schedule for the original Petri net. To circumvent this problem, algorithms are developed based on the concepts of Petri net execution and modified branch-and-bound process. The developed technique is applied to a multi-robot task scheduling problem of the manufacturing work cell.
An Introduction to the Theoretical Aspects of Coloured Petri nets
DEFF Research Database (Denmark)
Jensen, Kurt
1994-01-01
This paper presents the basic theoretical aspects of Coloured Petri Nets (CP-nets or CPN). 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...
Confusion Control in Generalized Petri Nets Using Synchronized Events
Directory of Open Access Journals (Sweden)
Xiaoliang Chen
2015-01-01
Full Text Available The loss of conflicting information in a Petri net (PN, usually called confusions, leads to incomplete and faulty system behavior. Confusions, as an unfortunate phenomenon in discrete event systems modeled with Petri nets, are caused by the frequent interlacement of conflicting and concurrent transitions. In this paper, confusions are defined and investigated in bounded generalized PNs. A reasonable control strategy for conflicts and confusions in a PN is formulated by proposing elementary conflict resolution sequences (ECRSs and a class of local synchronized Petri nets (LSPNs. Two control algorithms are reported to control the appeared confusions by generating a series of external events. Finally, an example of confusion analysis and control in an automated manufacturing system is presented.
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...
Threat driven modeling framework using petri nets for e-learning system.
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.
Modelling safety of gantry crane operations using Petri nets.
Singh, Karmveer; Raj, Navneet; Sahu, S K; Behera, R K; Sarkar, Sobhan; Maiti, J
2017-03-01
Being a powerful tool in modelling industrial and service operations, Petri net (PN) has been extremely used in different domains, but its application in safety study is limited. In this study, we model the gantry crane operations used for industrial activities using generalized stochastic PNs. The complete cycle of operations of the gantry crane is split into three parts namely inspection and loading, movement of load, and unloading of load. PN models are developed for all three parts and the whole system as well. The developed PN models have captured the safety issues through reachability tree. The hazardous states are identified and how they ultimately lead to some unwanted accidents is demonstrated. The possibility of falling of load and failure of hook, sling, attachment and hoist rope are identified. Possible suggestions based on the study are presented for redesign of the system. For example, mechanical stoppage of operations in case of loosely connected load, and warning system for use of wrong buttons is tested using modified models.
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.
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
SIMULATION MODELING OF IT PROJECTS BASED ON PETRI NETS
Directory of Open Access Journals (Sweden)
Александр Михайлович ВОЗНЫЙ
2015-05-01
Full Text Available An integrated simulation model of IT project based on a modified Petri net model that combines product and model of project tasks has been proposed. Substantive interpretation of the components of the simulation model has been presented, the process of simulation has been described. The conclusions about the integration of the product model and the model of works project were made.
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.
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....
Transactions on Petri Nets and Other Models of Concurrency V
DEFF Research Database (Denmark)
The fifth volume of ToPNoC contains revised versions of selected papers from workshops and tutorials held in conjunction with the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, as well as a contributed paper selected through the regular subm...
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...
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 one...
Software Design Modelling with Functional Petri Nets | Bakpo ...
African Journals Online (AJOL)
In this paper, an equivalent functional Petri Net (FPN) model is developed for each of the three constructs of structured programs and a FPN Software prototype proposed for the conventional programming construct: if-then-else statement. The motivating idea is essentially to show that FPNs could be used as an alternative ...
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.
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 from...... requirements to design, validation, and implementation. This paper presents four case studies where CP-nets and their supporting computer tools have been used in system development projects with industrial partners. The case studies have been selected such that they illustrate different application areas of CP...
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...
Compositional model checking of concurrent systems, with Petri nets
Directory of Open Access Journals (Sweden)
Paweł Sobociński
2016-03-01
Full Text Available Compositionality and process equivalence are both standard concepts of process algebra. Compositionality means that the behaviour of a compound system relies only on the behaviour of its components, i.e. there is no emergent behaviour. Process equivalence means that the explicit statespace of a system takes a back seat to its interaction patterns: the information that an environment can obtain though interaction. Petri nets are a classical, yet widely used and understood, model of concurrency. Nevertheless, they have often been described as a non-compositional model, and tools tend to deal with monolithic, globally-specified models. This tutorial paper concentrates on Petri Nets with Boundaries (PNB: a compositional, graphical algebra of 1-safe nets, and its applications to reachability checking within the tool Penrose. The algorithms feature the use of compositionality and process equivalence, a powerful combination that can be harnessed to improve the performance of checking reachability and coverability in several common examples where Petri nets model realistic concurrent systems.
Robust modelling and simulation integration of SIMIO with coloured petri nets
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...
ANALYSIS OF A TRANSPORT PROCESS USING HYBRID PETRI NETS
Directory of Open Access Journals (Sweden)
Elisabeta Mihaela CIORTEA
2013-05-01
Full Text Available Purpose of the paper is to analyze the Petri net model, to describe the transport process, part of amanufacturing system and its dynamics.A hibrid Petri net model is built to describe the dinamics of the transport process manufacturingsystem. Mathematical formulation of the dinamycs processes a detailed description. Based on this model, theanalysis of the transport process is designed to be able to execute a production plan and resolve any conflictsthat may arise in the system.In the analysis dinamics known two stages: in the continuous variables are discrete hybrid system in thehibrid discrete variables are used as safety control with very well defined responsibilities.In terms of the chosen model, analyze transport process is designed to help execute a production planand resolve conflicts that may arise in the process, and then the ones in the system
Virtual Control Policy for Binary Ordered Resources Petri Net Class
Directory of Open Access Journals (Sweden)
Carlos A. Rovetto
2016-08-01
Full Text Available Prevention and avoidance of deadlocks in sensor networks that use the wormhole routing algorithm is an active research domain. There are diverse control policies that will address this problem being our approach a new method. In this paper we present a virtual control policy for the new specialized Petri net subclass called Binary Ordered Resources Petri Net (BORPN. Essentially, it is an ordinary class constructed from various state machines that share unitary resources in a complex form, which allows branching and joining of processes. The reduced structure of this new class gives advantages that allow analysis of the entire system’s behavior, which is a prohibitive task for large systems because of the complexity and routing algorithms.
Virtual Control Policy for Binary Ordered Resources Petri Net Class.
Rovetto, Carlos A; Concepción, Tomás J; Cano, Elia Esther
2016-08-18
Prevention and avoidance of deadlocks in sensor networks that use the wormhole routing algorithm is an active research domain. There are diverse control policies that will address this problem being our approach a new method. In this paper we present a virtual control policy for the new specialized Petri net subclass called Binary Ordered Resources Petri Net (BORPN). Essentially, it is an ordinary class constructed from various state machines that share unitary resources in a complex form, which allows branching and joining of processes. The reduced structure of this new class gives advantages that allow analysis of the entire system's behavior, which is a prohibitive task for large systems because of the complexity and routing algorithms.
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)
Virtual Control Policy for Binary Ordered Resources Petri Net Class
Rovetto, Carlos A.; Concepción, Tomás J.; Cano, Elia Esther
2016-01-01
Prevention and avoidance of deadlocks in sensor networks that use the wormhole routing algorithm is an active research domain. There are diverse control policies that will address this problem being our approach a new method. In this paper we present a virtual control policy for the new specialized Petri net subclass called Binary Ordered Resources Petri Net (BORPN). Essentially, it is an ordinary class constructed from various state machines that share unitary resources in a complex form, which allows branching and joining of processes. The reduced structure of this new class gives advantages that allow analysis of the entire system’s behavior, which is a prohibitive task for large systems because of the complexity and routing algorithms. PMID:27548170
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 de...... definition of process semantics for our model and investigate several properties of local versus global timing: expressiveness, reachability and coverability.......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...
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....... 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)....
Fuzzy Timing Petri Net for Fault Diagnosis in Power System
Directory of Open Access Journals (Sweden)
Alireza Tavakholi Ghainani
2012-01-01
Full Text Available A model-based system for fault diagnosis in power system is presented in this paper. It is based on fuzzy timing Petri net (FTPN. The ordinary Petri net (PN tool is used to model the protective components, relays, and circuit breakers. In addition, fuzzy timing is associated with places (token/transition to handle the uncertain information of relays and circuits breakers. The received delay time information of relays and breakers is mapped to fuzzy timestamps, π(τ, as initial marking of the backward FTPN. The diagnosis process starts by marking the backward sub-FTPNs. The final marking is found by going through the firing sequence, σ, of each sub-FTPN and updating fuzzy timestamp in each state of σ. The final marking indicates the estimated fault section. This information is then in turn used in forward FTPN to evaluate the fault hypothesis. The FTPN will increase the speed of the inference engine because of the ability of Petri net to describe parallel processing, and the use of time-tag data will cause the inference procedure to be more accurate.
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...
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
Petri net modeling of encrypted information flow in federated cloud
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.
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......, but the computation complexity is also restricted to a constant complexity per event analyzed. This enables the online analysis of an infinite stream of events. The tool is implemented as a package of the ProM framework and promising results have been obtained and are presented in this paper....
A vector matching method for analysing logic Petri nets
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.
Fault Diagnosis System of Wind Turbine Generator Based on Petri Net
Zhang, Han
Petri net is an important tool for discrete event dynamic systems modeling and analysis. And it has great ability to handle concurrent phenomena and non-deterministic phenomena. Currently Petri nets used in wind turbine fault diagnosis have not participated in the actual system. This article will combine the existing fuzzy Petri net algorithms; build wind turbine control system simulation based on Siemens S7-1200 PLC, while making matlab gui interface for migration of the system to different platforms.
TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets
DEFF Research Database (Denmark)
Byg, Joakim; Jørgensen, Kenneth Yrke; Srba, Jiri
2009-01-01
TAPAAL is a new platform independent tool for modelling, simulation and verification of timed-arc Petri nets. TAPAAL provides a stand-alone editor and simulator, while the verification module translates timed-arc Petri net models into networks of timed automata and uses the UPPAAL engine for the ......TAPAAL is a new platform independent tool for modelling, simulation and verification of timed-arc Petri nets. TAPAAL provides a stand-alone editor and simulator, while the verification module translates timed-arc Petri net models into networks of timed automata and uses the UPPAAL engine...
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...
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 invoking...... a corresponding set of queries. State space analysis is also applicable during the design and debugging of a system. An approach towards this is to allow the user to analyse the behaviour of systems by drawing and generating selected parts of the state space. The contribution of his paper is to present a tool...... 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...
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.
A method for enterprise architecture validation with colored Petri Nets
Directory of Open Access Journals (Sweden)
Mohammad Sadegh Alishahi
2012-10-01
Full Text Available Architecture includes so many documents where each describes one part of an enterprise. The problem in using such descriptions is on how to consider and use all components. Therefore, in order to organize the descriptions of enterprise architecture, we should use a framework. C4ISR is one of the enterprise architectural frameworks, which includes three views, contains some products. In order to show the products, this framework needs a unified notation, which covers all the products with various views. Unified Modeling Language (UML prepares such situation. But in order to decrease the expenses of enterprise architectural productions process, the architectural products shall be evaluated before the architectural implementation level happens. In this article, a simple way for validation of enterprise architectural products with Colored Petri Nets is presented to evaluate true behavior of architectural products well.
A Coloured Petri Net Analysis of the Transaction Internet Protocol
Georgiadis, Christos K.; Kokkinidis, Ioannis; Pimenidis, Elias
The Transaction Internet Protocol (TIP) aims to facilitate e-commerce by enforcing atomicity guarantees in transactions distributed between several autonomous transaction processing systems. In this work, the authors explore a holiday booking scenario in which a customer is protected by the TIP; in such a way as to prevent ending up with a hotel reservation without the requested flight reservation that is enclosed in the same holiday package. TIP defines an approach that makes the commit processing independent of the communication protocol used. There are a number of potential pitfalls that make it useful to provide a formal approach to reason about the behavioral properties of TIP. The authors propose a Colored Petri Net model that allows interactive simulation and verification of correctness properties within the CPN Tools modeling environment. The model can be used in the CPN Tools environment for model checking tasks.
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.
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 ﬁrst 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 ﬁnal 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 ﬁrst section of the article the minimum necessary deﬁnitions 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 deﬁned 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 deﬁned. 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.
Application of growing nested Petri nets for modeling robotic systems operating under risk
Sorokin, E. V.; Senkov, A. V.
2017-10-01
The paper studies the peculiarities of modeling robotic systems engaged in mining. Existing modeling mechanisms are considered, which are based on nested Petri nets, and a new formalism of growing Petri nets is presented that allows modeling robotic systems operating under risk. Modeling is provided both for the regular operation mode and for non-standard modes in which individual elements of the system can perform uncharacteristic functions. The example shows growing Petri nets that are used for modeling extraction of flat coal seams by a robotic system consisting of several different-type autonomous robots.
Reliability modelling of repairable systems using Petri nets and fuzzy Lambda-Tau methodology
Energy Technology Data Exchange (ETDEWEB)
Knezevic, J.; Odoom, E.R
2001-07-01
A methodology is developed which uses Petri nets instead of the fault tree methodology and solves for reliability indices utilising fuzzy Lambda-Tau method. Fuzzy set theory is used for representing the failure rate and repair time instead of the classical (crisp) set theory because fuzzy numbers allow expert opinions, linguistic variables, operating conditions, uncertainty and imprecision in reliability information to be incorporated into the system model. Petri nets are used because unlike the fault tree methodology, the use of Petri nets allows efficient simultaneous generation of minimal cut and path sets.
Petri Nets with Fuzzy Logic (PNFL: reverse engineering and parametrization.
Directory of Open Access Journals (Sweden)
Robert Küffner
Full Text Available BACKGROUND: The recent DREAM4 blind assessment provided a particularly realistic and challenging setting for network reverse engineering methods. The in silico part of DREAM4 solicited the inference of cycle-rich gene regulatory networks from heterogeneous, noisy expression data including time courses as well as knockout, knockdown and multifactorial perturbations. METHODOLOGY AND PRINCIPAL FINDINGS: We inferred and parametrized simulation models based on Petri Nets with Fuzzy Logic (PNFL. This completely automated approach correctly reconstructed networks with cycles as well as oscillating network motifs. PNFL was evaluated as the best performer on DREAM4 in silico networks of size 10 with an area under the precision-recall curve (AUPR of 81%. Besides topology, we inferred a range of additional mechanistic details with good reliability, e.g. distinguishing activation from inhibition as well as dependent from independent regulation. Our models also performed well on new experimental conditions such as double knockout mutations that were not included in the provided datasets. CONCLUSIONS: The inference of biological networks substantially benefits from methods that are expressive enough to deal with diverse datasets in a unified way. At the same time, overly complex approaches could generate multiple different models that explain the data equally well. PNFL appears to strike the balance between expressive power and complexity. This also applies to the intuitive representation of PNFL models combining a straightforward graphical notation with colloquial fuzzy parameters.
Validation of enterprise architecture through colored Petri nets
Directory of Open Access Journals (Sweden)
Somayeh Toghyani
2015-03-01
Full Text Available Enterprise architecture procedure contains some instructions for conversion of enterprise architecture from the current state to the desirable state. This procedure generally contains 3 phases each of which is the basis and prerequisite of the next phase. These phases are: Strategic information technology planning, enterprise architecture planning and enterprise architecture execution. As each phase is a prerequisite of the next one, any fault in each phase causes bigger faults in final results. Therefore, each phase should be double checked to make sure no fault has occurred. The second phase can greatly influence the final results. Therefore the preparation of an executable enterprise architecture model and checking it with functional and non-functional requirements can prevent many faults and lead to execution of a perfect model of the enterprise. The primary objective of this research is to check the accuracy of EA behavior in achieving an appropriate architecture. In this research, official models have been used to propose a solution to transform the products of C4ISR framework to executable Petri nets. Finally, a method is proposed to check the accuracy of the mentioned model. The proposed solution makes the EA semi-automatically check the correctness of the enterprise architecture behavior and increase its accuracy.
Backward reachability of Colored Petri Nets for systems diagnosis
International Nuclear Information System (INIS)
Bouali, Mohamed; Barger, Pavol; Schon, Walter
2012-01-01
Embedded systems development creates a need of new design, verification and validation technics. Formal methods appear as a very interesting approach for embedded systems analysis, especially for dependability studies. The chosen formalism for this work is based on Colored Petri Net (CPN) for two main reasons: the expressivity and the formal nature. Also, they model easily the static and the dynamic natures of the studied systems. The main challenge of this work is to use existing models, which describe the system structure and/or behavior, to extract the dependability information in a most general case and failure diagnosis information in a particular case. The proposed approach is a CPN structural backward reachability analysis. It can be split into two parts. The first one is to perform the proposed analysis: inverse CPN. It is obtained thanks to structural transformations applied on the original CPN. The second part is the analysis implementation. This part needs some complementary concepts. Among them, the most important is the marking enhancement. The proposed approach is studied under two complementary aspects: algorithmic and theoretic aspects. The first one proposes transformations for the CPN inversion and the analysis implementation. The second aspect (the theoretical one) aims to offer a formal proof for the approach by applying two methods which are linear algebra and Linear Logic.
Evaluation of software architecture using fuzzy colored Petri nets
Directory of Open Access Journals (Sweden)
Vahid Abroshan
2013-02-01
Full Text Available Software Architecture (SA is one of the most important artifacts for life cycle of a software system because it incorporates some important decisions and principles for the system development. On the other hand, developing the systems based on uncertain and ambiguous requirement has been increased, significantly. Therefore, there have been significant attentions on SA requirements. In this paper, we present a new method for evaluation of performance characteristics based on a use case, response time, and queue length of SA. Since there are some ambiguities associated with considered systems, we use the idea of Fuzzy UML (F-UML diagrams. In addition, these diagrams have been enriched with performance annotations using proposed Fuzzy-SPT sub profile, the extended version of SPT profile proposed by OMG. Then, these diagrams are mapped into an executable model based on Fuzzy Colored Petri Nets (FCPN and finally the performance metrics are calculated using the proposed algorithms. We have implemented CPN-Tools for creating and evaluating the FCPN model.
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. Petri...... nets provide the doundation of the graphical notation and the basic primitives for modeling concurrency, communication, and synchronisation. Standard ML provides the primitives for the defintion of data types, describing data manipulation, and for creation compact and prarmeterisable models. A CPN...... taken to execute events in the modelled system. CPN Tolls is an industrial-strength computer tool for construction and analysing CPN models. Using CPN Tools, it is possible to investigate the behaviour of the modelled system using simulation, to verify properties by means of state sp0ece methods...
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....
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.
Martiník, Ivo
2015-01-01
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.
An assembly process model based on object-oriented hierarchical time Petri Nets
Wang, Jiapeng; Liu, Shaoli; Liu, Jianhua; Du, Zenghui
2017-04-01
In order to improve the versatility, accuracy and integrity of the assembly process model of complex products, an assembly process model based on object-oriented hierarchical time Petri Nets is presented. A complete assembly process information model including assembly resources, assembly inspection, time, structure and flexible parts is established, and this model describes the static and dynamic data involved in the assembly process. Through the analysis of three-dimensional assembly process information, the assembly information is hierarchically divided from the whole, the local to the details and the subnet model of different levels of object-oriented Petri Nets is established. The communication problem between Petri subnets is solved by using message database, and it reduces the complexity of system modeling effectively. Finally, the modeling process is presented, and a five layer Petri Nets model is established based on the hoisting process of the engine compartment of a wheeled armored vehicle.
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
ISO/IEC 15909 is an International Standard that is concerned with the high-level Petri nets. Part 1 defines the concepts, the mathematics, and the graphical notation -- and some variants of high-level nets. Part 2 of ISO/IEC 15909, which is currently under the last ballot to be an International......, it is used in a setting restricted to high-level nets and a simple version of Petri nets called Place/Transition-Systems. Future parts, of PNML will use the generality of PNML and also standardise some of its other concepts. For example, it is planned that Part 3 will define a module concepts known from...... modular PNML and will make the concept for defining new Petri net types explicit. In this paper, discuss PNML, its relation to ISO/IEC 15909 and the main ideas for the future extensions of PNML and its standardisation in Part 3 of ISO/IEC 15909-2....
The ePNK: An Extensible Petri Net Tool for PNML
DEFF Research Database (Denmark)
Kindler, Ekkart
2011-01-01
, the developer, basically, needs to give a class diagram defining the concepts of the new Petri net type, along with a mapping of these concepts to XML syntax. This type can then be plugged into the ePNK, and its graphical editor will be able to edit nets of this new type with all its features. This paper...... all kinds of Petri nets. To this end, PNML introduced the concept of Petri Net Type Definitions. There are many tools supporting one form of PNML or another. In particular, there is the PNML Framework, which helps tool developers implementing an interface to PNML by providing a framework and an API...... tool needs to be regenerated. Moreover, the PNML Framework does not come with a graphical editor. The ePNK overcomes these limitations: It provides an extension-point so that new Petri net types can be plugged into the ePNK without touching the code of the ePNK. For defining a new Petri net type...
An analytical method for well-formed workflow/Petri net verification of classical soundness
Directory of Open Access Journals (Sweden)
Clempner Julio
2014-12-01
Full Text Available In this paper we consider workflow nets as dynamical systems governed by ordinary difference equations described by a particular class of Petri nets. Workflow nets are a formal model of business processes. Well-formed business processes correspond to sound workflow nets. Even if it seems necessary to require the soundness of workflow nets, there exist business processes with conditional behavior that will not necessarily satisfy the soundness property. In this sense, we propose an analytical method for showing that a workflow net satisfies the classical soundness property using a Petri net. To present our statement, we use Lyapunov stability theory to tackle the classical soundness verification problem for a class of dynamical systems described by Petri nets. This class of Petri nets allows a dynamical model representation that can be expressed in terms of difference equations. As a result, by applying Lyapunov theory, the classical soundness property for workflow nets is solved proving that the Petri net representation is stable. We show that a finite and non-blocking workflow net satisfies the sound property if and only if its corresponding PN is stable, i.e., given the incidence matrix A of the corresponding PN, there exists a Փ strictly positive m vector such that AՓ≤ 0. The key contribution of the paper is the analytical method itself that satisfies part of the definition of the classical soundness requirements. The method is designed for practical applications, guarantees that anomalies can be detected without domain knowledge, and can be easily implemented into existing commercial systems that do not support the verification of workflows. The validity of the proposed method is successfully demonstrated by application examples.
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods
DEFF Research Database (Denmark)
Jensen, Kurt
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....
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...
A framework for the definition of variants of high-level Petri nets
DEFF Research Database (Denmark)
Kindler, Ekkart; Petrucci, Laure
2009-01-01
analysis algorithms for symmetric nets. During the standardisation of high-level nets and some of their variations, it turned out that defining the legal data types and the operations on them is the most difficult part. In particular, these definitions become lengthy and mix Petri net specific issues...... 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...... of new variants and versions of high-level Petri nets: a framework for defining variants of high-level nets. The main ingredient of this framework is the concept of generators, which we recently introduced for formalising modular PNML, and the newly introduced concept of constructs....
DEFF Research Database (Denmark)
Almeida, D.; Azevedo, V; Silva, A
2016-01-01
) conversion into a Petri net, (3) visualization as Petri net, and (4) simulation and visualization of the token flow in Cytoscape. PetriScape is the first Cytoscape plugin for Petri nets. It allows a straightforward Petri net model creation, simulation and visualization with Cytoscape, providing clues about...
VALIDATING THE BEHAVIOR OF A SUPERVISED SYSTEM USING PETRI NETS
Directory of Open Access Journals (Sweden)
CARLOS ARTURO PARRA ORTEGA
2012-01-01
Full Text Available Un aspecto fundamental de los sistemas de producción es la validación de su comportamiento. Paraobtener este comportamiento, se recurre frecuentemente a modelos matemáticos tales como redes de Petri, con el fin de validar su comportamiento concurrente, presencia/ausencia de bloqueos, y sincronización de actividades, entre otros aspectos. A pesar de sus ventajas, el uso de redes de Petri no permite evaluar otros aspectos que son importantes en los procesos de manufactura, así como su gestión. Por tal motivo se recurre a la simulación de sistemas estocásticos y a la tecnología de agentes para obtener otros índices de desempeño. En este artículo se propone una combinación de redes de Petri, sistemas multi-agentes y sistemas estocásticos en un método propuesto para validar el comportamiento de los sistemas de producción, y se presenta como este método es usado en un ejemplo académico de manufactura.
Ninth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools
DEFF Research Database (Denmark)
to practical use -- often in an industrial setting. The remaining papers deal with different extensions of tools and methodology. The papers from the first eight CPN Workshops can be found via web pages: http://www.daimi.au.dk/CPnets/. After an additional round of reviewing and revision, some of the papers......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...
Modelling of Biometric Identification System with Given Parameters Using Colored Petri Nets
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.
A model of airport security work flow based on petri net
Dong, Xinming
2017-09-01
Extremely long lines at airports in the United States have been sharply criticized. In order to find out the bottleneck in the existing security system and put forward reasonable improvement plans and proposal, the Petri net model and the Markov Chain are introduced in this paper. This paper uses data collected by transportation Security Agency (TSA), assuming the data can represent the average level of all airports in the Unites States, to analysis the performance of security check system. By calculating the busy probabilities and the utilization probabilities, the bottleneck is found. Moreover, recommendation is given based on the parameters’ modification in Petri net model.
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.
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
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...... are presented, namely a model of the DLX pipeline processor, and a model of a fixed point unit used in the AMICAL system. The methodology presented in this paper is a pragmatic example of the usefulness of HCPNs. The focus is not on the theoretical aspects of Petri Nets but on the application of the Petri Net...
Prof. Dr. Abduladhem A. Ali; Prof. Dr. Abduladhem A. Ali; Ahmed Thamer Radhi
2012-01-01
This paper deals with the applications of Artificial Intelligence techniques for detecting internalfaults in Power generators. Three techniques are used which are Neural Net (NN), FuzzyNeural Net (FNN) and Fuzzy Neural Petri Net (FNPN) to implement differential protection ofgenerator. MATLAB toolbox has been used for simulations and generation of faults data fortraining the programs for different faults cases and to implement the relays. Results ofdifferent fault cases are presented and these...
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.
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.
Completeness Results for Linear Logic on Petri Nets
DEFF Research Database (Denmark)
Engberg, Uffe Henrik; Winskel, Glynn
1993-01-01
is shown sound and complete with respect to atomic nets (these include nets in which every transition leads to a nonempty multiset of places). The logic is remarkably expressive, enabling descriptions of the kinds of properties one might wish to show of nets; in particular, negative properties, asserting...
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...
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....
Distinguishing Environment and System in Coloured Petri Net Models of Reactive Systems
DEFF Research Database (Denmark)
Tjell, Simon
2007-01-01
code-generation from models. A prototypical tool has been implemented for performing the structural analysis of Coloured Petri Net models and the principles of this tool is described. The aim of the paper is to make the guidelines and their formalized definitions along with a proof-of-concept...
Second Workshop on Practical Use of Coloured Petri Nets and Design/CPN
DEFF Research Database (Denmark)
This booklet contains the proceesings of the Second Workshop on Practical Use of Coloured Petri Nets and Design/CPN, October 13-15, 1999. The workshop is organised by the CPN group at Department of Computer Science, University of Aarhus, Denmark....
Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools
DEFF Research Database (Denmark)
Coloured Petri Nets and the CPN tools are now used by more than 750 organisations in 50 different countries all over the world (including 150 commercial companies). The purpose of this event is to bring together some of the users and in this way provide a forum for those who are interested in the...
Fault Tolerant Analysis For Holonic Manufacturing Systems Based On Collaborative Petri Nets
Directory of Open Access Journals (Sweden)
Fu-Shiung Hsieh
2003-04-01
Full Text Available Uncertainties are significant characteristics of today's manufacturing systems. Holonic manufacturing systems are new paradigms to handle uncertainties and changes in manufacturing environments. Among many sources of uncertainties, failure prone machines are one of the most important ones. This paper focuses on handling machine failures in holonic manufacturing systems. Machine failure will reduce the number of available resources. Feasibility analysis need to be conducted to check whether the works in process can be completed. To facilitate feasibility analysis, we characterize feasible conditions for systems with failure prone machines. This paper combines the flexibility and robustness of multi-agent theory with the modeling and analytical power of Petri net to adaptively synthesize Petri net agents to control holonic manufacturing systems. The main results include: (1 a collaborative Petri net (CPN agent model for holonic manufacturing systems, (2 a feasible condition to test whether a certain type of machine failures are allowed based on collaborative Petri net agents and (3 fault tolerant analysis of the proposed method.
Polymorphism and Module-Reuse Mechanisms for Algebraic Petri Nets in CoopnTools
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.
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
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...
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...
The Design of an Online Petri Net Based Token (Ludo) Game ...
African Journals Online (AJOL)
The behavior of Petri nets with exponentially distributed firing times can be represented by labeled directed "slate" graphs in which labels describe the probabilities of transition firings (displacement of tokens) between vertices of the graph. The interactive firing of transitions in subsequent markings is known as token game.
Extension of Petri Nets by Aspects to Apply the Model Driven Architecture Approach
Roubtsova, E.E.; Aksit, Mehmet
2005-01-01
Within MDA models are usually created in the UML. However, one may prefer to use different notations such as Petri-nets, for example, for modelling concurrency and synchronization properties of systems. This paper claims that techniques that are adopted within the context of MDA can also be
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...
A Petri Net-Based Software Process Model for Developing Process-Oriented Information Systems
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.
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...
Modelling of dynamics through fuzzy enhanced high level petri net
Indian Academy of Sciences (India)
R. Narasimhan (Krishtel eMaging) 1461 1996 Oct 15 13:05:22
Peterson. 1981; Desrochers et al ... The various extensions of PNs include predicate/transition nets (P/T nets) (Generich &. Lautenbach 1979) ..... PCTLC is the set of control places; PTNLC is the set of transition places; PFZ is the set of fuzzy places.
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol 1, Basic Concepts
DEFF Research Database (Denmark)
Jensen, Kurt
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......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...
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.
Aspects regarding at 13C isotope separation column control using Petri nets system
Boca, M. L.; Ciortea, M. E.
2015-11-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 13C Isotope Separation column using Petri nets. The major problem with 13C 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 13C 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.
Runtime Verification of Pacemaker Functionality Using Hierarchical Fuzzy Colored Petri-nets.
Majma, Negar; Babamir, Seyed Morteza; Monadjemi, Amirhassan
2017-02-01
Today, implanted medical devices are increasingly used for many patients and in case of diverse health problems. However, several runtime problems and errors are reported by the relevant organizations, even resulting in patient death. One of those devices is the pacemaker. The pacemaker is a device helping the patient to regulate the heartbeat by connecting to the cardiac vessels. This device is directed by its software, so any failure in this software causes a serious malfunction. Therefore, this study aims to a better way to monitor the device's software behavior to decrease the failure risk. Accordingly, we supervise the runtime function and status of the software. The software verification means examining limitations and needs of the system users by the system running software. In this paper, a method to verify the pacemaker software, based on the fuzzy function of the device, is presented. So, the function limitations of the device are identified and presented as fuzzy rules and then the device is verified based on the hierarchical Fuzzy Colored Petri-net (FCPN), which is formed considering the software limits. Regarding the experiences of using: 1) Fuzzy Petri-nets (FPN) to verify insulin pumps, 2) Colored Petri-nets (CPN) to verify the pacemaker and 3) To verify the pacemaker by a software agent with Petri-network based knowledge, which we gained during the previous studies, the runtime behavior of the pacemaker software is examined by HFCPN, in this paper. This is considered a developing step compared to the earlier work. HFCPN in this paper, compared to the FPN and CPN used in our previous studies reduces the complexity. By presenting the Petri-net (PN) in a hierarchical form, the verification runtime, decreased as 90.61% compared to the verification runtime in the earlier work. Since we need an inference engine in the runtime verification, we used the HFCPN to enhance the performance of the inference engine.
The Practitioner's guide to Coloured Petri Nets
DEFF Research Database (Denmark)
Kristensen, Lars Michael; Christensen, Søren; Jensen, Kurt
1998-01-01
, hardware design, embedded systems, software system designs, and busness process-engineering. Design/CPN is a graphical computer tool supporting the practial use of CP-nets. The tool supports the construction, simulation, and functional and performance analysis of CPN models. the tool is used by more than...
Transactions on Petri Nets and Other Models of Concurrency VII
DEFF Research Database (Denmark)
nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two...
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.
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...
Health Monitoring of a Planetary Rover Using Hybrid Particle Petri Nets
Gaudel, Quentin; Ribot, Pauline; Chanthery, Elodie; Daigle, Matthew J.
2016-01-01
This paper focuses on the application of a Petri Net-based diagnosis method on a planetary rover prototype.The diagnosis is performed by using a model-based method in the context of health management of hybrid systems.In system health management, the diagnosis task aims at determining the current health state of a system and the fault occurrences that lead to this state. The Hybrid Particle Petri Nets (HPPN) formalism is used to model hybrid systems behavior and degradation, and to define the generation of diagnosers to monitor the health states of such systems under uncertainty. At any time, the HPPN-based diagnoser provides the current diagnosis represented by a distribution of beliefs over the health states. The health monitoring methodology is demonstrated on the K11 rover. A hybrid model of the K11 is proposed and experimental results show that the approach is robust to real system data and constraints.
Product Specification in a Service-Oriented Holonic Manufacturing System using Petri-Nets
Gamboa Quintanilla , Francisco; Kubler , Sylvain; Cardin , Olivier; Castagna , Pierre
2013-01-01
International audience; Service-Oriented Holonic Manufacturing Systems are now well known and widely studied. Every reference architecture of literature contains a holon dedicated to the description of the recipes of products to be manufactured. Typically, this description is a list of services to perform in order to obtain a finished good out of raw materials. This paper introduces an innovative way to describe product recipes using Petri nets. This description enables multiple variant recip...
An Approach to Distributed State Space Exploration for Coloured Petri Nets
DEFF Research Database (Denmark)
Kristensen, Lars Michael; Petrucci, Laure
2004-01-01
We present an approach and associated computer tool support for conducting distributed state space exploration for Coloured Petri Nets (CPNs). The distributed state space exploration is based on the introduction of a coordinating process and a number of worker processes. The worker processes...... Tools. This makes the distributed state space exploration and analysis largely transparent to the analyst. We illustrate the use of the developed tool on an example....
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
Indian Academy of Sciences (India)
networks, software engineering, flexible manufacturing systems, business processes in manufacturing and service organizations, industrial process control systems, fault-tolerant computer systems, program- mable logic controller and VLSI arrays, office automation systems, workflow management systems, formal languages ...
Directory of Open Access Journals (Sweden)
Naeem Akhtar Khan
2014-01-01
Full Text Available The wireless mesh network (WMN is an emerging and cost-effective alternative paradigm for the next generation wireless networks in many diverse applications. In the performance evaluation of routing protocol for the WMN, it is essential that it should be evaluated under realistic conditions. The usefulness of specific mobility protocol can be determined by selection of mobility model. This paper introduces a coloured Petri nets (CP-nets based formal model for implementation, simulation, and analysis of most widely used random waypoint (RWP mobility model for WMNs. The formal semantics of hierarchical timed CP-nets allow us to investigate the terminating behavior of the transitions using state space analysis techniques. The proposed implementation improves the RWP mobility model by removing the “border effect” and resolves the “speed decay” problem.
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.
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.
DEFF Research Database (Denmark)
Lorentsen, Louise; Tuovinen, Antti-Pekka; Xu, Jianli
2002-01-01
This paper describes the first results of a project on modelling of important feature interaction patterns of Nokia mobile phones using Coloured Petri Nets. A modern mobile phone supports many features: voice and data calls, text messaging, personal information management (phonebook and calendar......), WAP browsing, games, etc. All these features are packaged into a handset with a small screen and a special purpose keypad. The limited user interface and the seamless intertwining of logically separate features cause many problems in the software development of the user interface of mobile phones...
Control of Discrete-Event Systems Automata and Petri Net Perspectives
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...
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.
Behinaein, Behnam; Rudie, Karen; Sangrar, Waheed
2016-10-03
Epidermal Growth Factor Receptor (EGFR) signaling to the Ras-MAPK pathway is implicated in the development and progression of cancer and is a major focus of targeted combination therapies. Physiochemical models have been used for identifying and testing the signal-inhibiting potential of targeted therapies, however, their application to larger multi-pathway networks is limited by the availability of experimentally-determined rate and concentration parameters. An alternate strategy for identifying and evaluating drug-targetable nodes is proposed. A physiochemical model of EGFR-Ras-MAPK signaling is implemented and calibrated to experimental data. Essential topological features of the model are converted into a Petri net and nodes that behave as siphons-a structural property of Petri nets-are identified. Siphons represent potential drug-targets since they are unrecoverable if their values fall below a threshold. Centrality measures are then used to prioritize siphons identified as candidate drug-targets. Single and multiple drug-target combinations are identified which correspond to clinically relevant drug targets and exhibit inhibition synergy in physiochemical simulations of EGF-induced EGFR-Ras-MAPK signaling. Taken together, these studies suggest that siphons and centrality analyses are a promising computational strategy to identify and rank drug-targetable nodes in larger networks as they do not require knowledge of the dynamics of the system, but rely solely on topology.
Modeling and Optimizing Energy Utilization of Steel Production Process: A Hybrid Petri Net Approach
Directory of Open Access Journals (Sweden)
Peng Wang
2013-01-01
Full Text Available The steel industry is responsible for nearly 9% of anthropogenic energy utilization in the world. It is urgent to reduce the total energy utilization of steel industry under the huge pressures on reducing energy consumption and CO2 emission. Meanwhile, the steel manufacturing is a typical continuous-discrete process with multiprocedures, multiobjects, multiconstraints, and multimachines coupled, which makes energy management rather difficult. In order to study the energy flow within the real steel production process, this paper presents a new modeling and optimization method for the process based on Hybrid Petri Nets (HPN in consideration of the situation above. Firstly, we introduce the detailed description of HPN. Then the real steel production process from one typical integrated steel plant is transformed into Hybrid Petri Net model as a case. Furthermore, we obtain a series of constraints of our optimization model from this model. In consideration of the real process situation, we pick the steel production, energy efficiency and self-made gas surplus as the main optimized goals in this paper. Afterwards, a fuzzy linear programming method is conducted to obtain the multiobjective optimization results. Finally, some measures are suggested to improve this low efficiency and high whole cost process structure.
Reachability analysis of a class of Petri nets using place invariants and siphons
Directory of Open Access Journals (Sweden)
Zhi Wu Li
2013-07-01
Full Text Available This paper proposes a novel and computationally efficient approach to deal with the reachability problem by using place invariants and strict minimal siphons for a class of Petri nets called pipe-line nets (PLNs. First, in a PLN with an appropriate initial marking, the set of invariant markings and the set of strict minimal siphons are enumerated. Then a sufficient and necessary condition is developed to decide whether a marking is spurious by analysing the number of tokens in operation places of any strict minimal siphon and their bounds. Furthermore, an algorithm that generates the reachable markings by removing all the spurious markings from the set of invariant markings is proposed. Finally, experimental results show the efficiency of the proposed method.
Zhang, Jian-Hua; Xia, Jia-Jun; Garibaldi, Jonathan M; Groumpos, Petros P; Wang, Ru-Bin
2017-06-01
In human-machine (HM) hybrid control systems, human operator and machine cooperate to achieve the control objectives. To enhance the overall HM system performance, the discrete manual control task-load by the operator must be dynamically allocated in accordance with continuous-time fluctuation of psychophysiological functional status of the operator, so-called operator functional state (OFS). The behavior of the HM system is hybrid in nature due to the co-existence of discrete task-load (control) variable and continuous operator performance (system output) variable. Petri net is an effective tool for modeling discrete event systems, but for hybrid system involving discrete dynamics, generally Petri net model has to be extended. Instead of using different tools to represent continuous and discrete components of a hybrid system, this paper proposed a method of fuzzy inference Petri nets (FIPN) to represent the HM hybrid system comprising a Mamdani-type fuzzy model of OFS and a logical switching controller in a unified framework, in which the task-load level is dynamically reallocated between the operator and machine based on the model-predicted OFS. Furthermore, this paper used a multi-model approach to predict the operator performance based on three electroencephalographic (EEG) input variables (features) via the Wang-Mendel (WM) fuzzy modeling method. The membership function parameters of fuzzy OFS model for each experimental participant were optimized using artificial bee colony (ABC) evolutionary algorithm. Three performance indices, RMSE, MRE, and EPR, were computed to evaluate the overall modeling accuracy. Experiment data from six participants are analyzed. The results show that the proposed method (FIPN with adaptive task allocation) yields lower breakdown rate (from 14.8% to 3.27%) and higher human performance (from 90.30% to 91.99%). The simulation results of the FIPN-based adaptive HM (AHM) system on six experimental participants demonstrate that the FIPN
Petri Nets Based Modelling of Control Flow for Memory-Aid Interactive Programs in Telemedicine
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.
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.
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.
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
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.
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.
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....
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.
DEFF Research Database (Denmark)
Jørgensen, Jens Bæk
2008-01-01
specification together entail that the requirements are fulfilled. In this paper, we demonstrate how to address certain frame concerns with the use of the formal modelling language coloured Petri nets (CPN). Problem domain description and machine specification are brought together in a CPN model, which......To address a frame concern in Jackson's problem frames, we must make appropriate descriptions of (1) the problem domain; (2) the requirements; (3) the specification of the machine. Based on these descriptions, we must give a convincing argument that the given domain properties and the machine...... is augmented with a graphical animation. The CPN model is executable and we simulate it to address frame concerns. We illustrate the approach on the elevator controller example....
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.
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
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.
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
Schumacher, W.; Geiser, G.
1978-01-01
The basic concepts of Petri nets are reviewed as well as their application as the fundamental model of technical systems with concurrent discrete events such as hardware systems and software models of computers. The use of Petri nets is proposed for modeling the human operator dealing with concurrent discrete tasks. Their properties useful in modeling the human operator are discussed and practical examples are given. By means of and experimental investigation of binary concurrent tasks which are presented in a serial manner, the representation of human behavior by Petri nets is demonstrated.
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
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
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.
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.
QoS measurement of workflow-based web service compositions using Colored Petri net.
Nematzadeh, Hossein; Motameni, Homayun; Mohamad, Radziah; Nematzadeh, Zahra
2014-01-01
Workflow-based web service compositions (WB-WSCs) is one of the main composition categories in service oriented architecture (SOA). Eflow, polymorphic process model (PPM), and business process execution language (BPEL) are the main techniques of the category of WB-WSCs. Due to maturity of web services, measuring the quality of composite web services being developed by different techniques becomes one of the most important challenges in today's web environments. Business should try to provide good quality regarding the customers' requirements to a composed web service. Thus, quality of service (QoS) which refers to nonfunctional parameters is important to be measured since the quality degree of a certain web service composition could be achieved. This paper tried to find a deterministic analytical method for dependability and performance measurement using Colored Petri net (CPN) with explicit routing constructs and application of theory of probability. A computer tool called WSET was also developed for modeling and supporting QoS measurement through simulation.
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
Communication Modeling and Mobile Object Monitoring by Using Colored Petri Nets
Directory of Open Access Journals (Sweden)
Ramunas Dzindzalieta
2011-08-01
Full Text Available Summary. Monitoring moving objects and analyzing their statuses are the best opportunities currently offered by mobile technology. The methods and software for wireless systems allow the exchange of many possible data formats (e.g., text, visual or audio communication and provide information about the state of the object’s geographical coordinates in real time. The necessary information is received from the sensors and mobile device’s contextual information. Information is sent to remote servers whenever applicable, and, after some calculation, more accurate data is obtained. Software to identify different situations has been designed and implemented. The software and therefore the identification of the situations of technical equipment can send data, warnings or reminders to a given situation. Colored Petri nets (CPN allowed to more precisely model complex situations of scenarios and to capture the information any time, anywhere provided in advance of a moving object. Mobile devices detect the necessary data via the external or internal physical environment through sensors. The mobile device components are interacting with internal or external physical environment and have the sensor detectors’ parameters. Such information is stored into data-warehouses in which the knowledge discovery is made by CPN models, which represent rules of analysis.
Communication Modeling and Mobile Object Monitoring by Using Colored Petri Nets
Directory of Open Access Journals (Sweden)
Dalė Dzemydienė
2013-08-01
Full Text Available Monitoring moving objects and analyzing their statuses are the best opportunities currently offered by mobile technology. The methods and software for wireless systems allow the exchange of many possible data formats (e.g., text, visual or audio communication and provide information about the state of the object’s geographical coordinates in real time. The necessary information is received from the sensors and mobile device’s contextual information. Information is sent to remote servers whenever applicable, and, after some calculation, more accurate data is obtained. Software to identify different situations has been designed and implemented. The software and therefore the identification of the situations of technical equipment can send data, warnings or reminders to a given situation. Colored Petri nets (CPN allowed to more precisely model complex situations of scenarios and to capture the information any time, anywhere provided in advance of a moving object. Mobile devices detect the necessary data via the external or internal physical environment through sensors. The mobile device components are interacting with internal or external physical environment and have the sensor detectors’ parameters. Such information is stored into data-warehouses in which the knowledge discovery is made by CPN models, which represent rules of analysis.
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.
Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets
DEFF Research Database (Denmark)
Bertolini, Cristiano; Liu, Zhiming; Srba, Jiri
2013-01-01
Workflows in modern healthcare systems are becoming increasingly complex and their execution involves concurrency and sharing of resources. The definition, analysis and management of collaborative healthcare workflows requires abstract model notations with a precisely defined semantics and a supp......Workflows in modern healthcare systems are becoming increasingly complex and their execution involves concurrency and sharing of resources. The definition, analysis and management of collaborative healthcare workflows requires abstract model notations with a precisely defined semantics...... and a support for compositional reasoning. We use the formalism of component-based timed-arc Petri Nets (CTAPN) for modular modelling of collaborative healthcare workflows and demonstrate how the model checker TAPAAL supports the verification of their functional and non-functional requirements. To this end, we...... use CTAPN to define the semantics of the healthcare domain specific graphical notation Little-JIL, extended with timing constrains, and apply it to the case study of blood transfusion. The value added in general, and to Little-JIL in particular, is the formal support for compositional modelling...
A Petri-Nets Based Unified Modeling Approach for Zachman Framework Cells
Ostadzadeh, S. Shervin; Nekoui, Mohammad Ali
With a trend toward becoming more and more information based, enterprises constantly attempt to surpass the accomplishments of each other by improving their information activities. In this respect, Enterprise Architecture (EA) has proven to serve as a fundamental concept to accomplish this goal. Enterprise architecture clearly provides a thorough outline of the whole enterprise applications and systems with their relationships to enterprise business goals. To establish such an outline, a logical framework needs to be laid upon the entire information system called Enterprise Architecture Framework (EAF). Among various proposed EAF, Zachman Framework (ZF) has been widely accepted as a standard scheme for identifying and organizing descriptive representations that have critical roles in enterprise management and development. One of the problems faced in using ZF is the lack of formal and verifiable models for its cells. In this paper, we proposed a formal language based on Petri nets in order to obtain verifiable models for all cells in ZF. The presented method helps developers to validate and verify completely integrated business and IT systems which results in improve the effectiveness or efficiency of the enterprise itself.
Lei Wang; Chunmei Xu; Lijun Diao; Jie Chen; Ruichang Qiu; Peizhen Wang
2016-01-01
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 O...
Formal Specification and Verification of Real-Time Multi-Agent Systems using Timed-Arc Petri Nets
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...
Klaudel, Hanna; Pommereau, Franck
2002-01-01
International audience; This paper presents an extension of an algebra of high-level Petri nets with operations for suspension and abortion. These operations are sound with respect to the semantics of preemption, and can be applied to the modelling of the semantics of high-level parallel programming languages with preemption-related features. As an illustration, the paper gives an application to the modelling of a multi-tasking system in a parallel programming language, which is provided with...
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.
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.
Bortfeldt, Ralf H; Schuster, Stefan; Koch, Ina
2011-01-01
Spliceosomes are macro-complexes involving hundreds of proteins with many functional interactions. Spliceosome assembly belongs to the key processes that enable splicing of mRNA and modulate alternative splicing. A detailed list of factors involved in spliceosomal reactions has been assorted over the past decade, but, their functional interplay is often unknown and most of the present biological models cover only parts of the complete assembly process. It is a challenging task to build a computational model that integrates dispersed knowledge and combines a multitude of reaction schemes proposed earlier. Because for most reactions involved in spliceosome assembly kinetic parameters are not available, we propose a discrete modeling using Petri nets, through which we are enabled to get insights into the system's behavior via computation of structural and dynamic properties. In this paper, we compile and examine reactions from experimental reports that contribute to a functional spliceosome. All these reactions form a network, which describes the inventory and conditions necessary to perform the splicing process. The analysis is mainly based on system invariants. Transition invariants (T-invariants) can be interpreted as signaling routes through the network. Due to the huge number of T-invariants that arise with increasing network size and complexity, maximal common transition sets (MCTS) and T-clusters were used for further analysis. Additionally, we introduce a false color map representation, which allows a quick survey of network modules and the visual detection of single reactions or reaction sequences, which participate in more than one signaling route. We designed a structured model of spliceosome assembly, which combines the demands on a platform that i) can display involved factors and concurrent processes, ii) offers the possibility to run computational methods for knowledge extraction, and iii) is successively extendable as new insights into spliceosome
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.
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.
Directory of Open Access Journals (Sweden)
Rżosińska Katarzyna
2017-06-01
Full Text Available The complexity of many biological processes, which, thanks to the development of many fields of science, becomes for us more and more obvious, makes these processes extremely interesting for further analysis. In this paper a quantitative model of the process of macrophage differentiation, which is essential for many phenomena occurring in the human body, is proposed and analyzed. The model is expressed in the language of Petri net theory on the basis of one of the three hypotheses concerning macrophage differentiation existing in the literature. The performed analysis allowed to find an importance of individual factors in the studied phenomenon.
Communication nets stochastic message flow and delay
Kleinrock, Leonard
2007-01-01
Considerable research has been devoted to the formulation and solution of problems involving flow within connected networks. Independent of these surveys, an extensive body of knowledge has accumulated on the subject of queues, particularly in regard to stochastic flow through single-node servicing facilities. This text combines studies of connected networks with those of stochastic flow, providing a basis for understanding the general behavior and operation of communication networks in realistic situations.Author Leonard Kleinrock of the Computer Science Department at UCLA created the basic p
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....
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 3, Practical Use
DEFF Research Database (Denmark)
Jensen, Kurt
system and related work. I have edited the material provided by the original authors. I have modified some of the CP-nets, e.g., to improve the layout and use more mnemonic names. In some cases, I have also changed a few net components, e.g., merged two transitions or introduced a Standard ML function...
Directory of Open Access Journals (Sweden)
Elston Timothy C
2004-03-01
Full Text Available Abstract Background Intrinsic fluctuations due to the stochastic nature of biochemical reactions can have large effects on the response of biochemical networks. This is particularly true for pathways that involve transcriptional regulation, where generally there are two copies of each gene and the number of messenger RNA (mRNA molecules can be small. Therefore, there is a need for computational tools for developing and investigating stochastic models of biochemical networks. Results We have developed the software package Biochemical Network Stochastic Simulator (BioNetS for efficientlyand accurately simulating stochastic models of biochemical networks. BioNetS has a graphical user interface that allows models to be entered in a straightforward manner, and allows the user to specify the type of random variable (discrete or continuous for each chemical species in the network. The discrete variables are simulated using an efficient implementation of the Gillespie algorithm. For the continuous random variables, BioNetS constructs and numerically solvesthe appropriate chemical Langevin equations. The software package has been developed to scale efficiently with network size, thereby allowing large systems to be studied. BioNetS runs as a BioSpice agent and can be downloaded from http://www.biospice.org. BioNetS also can be run as a stand alone package. All the required files are accessible from http://x.amath.unc.edu/BioNetS. Conclusions We have developed BioNetS to be a reliable tool for studying the stochastic dynamics of large biochemical networks. Important features of BioNetS are its ability to handle hybrid models that consist of both continuous and discrete random variables and its ability to model cell growth and division. We have verified the accuracy and efficiency of the numerical methods by considering several test systems.
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...
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
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.
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.
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.
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.
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
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...... 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...
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.
DEFF Research Database (Denmark)
Jørgensen, Jens Bæk; Lassen, Kristian Bisgaard; van der Aalst, Willibrordus Martinus Pancratius
2008-01-01
We consider a given specification of functional requirements for a new electronic patient record system for Fyn County, Denmark. The requirements are expressed as task descriptions, which are informal descriptions of work processes to be supported. We describe how these task descriptions are used...... help to validate and elicit requirements. The second CPN model is a Colored Workflow Net (CWN). The CWN is derived from the EUC. Together, the EUC and the CWN are used to close the gap between the given requirements specification and the realization of these requirements with the help of an IT system....... We demonstrate how the CWN can be translated into the YAWL workflow language, thus resulting in an operational IT system....
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.
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.
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
Stochastic flows in the Brownian web and net
Czech Academy of Sciences Publication Activity Database
Schertzer, E.; Sun, R.; Swart, Jan M.
2014-01-01
Roč. 227, č. 1065 (2014), s. 1-160 ISSN 0065-9266 R&D Projects: GA ČR GA201/07/0237; GA ČR GA201/09/1931 Institutional support: RVO:67985556 Keywords : Brownian web * Brownian net * stochastic flow of kernels * measure-valued process * Howitt-Warren flow * linear system * random walk in random environment * finite graph representation Subject RIV: BA - General Mathematics Impact factor: 1.727, year: 2014 http://library.utia.cas.cz/separaty/2013/SI/swart-0396636.pdf
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
Zhang, Feng; Xu, Yuetong; Chou, Jarong
2016-09-25
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.
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.
Visualisation for Stochastic Process Algebras: The Graphic Truth
DEFF Research Database (Denmark)
Smith, Michael James Andrew; Gilmore, Stephen
2011-01-01
There have historically been two approaches to performance modelling. On the one hand, textual language-based formalisms such as stochastic process algebras allow compositional modelling that is portable and easy to manage. In contrast, graphical formalisms such as stochastic Petri nets and stoch...
Sloane, Elliot; Gehlot, Vijay
2005-01-01
Hospitals and manufacturers are designing and deploying the IEEE 802.x wireless technologies in medical devices to promote patient mobility and flexible facility use. There is little information, however, on the reliability or ultimate safety of connecting multiple wireless life-critical medical devices from multiple vendors using commercial 802.11a, 802.11b, 802.11g or pre-802.11n devices. It is believed that 802.11-type devices can introduce unintended life-threatening risks unless delivery of critical patient alarms to central monitoring systems and/or clinical personnel is assured by proper use of 802.11e Quality of Service (QoS) methods. Petri net tools can be used to simulate all possible states and transitions between devices and/or systems in a wireless device network, and can identify failure modes in advance. Colored Petri Net (CPN) tools are ideal, in fact, as they allow tracking and controlling each message in a network based on pre-selected criteria. This paper describes a research project using CPN to simulate and validate alarm integrity in a small multi-modality wireless patient monitoring system. A 20-monitor wireless patient monitoring network is created in two versions: one with non-prioritized 802.x CSM protocols and the second with simulated Quality of Service (QoS) capabilities similar to 802.11e (i.e., the second network allows message priority management.) In the standard 802.x network, dangerous heart arrhythmia and pulse oximetry alarms could not be reliably and rapidly communicated, but the second network's QoS priority management reduced that risk significantly.
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.
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.
Mehraei, Mani; Bashirov, Rza; Tüzmen, Şükrü
2016-10-01
Recent molecular studies provide important clues into treatment of [Formula: see text]-thalassemia, sickle-cell anaemia and other [Formula: see text]-globin disorders revealing that increased production of fetal hemoglobin, that is normally suppressed in adulthood, can ameliorate the severity of these diseases. In this paper, we present a novel approach for drug prediction for [Formula: see text]-globin disorders. Our approach is centered upon quantitative modeling of interactions in human fetal-to-adult hemoglobin switch network using hybrid functional Petri nets. In accordance with the reverse pharmacology approach, we pose a hypothesis regarding modulation of specific protein targets that induce [Formula: see text]-globin and consequently fetal hemoglobin. Comparison of simulation results for the proposed strategy with the ones obtained for already existing drugs shows that our strategy is the optimal as it leads to highest level of [Formula: see text]-globin induction and thereby has potential beneficial therapeutic effects on [Formula: see text]-globin disorders. Simulation results enable verification of model coherence demonstrating that it is consistent with qPCR data available for known strategies and/or drugs.
Chen, Wei-Ling; Kan, Chung-Dann; Lin, Chia-Hung; Chen, Tainsong
2014-03-01
This paper proposes a rule-based decision-making diagnosis system to evaluate arteriovenous shunt (AVS) stenosis for long-term hemodialysis treatment of patients using fuzzy petri nets (FPNs). AVS stenoses are often associated with blood sounds, resulting from turbulent flow over the narrowed blood vessel. Phonoangiography provides a noninvasive technique to monitor the sounds of the AVS. Since the power spectra changes in frequency and amplitude with the degree of AVS stenosis, it is difficult to make a human-made decision to judge the degree using a combination of those variances. The Burg autoregressive (AR) method is used to estimate the frequency spectra of a phonoangiographic signal and identify the characteristic frequencies. A rule-based decision-making method, FPNs, is designed as a decision-making system to evaluate the degree of stenosis (DOS) in routine examinations. For 42 long-term follow-up patients, the examination results show the proposed diagnosis system has greater efficiency in evaluating AVS stenosis.
Sociophysics of sexism: normal and anomalous petrie multipliers
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.
1979-08-01
ESTEM . THEpEpapE. or~t OF THE PIPET FL-t4CTI(3r4 OF CPErTztW A4 NE14 PLACE IS TO AIsrIcti FUN T I Eti: I:LII.F’L ’.TYPE- TIN- TOIT, PD:-IBLE VR7LLE...scmewhat self -explanatory. All definitions employed standard set notation. In the case of composite token types, lists enclosed in square brackets are... self -explanatory, additional notes are included to help the reader follow the example. For best understanding, it is suggeted that the tables prensented
Adaptive Near-Optimal Multiuser Detection Using a Stochastic and Hysteretic Hopfield Net Receiver
Directory of Open Access Journals (Sweden)
Gábor Jeney
2003-01-01
Full Text Available This paper proposes a novel adaptive MUD algorithm for a wide variety (practically any kind of interference limited systems, for example, code division multiple access (CDMA. The algorithm is based on recently developed neural network techniques and can perform near optimal detection in the case of unknown channel characteristics. The proposed algorithm consists of two main blocks; one estimates the symbols sent by the transmitters, the other identifies each channel of the corresponding communication links. The estimation of symbols is carried out either by a stochastic Hopfield net (SHN or by a hysteretic neural network (HyNN or both. The channel identification is based on either the self-organizing feature map (SOM or the learning vector quantization (LVQ. The combination of these two blocks yields a powerful real-time detector with near optimal performance. The performance is analyzed by extensive simulations.
TimeNET Optimization Environment
Directory of Open Access Journals (Sweden)
Christoph Bodenstein
2015-12-01
Full Text Available In this paper a novel tool for simulation-based optimization and design-space exploration of Stochastic Colored Petri nets (SCPN is introduced. The working title of this tool is TimeNET Optimization Environment (TOE. Targeted users of this tool are people modeling complex systems with SCPNs in TimeNET who want to find parameter sets that are optimal for a certain performance measure (fitness function. It allows users to create and simulate sets of SCPNs and to run different optimization algorithms based on parameter variation. The development of this tool was motivated by the need to automate and speed up tests of heuristic optimization algorithms to be applied for SCPN optimization. A result caching mechanism is used to avoid recalculations.
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.
Petri Games: Synthesis of Distributed Systems with Causal Memory
Directory of Open Access Journals (Sweden)
Bernd Finkbeiner
2014-08-01
Full Text Available We present a new multiplayer game model for the interaction and the flow of information in a distributed system. The players are tokens on a Petri net. As long as the players move in independent parts of the net, they do not know of each other; when they synchronize at a joint transition, each player gets informed of the causal history of the other player. We show that for Petri games with a single environment player and an arbitrary bounded number of system players, deciding the existence of a safety strategy for the system players is EXPTIME-complete.
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 to ...
An ECNO semantics for Petri nets
Kindler, Ekkart
2012-01-01
The Event Coordination Notation (ECNO) allows modelling the behaviour of software on top of structural software models - and to generate program code from these models fully automatically. ECNO distinguishes between the local behaviour of elements (objects) and the global behaviour, which denes the coordination of the local behaviour of the dierent elements. The global behaviour is dened by ECNO's coordination diagrams, whereas the local behaviour of the different elements can, for example, b...
Directory of Open Access Journals (Sweden)
Raiane Ribeiro Machado
2006-12-01
wood transport cycle time consists of wood loading, wood hauling, wood unloading, garage and wood unhauling. A cellulose producing company in the State of Minas Gerais was used as case study. Initially, the logistics and supply chain of the company was diagnosed to know the main existent obstacles along the chain; defining their preliminary vary key parameters, based on the characterization of their structure and operation; finally, the main directors that condition their efficiency and competitiveness were identified and evaluated. The model of chain logistics of wood transport used the Temporal Petri Net for working with two times that correspond to a sensitization period. Their properties are as follows: simulation (working with hypothetical scenarios, dynamic (exit values depend on the entrance values; determinist (exit variables are not random; continuous (time is measured by real numbers; and temporal in the transitions. Scenarios, with the same variations in the two wood-producing regionals were created, and simulations with the JARP and ARP software were carried out to evaluate the operational and economic performance. The variations applied to the scenarios were: improvement of the forest roads; increase of loader numbers, and improvement of garage efficiency. For both regionals, the scenario with the three variations (Scenario 7 presented the largest reduction in cycle times of wood transport in relation to the current situation, being 19.24% and 21.48%, respectively, for Rio Doce and Cocais das Estrelas. The analyzed operational cost is the value paid for the freight, not including the investment costs. Both regionals, Rio Doce and Cocais das Estrelas, presented a larger reduction in the Scenario 7, of 20.09% and 21.22%, respectively.
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
Modeling and evaluation of information systems using coloured petri network
Directory of Open Access Journals (Sweden)
Ehsan Zamirpour
2014-07-01
Full Text Available Nowadays with the growth of organizations and their affiliates, the importance of information systems has increased. Functional and non-functional requirements of information systems in an organization are supported. There are literally several techniques to support the functional requirements in terms of software methodologies, but support for the second set of requirements has received little attention. Software Performance Engineering (SPE forum tries to address this issue by presenting software methodologies to support both types of requirements. In this paper, we present a formal model for the evaluation of system performance based on a pragmatic model. Because of supporting the concurrency concepts, petri net has a higher priority than queuing system. For mapping UML to colored Petri net diagram, we use an intermediate graph. The preliminary results indicate that the proposed model may save significant amount of computations.
Konzeption und Entwurf einer auf Petri-Netzen basierenden programmierbaren Kontrollschaltung
Directory of Open Access Journals (Sweden)
H. Baur
2003-01-01
Full Text Available Petri-Netze eignen sich aufgrund der direkten Darstellbarkeit von Nebenläufigkeiten und leistungsfähiger Analyseverfahren zur Beschreibung von komplexen Kontrollabläufen. Die hier vorgestellte PNDU (Petri Net Decision Unit ist ein programmierbarer Hardware- Interpreter für Kontrollalgorithmen, die durch Petri-Netze beschrieben werden. Die Petri-Netze werden kodiert in einem Speicher abgelegt und unter Einbeziehung der Eingangssignale und interner Zustände nach einem festgelegten Algorithmus abgearbeitet. Der implizite Wartezustand der PNDU motiviert in Hinblick auf den Einsatz in eingebetteten, batteriebetriebenen Geräten eine asynchrone Realisierung. Die PNDU wurde mit VHDL als synchrone und vergleichend dazu als selbstgetaktete Schaltung entworfen.
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 three...
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
Electronic Business Transaction Infrastructure Analysis Using Petri Nets and Simulation
Feller, Andrew Lee
2010-01-01
Rapid growth in eBusiness has made industry and commerce increasingly dependent on the hardware and software infrastructure that enables high-volume transaction processing across the Internet. Large transaction volumes at major industrial-firm data centers rely on robust transaction protocols and adequately provisioned hardware capacity to ensure…
Automated Parallelization of Timed Petri-Net Simulations
1993-12-01
a suitor finds a previously engaged debutante such that the debutante prefers the new suitor to her engaged, the old engagement is broken and a new...sexes. A minor modification to the algorithm has the effect of selecting sexes: once an LP becomes engaged playing the role of a debutante , it is not
Condensed State Spaces for Symmetrical Coloured Petri Nets
DEFF Research Database (Denmark)
Jensen, Kurt
1996-01-01
This paper deals with state spaces. A state space is a directed graph with a node for each reachable state and an arc for each possible state change. We describe how symmetries of the modelled system can be exploited to obtain much more succinct state space analysis. The symmetries induce...... 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...
Control of Batch Processes Based on Hierarchical Petri Nets
YAJIMA, Tomoyuki; ITO, Takashi; HASHIZUME, Susumu; KURIMOTO, Hidekazu; ONOGI, Katsuaki
2004-01-01
A batch process is a typical concurrent system in which multiple interacting tasks are carried out in parallel on several batches at the same time. A major difficulty in designing a batch control system is the lack of modeling techniques. This paper aims at developing a method of constructing batch control system models in a hierarchical manner and operating batch processes using the constructed models. For this purpose, it first defines process and plant specifications described by partial l...
A petri net specification of the REA business ontology
Weigand, Hans; Johannesson, Paul; Andersson, B.; Espana, Sergio; Ivanovic, Mirjana; Savic, Milos
Current auditing procedures struggle with the incorporation of new data-driven techniques such as Process Mining. Although Process Mining has been applied experimentally on micro-level workflow processes, it is not so easy to apply on the level of the value cycle that is at the core of accounting
Petri Net Modeling of Computer Virus Life Cycle | Ikekonwu ...
African Journals Online (AJOL)
If you would like more information about how to print, save, and work with PDFs, Highwire Press provides a helpful Frequently Asked Questions about PDFs. Alternatively, you can download the PDF file directly to your computer, from where it can be opened using a PDF reader. To download the PDF, click the Download link ...
Analysis of a sewage treatment facility using hybrid Petri nets
Ghasemieh, Hamed; Remke, Anne Katharina Ingrid; Haverkort, Boudewijn R.H.M.
2013-01-01
Waste water treatment facilities clean sewage water from households and industry in several cleaning steps. Such facilities are dimensioned to accommodate a maximum intake. However, in the case of very bad weather conditions or failures of system components the system might not suffice to
Multipoint MultimediaSynchronization: A Petri Net Based Approach
Dutta, Animesh; National Institute of Technology; Pal, Koninika; National Institute of Technology; Dasgupta, Ranjan; National Institute of Technical Teacher’s Training and Research; Bhattacharya, Swapan; Jadavpur University
2012-01-01
Maintaining the satisfactory QoS, synchronization is a big challenge to the researcher in the ﬁeld of Information and Communication Technology (ICT). In this paper we address a multimedia synchronization issue called multipoint synchronization which is necessary in some distributed collaborative application like teleteaching, teleconferencing etc.,involving the play out process of same media stream at different receivers at the same time to achieve fairness among the receivers. We found the i...
Modeling reconfigurable manufacturing systems with colored timed Petri nets
Zhang, L.; Rodrigues, B.
2009-01-01
Reconfigurable manufacturing systems (RMSs) have been acknowledged as a promising means of providing manufacturing companies with the required production capacities and capabilities. This is accomplished through reconfiguring system elements over time for a diverse set of individualised products
Estimation of parameters of MRSA-05, based on Petri nets
Directory of Open Access Journals (Sweden)
О.І. Варченко
2009-02-01
Full Text Available Principles of construction and work of the systems of relay defense are considered, developed algorithm of work for block of defense on maximal voltage of microprocessor defense, automation, control and management of connections of 6-35 kV build. The imitation model of device operation is offered.
Code Generation from Pragmatics Annotated Coloured Petri Nets
DEFF Research Database (Denmark)
Simonsen, Kent Inge
using a sub-class of CPNs, called Pragmatics Annotated CPNs (PACPNs). PA-CPNs give structure to the protocol models and allows the models to be annotated with code generation pragmatics. These pragmatics are used by our code generation approach to identify and execute the appropriate code generation...
Modelling an Interactive Road Signs System, Using Petri Nets
Directory of Open Access Journals (Sweden)
Kombe Timothee
2017-03-01
Full Text Available This paper is a contribution to the problems of road insecurity in Africa. Due to non-respect of road sign and to the lack of signing, roads have become places of all dangers. It becomes imperative to establish an interaction between the authorities and the offending drivers. To reach this goal, we modelled an interactive road-vehicle-signage system, who locally informs the driver on the requirements of traffic signs. This model having interest only in the event of driving by bad weather or deterioration of panels, we are amending by inserting functions aimed to warn and punish the driver in the event of maintenance of an offense. Indeed, when the driver is about to commit a fault, firstly the system issues a warming (visual, audible or mechanical. Then, a message (SMS is sent to the authorities. We include the concept of floating process engaged by devices other than the signage. We show that, with a few considerations, from the functional point of view, they are identical to the process engaged by the signage. Furthermore, in terms of performance, the model renewed warnings that occurred just before the end panel of prohibitions. It stores messages of offenses occurred without the network, then notifies them when a network is detected. We propose algorithms for incremental design and analysis of the model, whose processes are activated and / or are extinguished, according to the type of sign or tag encountered. We show by simulation and by linear algebra that, the model retains its properties of absence of blocking and boundedness during the evolution of the system, hence its validation.
Formal Requirements Modeling for Reactive Systems with Coloured Petri Nets
DEFF Research Database (Denmark)
Tjell, Simon
. This is important because it represents the identi cation of what is being designed (the reactive system), and what is given and being made assumptions about (the environment). The representation of the environment is further partitioned to distinguish human actors from non-human actors. This allows the modeler...... to addressing the problem of validating formal requirements models through interactive graphical animations is presented. Executable Use Cases (EUCs) provide a framework for integrating three tiers of descriptions of specifications and environment assumptions: the lower tier is an informal description...... to distinguish the modeling artifacts describing the environment from those describing the specifications for a reactive system. The formalization allows for clear identi cation of interfaces between interacting domains, where the interaction takes place through an abstraction of possibly parameterized states...
Modelling of dynamics through fuzzy enhanced high level petri net
Indian Academy of Sciences (India)
R. Narasimhan (Krishtel eMaging) 1461 1996 Oct 15 13:05:22
common planning. • The manifestation of entirely new functions and companies, principally for logistics ser- vices, the most essential new functions is that of infomediaries. Also, the new functions ...... Jackson S, Browne J 1992 AI-based decision support tool for strategic decision making in factory for the future. Comput.
Aplicaciones de la redes de Petri en la construcción
Directory of Open Access Journals (Sweden)
Recuero, Alfonso
1997-02-01
Full Text Available Petri nets is a very important tool for the analysis of dynamic systems. It should be know by all experts in computational science. Their most important applications in building are in fabrication processes and in the exchange of electronic messages among the different participants in the building process.
In this work, a brief description of Petri nets is presented, and their application to message interchange is shown.
Las redes de Petri son una herramienta muy importante para el análisis de sistemas dinámicos, herramienta que debiera ser conocida por cualquier experto en ciencias de la computación. Dentro del campo de la construcción, sus aplicaciones más claras están en la fabricación de materiales y elementos y en el intercambio de mensajes electrónicos entre los distintos participantes en el proceso constructivo.
En este trabajo se presenta una sucinta descripción de las redes de Petri, mostrando su aplicación al intercambio de mensajes.
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
Distributed state-space generation of discrete-state stochastic models
Ciardo, Gianfranco; Gluckman, Joshua; Nicol, David
1995-01-01
High-level formalisms such as stochastic Petri nets can be used to model complex systems. Analysis of logical and numerical properties of these models of ten requires the generation and storage of the entire underlying state space. This imposes practical limitations on the types of systems which can be modeled. Because of the vast amount of memory consumed, we investigate distributed algorithms for the generation of state space graphs. The distributed construction allows us to take advantage of the combined memory readily available on a network of workstations. The key technical problem is to find effective methods for on-the-fly partitioning, so that the state space is evenly distributed among processors. In this paper we report on the implementation of a distributed state-space generator that may be linked to a number of existing system modeling tools. We discuss partitioning strategies in the context of Petri net models, and report on performance observed on a network of workstations, as well as on a distributed memory multi-computer.
On the Hereditary Properties of Modular Nets
Directory of Open Access Journals (Sweden)
V. A. Bashkin
2012-01-01
Full Text Available Hereditary graph properties are those that can be inherited from the graph to all its subgraphs (such as planarity. Modular nets of active resources is a (Petri nets- powerful formalism with simple modular syntax. Boundedness and liveness are fundamental semantic properties for Petri net models. It is shown that boundedness and liveness, being not hereditary in general, are downward-hereditary (net-to-subnet and upward-hereditary (subnet-to-net for the particular types of AR-subnets. It is also shown that boundedness is downward-hereditary and unboundedness is upward-hereditary for arbitrary subnets after a specific module interface transformation (so-called R-normalization.
Recreating Intestinal Peristalsis in the Petri Dish.
Espinosa-Luna, Rosa; Barajas-Espinosa, Alma R; Ochoa-Cortez, Fernando; Barajas-López, Carlos
2018-01-01
Here we describe a culture technique of cells dissociated from the external muscularis of the guinea pig small intestine, which allows us to maintain all the elements involved in the intestinal peristaltic reflex. After a few days in culture, these cells reorganize to form a small group of cells that permit the generation of pacemaker activity, spontaneous contractions, and the development of inhibitory and excitatory junction potentials in the petri dish, all elements involved in the peristaltic reflex. Therefore, these co-cultures are suitable to study the cellular and molecular aspects related to the development, maintenance, and modulation of motor intestinal functions.
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)
Action-based verification of RTCP-nets with CADP
Biernacki, Jerzy; Biernacka, Agnieszka; Szpyrka, Marcin
2015-12-01
The paper presents an RTCP-nets' (real-time coloured Petri nets) coverability graphs into Aldebaran format translation algorithm. The approach provides the possibility of automatic RTCP-nets verification using model checking techniques provided by the CADP toolbox. An actual fire alarm control panel system has been modelled and several of its crucial properties have been verified to demonstrate the usability of the approach.
Dynamical and hamiltonian dilations of stochastic processes
International Nuclear Information System (INIS)
Baumgartner, B.; Gruemm, H.-R.
1982-01-01
This is a study of the problem, which stochastic processes could arise from dynamical systems by loss of information. The notions of ''dilation'' and ''approximate dilation'' of a stochastic process are introduced to give exact definitions of this particular relationship. It is shown that every generalized stochastic process is approximately dilatable by a sequence of dynamical systems, but for stochastic processes in full generality one needs nets. (Author)
Stochastic Coloured Petrinet Based Healthcare Infrastructure Interdependency Model
Nukavarapu, Nivedita; Durbha, Surya
2016-06-01
The Healthcare Critical Infrastructure (HCI) protects all sectors of the society from hazards such as terrorism, infectious disease outbreaks, and natural disasters. HCI plays a significant role in response and recovery across all other sectors in the event of a natural or manmade disaster. However, for its continuity of operations and service delivery HCI is dependent on other interdependent Critical Infrastructures (CI) such as Communications, Electric Supply, Emergency Services, Transportation Systems, and Water Supply System. During a mass casualty due to disasters such as floods, a major challenge that arises for the HCI is to respond to the crisis in a timely manner in an uncertain and variable environment. To address this issue the HCI should be disaster prepared, by fully understanding the complexities and interdependencies that exist in a hospital, emergency department or emergency response event. Modelling and simulation of a disaster scenario with these complexities would help in training and providing an opportunity for all the stakeholders to work together in a coordinated response to a disaster. The paper would present interdependencies related to HCI based on Stochastic Coloured Petri Nets (SCPN) modelling and simulation approach, given a flood scenario as the disaster which would disrupt the infrastructure nodes. The entire model would be integrated with Geographic information based decision support system to visualize the dynamic behaviour of the interdependency of the Healthcare and related CI network in a geographically based environment.
Stochastic volatility and stochastic leverage
DEFF Research Database (Denmark)
Veraart, Almut; Veraart, Luitgard A. M.
This paper proposes the new concept of stochastic leverage in stochastic volatility models. Stochastic leverage refers to a stochastic process which replaces the classical constant correlation parameter between the asset return and the stochastic volatility process. We provide a systematic...... models which allow for a stochastic leverage effect: the generalised Heston model and the generalised Barndorff-Nielsen & Shephard model. We investigate the impact of a stochastic leverage effect in the risk neutral world by focusing on implied volatilities generated by option prices derived from our new...
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...
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...
Soundness of Timed-Arc Workflow Nets
DEFF Research Database (Denmark)
Mateo, Jose Antonio; Srba, Jiri; Sørensen, Mathias Grund
2014-01-01
Analysis of workflow processes with quantitative aspects like timing is of interest in numerous time-critical applications. We suggest a workflow model based on timed-arc Petri nets and study the foundational problems of soundness and strong (time-bounded) soundness. We explore the decidability...... of these problems and show, among others, that soundness is decidable for monotonic workflow nets while reachability is undecidable. For general timed-arc workflow nets soundness and strong soundness become undecidable, though we can design efficient verification algorithms for the subclass of bounded nets. Finally......, we demonstrate the usability of our theory on the case studies of a Brake System Control Unit used in aircraft certification, the MPEG2 encoding algorithm, and a blood transfusion workflow. The implementation of the algorithms is freely available as a part of the model checker TAPAAL....
Indian Academy of Sciences (India)
IAS Admin
V S Borkar is the Institute. Chair Professor of. Electrical Engineering at. IIT Bombay. His research interests are stochastic optimization, theory, algorithms and applica- tions. 1 'Markov Chain Monte Carlo' is another one (see [1]), not to mention schemes that combine both. Stochastic approximation is one of the unsung.
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.
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...
Parzen, Emanuel
1962-01-01
Well-written and accessible, this classic introduction to stochastic processes and related mathematics is appropriate for advanced undergraduate students of mathematics with a knowledge of calculus and continuous probability theory. The treatment offers examples of the wide variety of empirical phenomena for which stochastic processes provide mathematical models, and it develops the methods of probability model-building.Chapter 1 presents precise definitions of the notions of a random variable and a stochastic process and introduces the Wiener and Poisson processes. Subsequent chapters examine
McKean, Henry P
2005-01-01
This little book is a brilliant introduction to an important boundary field between the theory of probability and differential equations. -E. B. Dynkin, Mathematical Reviews This well-written book has been used for many years to learn about stochastic integrals. The book starts with the presentation of Brownian motion, then deals with stochastic integrals and differentials, including the famous Itô lemma. The rest of the book is devoted to various topics of stochastic integral equations, including those on smooth manifolds. Originally published in 1969, this classic book is ideal for supplemen
A methodology integrating Petri nets and knowledge-based systems to support process family planning
Zhang, Linda L.; Xu, Qianli; Helo, Petri
2012-01-01
Planning production processes for product families have been well recognised as an effective means of achieving successful product family development. However, most existing approaches do not lend themselves to planning production processes with focus on the optimality of the cohort of a product
Fault Tolerant Analysis For Holonic Manufacturing Systems Based On Collaborative Petri Nets
Fu-Shiung Hsieh
2003-01-01
Uncertainties are significant characteristics of today's manufacturing systems. Holonic manufacturing systems are new paradigms to handle uncertainties and changes in manufacturing environments. Among many sources of uncertainties, failure prone machines are one of the most important ones. This paper focuses on handling machine failures in holonic manufacturing systems. Machine failure will reduce the number of available resources. Feasibility analysis need to be conducted to check whether th...
A METHODOLOGY FOR KNOWLEDGE MODELING OF FAULT DIAGNOSIS BASED ON PETRI NETS
Directory of Open Access Journals (Sweden)
JUAN PALACIO BETANCUR
2013-01-01
Full Text Available Se presenta una metodología para el levantamiento y modelado del conocimiento con el fin de realizar un sistema experto para el diagnóstico y despeje de fallas. Esta consta de la definición de los sistemas de la planta, las fuentes de información y conocimiento, y finalmente los modelos del conocimiento. Todo con el fin de guiar el comportamiento de los operadores y el personal de la planta en situaciones de contingencia.
Interval Abstraction Refinement for Model Checking of Timed-Arc Petri Nets
DEFF Research Database (Denmark)
Viesmose, Sine Lyhne; Jacobsen, Thomas Stig; Jensen, Jacob Jon
2014-01-01
can be considerably faster but it does not in general guarantee conclusive answers. We implement the algorithms within the open-source model checker TAPAAL and demonstrate on a number of experiments that our approximation techniques often result in a significant speed-up of the verification....
CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets
DEFF Research Database (Denmark)
Jensen, Kurt; Christensen, Søren; Ravn, Katrine
2001-01-01
the workspace. It challenges traditional ideas about user interfaces, getting rid of pull-down menus, scrollbars, and even selection, while providing the same or greater functionality. CPN/Tools requires an OpenGL graphics accelerator and will run on all major platforms (Windows, Unix/Linux, MacOS)....
A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets
DEFF Research Database (Denmark)
David, Alexandre; Jacobsen, Lasse; Jacobsen, Morten
2012-01-01
, inhibitor arcs and age invariants.We also give a complete proof of its correctness,including reduction techniques based on symmetries and extrapolation.Finally, we augment the algorithm with a novel state-spacereduction technique introducing a monotonic ordering on markings and prove its soundness even...
Undecidability of Coverability and Boundedness for Timed-Arc Petri Nets with Invariatnts
DEFF Research Database (Denmark)
Jacobsen, Morten; Jacobsen, Lasse; Møller, Mikael Harkjær
2009-01-01
by a recent tool called TAPAAL which, among others, further extends TAPN with invariants on places in order to model urgency. The decidability of boundedness and coverability for this extended model has not yet been considered. We present a reduc- tion from two-counter Minsky machines to TAPN with invariants...
Decision-making of selectable process plans based on petri net with manufacturing constraints
DEFF Research Database (Denmark)
Xiao, Weiyue; Jones, Richard William; Yu, Fei
2016-01-01
-invariant, namely the non-negative integer solution of a linear equation set. Two examples verify the effectiveness of the proposed method indicating that the proposed T-invariant decision-making approach can be used to achieve desired optimal/suboptimal process plans for a machinery manufacturing system....
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.
Integrating System Dynamics with Object-Role Modeling and Petri Nets
Tulinayo, F.P.; Hoppenbrouwers, S.J.B.A.; Bommel, P. van; Proper, H.A.; Mendling, J.; Rinderle-Ma, S.; Esswein, W.
2009-01-01
The art of System Dynamics (SD) modeling lies in discovering and repre- senting the feedback processes and other elements that determine the dynamics of a system. However, SD shows a lack of means for discovering and expressing precise, language-based concepts in domains. Therefore, we choose to use
Modeling Enterprise Architecture Using Timed Colored PETRI Net: Single Processor Scheduling
Pashazadeh, Saied; Niyari, Elham Abdolrahimi
2014-01-01
The purpose of modeling enterprise architecture and analysis of it is to ease decision making about architecture of information systems. Planning is one of the most important tasks in an organization and has a major role in increasing the productivity of it. Scope of this paper is scheduling processes in the enterprise architecture. Scheduling is decision making on execution start time of processes that are used in manufacturing and service systems. Different methods and tools have been propo...
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 constitut......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...
Formal Requirements Modeling with Executable Use Cases and Coloured Petri Nets
Jørgensen, Jens Bæk; Tjell, Simon; Fernandes, Joao Miguel
2009-01-01
This paper presents executable use cases (EUCs), which constitute a model-based approach to requirements engineering. EUCs may be used as a supplement to model-driven development (MDD) and can describe and link user-level requirements and more technical software specifications. In MDD, user-level requirements are not always explicitly described, since usually it is sufficient that one provides a specification, or platform-independent model, of the software that is to be developed. Th...
Nested coloured timed Petri nets for production configuration of product families
Zhang, Lianfeng (Linda); Rodrigues, Brian
2010-01-01
Production configuration is as an effective technique to deal with product variety while maintaining production stability and efficiency. It involves a diverse set of process elements ( e. g., machines, operations), a high variety of component parts and assemblies and many constraints arising from
Directory of Open Access Journals (Sweden)
Ian Mackie
2013-02-01
Full Text Available Interaction nets are a graphical model of computation, which has been used to define efficient evaluators for functional calculi, and specifically lambda calculi with patterns. However, the flat structure of interaction nets forces pattern matching and functional behaviour to be encoded at the same level, losing some potential parallelism. In this paper, we introduce bigraphical nets, or binets for short, as a generalisation of interaction nets using ideas from bigraphs and port graphs, and we present a formal notation and operational semantics for binets. We illustrate their expressive power by examples of applications.
On the Spatial Boundedness of Cellular RDA-nets
Directory of Open Access Journals (Sweden)
Vladimir A. Bashkin
2017-01-01
Full Text Available Cellular resource driven automata nets (CRDA-nets is a generalization of the concept of two-level resource nets (Petri nets with an infinite regular system grid. This formalism is a hybrid of Petri nets and asynchronous Cellular Automata and is designed for modeling multi-agent systems with dynamic spatial structure. Spatial boundedness is a property that guarantees the preservation of the finiteness of “geometric dimensions” of the active part of the system (for example, the living space during its lifetime. Three variants of spatial boundedness for cellular RDA-nets are defined: localization, bounded diameter and bounded area. The properties of the corresponding algorithmic problems are investigated, their undecidability in the general case is proved. A non-trivial criterion for the localization of an one-dimensional CRDA-net is proposed, based on the new concept of the RDA propagation graph. An algorithm is described for constructing a propagation graph, using the method of saturation of generating paths. A method for estimating the diameter of an 1-dim CRDA with a bounded propagation graph is presented.
Gods, Germs, and Petri Dishes: Toward a Nonsecular Medical Anthropology.
Roberts, Elizabeth F S
2016-01-01
This commentary calls on medical anthropology to become programmatically non-secular. Despite recent anthropological critiques of secularity, within and outside of anthropology, most contemporary medical anthropologists continue to leave deities and religiosity out of their examinations of healing practices, especially in their accounts of biomedicine. Through a critical, relational constructionist lens, which traces how all entities are both constructed and real, a non-secular medical anthropology would insist that when deities are part of medical practice, they are integral to analysis. Importantly then, within the symmetrical nature of this same constructionist lens, biomedical entities like germs and petri dishes need to be accounted for just as much as deities.
Sedwards, Sean; Mazza, Tommaso
2007-10-15
Compartments and membranes are the basis of cell topology and more than 30% of the human genome codes for membrane proteins. While it is possible to represent compartments and membrane proteins in a nominal way with many mathematical formalisms used in systems biology, few, if any, explicitly model the topology of the membranes themselves. Discrete stochastic simulation potentially offers the most accurate representation of cell dynamics. Since the details of every molecular interaction in a pathway are often not known, the relationship between chemical species in not necessarily best described at the lowest level, i.e. by mass action. Simulation is a form of computer-aided analysis, relying on human interpretation to derive meaning. To improve efficiency and gain meaning in an automatic way, it is necessary to have a formalism based on a model which has decidable properties. We present Cyto-Sim, a stochastic simulator of membrane-enclosed hierarchies of biochemical processes, where the membranes comprise an inner, outer and integral layer. The underlying model is based on formal language theory and has been shown to have decidable properties (Cavaliere and Sedwards, 2006), allowing formal analysis in addition to simulation. The simulator provides variable levels of abstraction via arbitrary chemical kinetics which link to ordinary differential equations. In addition to its compact native syntax, Cyto-Sim currently supports models described as Petri nets, can import all versions of SBML and can export SBML and MATLAB m-files. Cyto-Sim is available free, either as an applet or a stand-alone Java program via the web page (http://www.cosbi.eu/Rpty_Soft_CytoSim.php). Other versions can be made available upon request.
PetriCode: A Tool for Template-Based Code Generation from CPN Models
DEFF Research Database (Denmark)
Simonsen, Kent Inge
2014-01-01
levels of abstraction. The elements of the models are annotated with code generation pragmatics enabling PetriCode to use a template-based approach to generate code while keeping the models uncluttered from implementation artefacts. PetriCode is the realization of our code generation approach which has...
Lukacs, Eugene; Lukacs, E
1975-01-01
Stochastic Convergence, Second Edition covers the theoretical aspects of random power series dealing with convergence problems. This edition contains eight chapters and starts with an introduction to the basic concepts of stochastic convergence. The succeeding chapters deal with infinite sequences of random variables and their convergences, as well as the consideration of certain sets of random variables as a space. These topics are followed by discussions of the infinite series of random variables, specifically the lemmas of Borel-Cantelli and the zero-one laws. Other chapters evaluate the po
Stochastic partial differential equations
Chow, Pao-Liu
2014-01-01
Preliminaries Introduction Some Examples Brownian Motions and Martingales Stochastic Integrals Stochastic Differential Equations of Itô Type Lévy Processes and Stochastic IntegralsStochastic Differential Equations of Lévy Type Comments Scalar Equations of First Order Introduction Generalized Itô's Formula Linear Stochastic Equations Quasilinear Equations General Remarks Stochastic Parabolic Equations Introduction Preliminaries Solution of Stochastic Heat EquationLinear Equations with Additive Noise Some Regularity Properties Stochastic Reaction-Diffusion Equations Parabolic Equations with Grad
1990-01-01
West Coast Netting, Inc.'s net of Hyperester twine, is made of three strands of fiber twisted together by a company-invented sophisticated twisting machine and process that maintain precisely the same tension on each strand. The resulting twine offers higher strength and improved abrasion resistance. The technology that created the Hyperester supertwine has found spinoff applications, first as an extra-efficient seine for tuna fishing, then as a capture net for law enforcement agencies. The newest one is as a deck for racing catamarans. Hyperester twine net has been used on most of the high performance racing catamarans of recent years, including the America's Cup Challenge boats. They are tough and hold up well in the continual exposure to sunlight and saltwater.
Eichhorn, Ralf; Aurell, Erik
2014-04-01
'Stochastic thermodynamics as a conceptual framework combines the stochastic energetics approach introduced a decade ago by Sekimoto [1] with the idea that entropy can consistently be assigned to a single fluctuating trajectory [2]'. This quote, taken from Udo Seifert's [3] 2008 review, nicely summarizes the basic ideas behind stochastic thermodynamics: for small systems, driven by external forces and in contact with a heat bath at a well-defined temperature, stochastic energetics [4] defines the exchanged work and heat along a single fluctuating trajectory and connects them to changes in the internal (system) energy by an energy balance analogous to the first law of thermodynamics. Additionally, providing a consistent definition of trajectory-wise entropy production gives rise to second-law-like relations and forms the basis for a 'stochastic thermodynamics' along individual fluctuating trajectories. In order to construct meaningful concepts of work, heat and entropy production for single trajectories, their definitions are based on the stochastic equations of motion modeling the physical system of interest. Because of this, they are valid even for systems that are prevented from equilibrating with the thermal environment by external driving forces (or other sources of non-equilibrium). In that way, the central notions of equilibrium thermodynamics, such as heat, work and entropy, are consistently extended to the non-equilibrium realm. In the (non-equilibrium) ensemble, the trajectory-wise quantities acquire distributions. General statements derived within stochastic thermodynamics typically refer to properties of these distributions, and are valid in the non-equilibrium regime even beyond the linear response. The extension of statistical mechanics and of exact thermodynamic statements to the non-equilibrium realm has been discussed from the early days of statistical mechanics more than 100 years ago. This debate culminated in the development of linear response
Crisan, Dan
2011-01-01
"Stochastic Analysis" aims to provide mathematical tools to describe and model high dimensional random systems. Such tools arise in the study of Stochastic Differential Equations and Stochastic Partial Differential Equations, Infinite Dimensional Stochastic Geometry, Random Media and Interacting Particle Systems, Super-processes, Stochastic Filtering, Mathematical Finance, etc. Stochastic Analysis has emerged as a core area of late 20th century Mathematics and is currently undergoing a rapid scientific development. The special volume "Stochastic Analysis 2010" provides a sa
Borodin, Andrei N
2017-01-01
This book provides a rigorous yet accessible introduction to the theory of stochastic processes. A significant part of the book is devoted to the classic theory of stochastic processes. In turn, it also presents proofs of well-known results, sometimes together with new approaches. Moreover, the book explores topics not previously covered elsewhere, such as distributions of functionals of diffusions stopped at different random times, the Brownian local time, diffusions with jumps, and an invariance principle for random walks and local times. Supported by carefully selected material, the book showcases a wealth of examples that demonstrate how to solve concrete problems by applying theoretical results. It addresses a broad range of applications, focusing on concrete computational techniques rather than on abstract theory. The content presented here is largely self-contained, making it suitable for researchers and graduate students alike.
DEFF Research Database (Denmark)
de Souza e Silva, Adriana Araujo; Gordon, Eric
, to location-based social networks and games, such as Foursquare and facebook. Warns of the threats these technologies, such as data surveillance, present to our sense of privacy, while also outlining the opportunities for pro-social developments. Provides a theory of the web in the context of the history......Provides an introduction to the new theory of Net Locality and the profound effect on individuals and societies when everything is located or locatable. Describes net locality as an emerging form of location awareness central to all aspects of digital media, from mobile phones, to Google Maps...
Flanders, Jon
2008-01-01
RESTful .NET is the first book that teaches Windows developers to build RESTful web services using the latest Microsoft tools. Written by Windows Communication Foundation (WFC) expert Jon Flanders, this hands-on tutorial demonstrates how you can use WCF and other components of the .NET 3.5 Framework to build, deploy and use REST-based web services in a variety of application scenarios. RESTful architecture offers a simpler approach to building web services than SOAP, SOA, and the cumbersome WS- stack. And WCF has proven to be a flexible technology for building distributed systems not necessa
CyberPetri at CDX 2016: Real-time Network Situation Awareness
Energy Technology Data Exchange (ETDEWEB)
Arendt, Dustin L.; Best, Daniel M.; Burtner, Edwin R.; Paul, Celeste
2016-10-24
CyberPetri is a novel visualization technique that provides a flexible map of the network based on available characteristics, such as IP address, operating system, or service. Previous work introduced CyberPetri as a visualization feature in Ocelot, a network defense tool that helped security analysts understand and respond to an active defense scenario. In this paper we present a case study in which we use the CyberPetri visualization technique to support real-time situation awareness during the 2016 Cyber Defense Exercise.
Energy imparted, energy transferred, and net energy transferred
International Nuclear Information System (INIS)
Attix, F.H.
1983-01-01
The ICRU-defined non-stochastic quantity absorbed dose is related to the stochastic quantity energy imparted. In the present paper the corresponding stochastic quantities energy transferred and net energy transferred are defined as precursors for kerma and collision kerma, respectively. This forms a rational fundamental framework for radiation dosimetry which facilitates its teaching and understanding. For neutrons collision kerma coincides with kerma, because the heavy secondaries do not lose significant energy by radiative processes (e.g., bremsstrahlung)
International Nuclear Information System (INIS)
Colombino, A.; Mosiello, R.; Norelli, F.; Jorio, V.M.; Pacilio, N.
1975-01-01
A nuclear system kinetics is formulated according to a stochastic approach. The detailed probability balance equations are written for the probability of finding the mixed population of neutrons and detected neutrons, i.e. detectrons, at a given level for a given instant of time. Equations are integrated in search of a probability profile: a series of cases is analyzed through a progressive criterium. It tends to take into account an increasing number of physical processes within the chosen model. The most important contribution is that solutions interpret analytically experimental conditions of equilibrium (moise analysis) and non equilibrium (pulsed neutron measurements, source drop technique, start up procedures)
Lanchier, Nicolas
2017-01-01
Three coherent parts form the material covered in this text, portions of which have not been widely covered in traditional textbooks. In this coverage the reader is quickly introduced to several different topics enriched with 175 exercises which focus on real-world problems. Exercises range from the classics of probability theory to more exotic research-oriented problems based on numerical simulations. Intended for graduate students in mathematics and applied sciences, the text provides the tools and training needed to write and use programs for research purposes. The first part of the text begins with a brief review of measure theory and revisits the main concepts of probability theory, from random variables to the standard limit theorems. The second part covers traditional material on stochastic processes, including martingales, discrete-time Markov chains, Poisson processes, and continuous-time Markov chains. The theory developed is illustrated by a variety of examples surrounding applications such as the ...
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
Stochastic Averaging and Stochastic Extremum Seeking
Liu, Shu-Jun
2012-01-01
Stochastic Averaging and Stochastic Extremum Seeking develops methods of mathematical analysis inspired by the interest in reverse engineering and analysis of bacterial convergence by chemotaxis and to apply similar stochastic optimization techniques in other environments. The first half of the text presents significant advances in stochastic averaging theory, necessitated by the fact that existing theorems are restricted to systems with linear growth, globally exponentially stable average models, vanishing stochastic perturbations, and prevent analysis over infinite time horizon. The second half of the text introduces stochastic extremum seeking algorithms for model-free optimization of systems in real time using stochastic perturbations for estimation of their gradients. Both gradient- and Newton-based algorithms are presented, offering the user the choice between the simplicity of implementation (gradient) and the ability to achieve a known, arbitrary convergence rate (Newton). The design of algorithms...
International Nuclear Information System (INIS)
Wellens, Thomas; Shatokhin, Vyacheslav; Buchleitner, Andreas
2004-01-01
We are taught by conventional wisdom that the transmission and detection of signals is hindered by noise. However, during the last two decades, the paradigm of stochastic resonance (SR) proved this assertion wrong: indeed, addition of the appropriate amount of noise can boost a signal and hence facilitate its detection in a noisy environment. Due to its simplicity and robustness, SR has been implemented by mother nature on almost every scale, thus attracting interdisciplinary interest from physicists, geologists, engineers, biologists and medical doctors, who nowadays use it as an instrument for their specific purposes. At the present time, there exist a lot of diversified models of SR. Taking into account the progress achieved in both theoretical understanding and practical application of this phenomenon, we put the focus of the present review not on discussing in depth technical details of different models and approaches but rather on presenting a general and clear physical picture of SR on a pedagogical level. Particular emphasis will be given to the implementation of SR in generic quantum systems-an issue that has received limited attention in earlier review papers on the topic. The major part of our presentation relies on the two-state model of SR (or on simple variants thereof), which is general enough to exhibit the main features of SR and, in fact, covers many (if not most) of the examples of SR published so far. In order to highlight the diversity of the two-state model, we shall discuss several examples from such different fields as condensed matter, nonlinear and quantum optics and biophysics. Finally, we also discuss some situations that go beyond the generic SR scenario but are still characterized by a constructive role of noise
Wellens, Thomas; Shatokhin, Vyacheslav; Buchleitner, Andreas
2004-01-01
We are taught by conventional wisdom that the transmission and detection of signals is hindered by noise. However, during the last two decades, the paradigm of stochastic resonance (SR) proved this assertion wrong: indeed, addition of the appropriate amount of noise can boost a signal and hence facilitate its detection in a noisy environment. Due to its simplicity and robustness, SR has been implemented by mother nature on almost every scale, thus attracting interdisciplinary interest from physicists, geologists, engineers, biologists and medical doctors, who nowadays use it as an instrument for their specific purposes. At the present time, there exist a lot of diversified models of SR. Taking into account the progress achieved in both theoretical understanding and practical application of this phenomenon, we put the focus of the present review not on discussing in depth technical details of different models and approaches but rather on presenting a general and clear physical picture of SR on a pedagogical level. Particular emphasis will be given to the implementation of SR in generic quantum systems—an issue that has received limited attention in earlier review papers on the topic. The major part of our presentation relies on the two-state model of SR (or on simple variants thereof), which is general enough to exhibit the main features of SR and, in fact, covers many (if not most) of the examples of SR published so far. In order to highlight the diversity of the two-state model, we shall discuss several examples from such different fields as condensed matter, nonlinear and quantum optics and biophysics. Finally, we also discuss some situations that go beyond the generic SR scenario but are still characterized by a constructive role of noise.
Project Evaluation and Cash Flow Forecasting by Stochastic Simulation
Directory of Open Access Journals (Sweden)
Odd A. Asbjørnsen
1983-10-01
Full Text Available The net present value of a discounted cash flow is used to evaluate projects. It is shown that the LaPlace transform of the cash flow time function is particularly useful when the cash flow profiles may be approximately described by ordinary linear differential equations in time. However, real cash flows are stochastic variables due to the stochastic nature of the disturbances during production.
Stochastic symmetries of Wick type stochastic ordinary differential equations
Ünal, Gazanfer
2015-04-01
We consider Wick type stochastic ordinary differential equations with Gaussian white noise. We define the stochastic symmetry transformations and Lie equations in Kondratiev space (S)-1N. We derive the determining system of Wick type stochastic partial differential equations with Gaussian white noise. Stochastic symmetries for stochastic Bernoulli, Riccati and general stochastic linear equation in (S)-1N are obtained. A stochastic version of canonical variables is also introduced.
Ogawa, Shigeyoshi
2017-01-01
This book presents an elementary introduction to the theory of noncausal stochastic calculus that arises as a natural alternative to the standard theory of stochastic calculus founded in 1944 by Professor Kiyoshi Itô. As is generally known, Itô Calculus is essentially based on the "hypothesis of causality", asking random functions to be adapted to a natural filtration generated by Brownian motion or more generally by square integrable martingale. The intention in this book is to establish a stochastic calculus that is free from this "hypothesis of causality". To be more precise, a noncausal theory of stochastic calculus is developed in this book, based on the noncausal integral introduced by the author in 1979. After studying basic properties of the noncausal stochastic integral, various concrete problems of noncausal nature are considered, mostly concerning stochastic functional equations such as SDE, SIE, SPDE, and others, to show not only the necessity of such theory of noncausal stochastic calculus but ...
Directory of Open Access Journals (Sweden)
Zhongyuan Jiang
2017-01-01
Full Text Available Mutual exclusion problems widely exist in discrete event systems in which several processes will compete for the common resource for maintaining their normal running. This competition is mutually exclusive. However, a special behavior, that is, periodic mutual exclusion behavior, is important for many discrete event systems. Once a process obtains the common resource, it will consecutively obtain the common resource in the following several competitions. The other processes should wait for the release of the common resource. All processes will compete for the common resource again after the common resource is released. These competitions have obvious periodicity. In this paper, a methodology is proposed to design periodic mutual exclusion supervisors to control the periodic mutual exclusion behavior in discrete event systems. Moreover, two original structural conversion concepts, called k-derivation and k-convergence processes, are proposed to construct the periodic mutual exclusion supervisors. The discussion results show that many undesirable execution sequences are forbidden since the periodic mutual exclusion behavior is controlled by the proposed periodic mutual exclusion supervisors. Finally, an example is used to illustrate the proposed methodology.
Zhang, Lianfeng (Linda); You, Xiao; Jiao, Jianxin (Roger); Helo, Petri
2009-01-01
Supply chain configuration lends itself to be an effective means to deal with product differentiation and customisation throughout a supply chain network. It essentially entails the instantiation of a generic supply chain network to specific supply chains in accordance with diverse customer
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
This paper presents WorkflowNet2BPEL4WS a tool to automatically map a graphical workflow model expressed in terms of Workflow Nets (WF-nets) onto BPEL. The Business Process Execution Language for Web Services (BPEL) has emerged as the de-facto standard for implementing processes and is supported...... 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...
Yukich, Joshua; Bennett, Adam; Keating, Joseph; Yukich, Rudy K; Lynch, Matt; Eisele, Thomas P; Kolaczinski, Kate
2013-06-14
Mass distribution of long-lasting insecticide treated bed nets (LLINs) has led to large increases in LLIN coverage in many African countries. As LLIN ownership levels increase, planners of future mass distributions face the challenge of deciding whether to ignore the nets already owned by households or to take these into account and attempt to target individuals or households without nets. Taking existing nets into account would reduce commodity costs but require more sophisticated, and potentially more costly, distribution procedures. The decision may also have implications for the average age of nets in use and therefore on the maintenance of universal LLIN coverage over time. A stochastic simulation model based on the NetCALC algorithm was used to determine the scenarios under which it would be cost saving to take existing nets into account, and the potential effects of doing so on the age profile of LLINs owned. The model accounted for variability in timing of distributions, concomitant use of continuous distribution systems, population growth, sampling error in pre-campaign coverage surveys, variable net 'decay' parameters and other factors including the feasibility and accuracy of identifying existing nets in the field. Results indicate that (i) where pre-campaign coverage is around 40% (of households owning at least 1 LLIN), accounting for existing nets in the campaign will have little effect on the mean age of the net population and (ii) even at pre-campaign coverage levels above 40%, an approach that reduces LLIN distribution requirements by taking existing nets into account may have only a small chance of being cost-saving overall, depending largely on the feasibility of identifying nets in the field. Based on existing literature the epidemiological implications of such a strategy is likely to vary by transmission setting, and the risks of leaving older nets in the field when accounting for existing nets must be considered. Where pre-campaign coverage
2013-01-01
Background Mass distribution of long-lasting insecticide treated bed nets (LLINs) has led to large increases in LLIN coverage in many African countries. As LLIN ownership levels increase, planners of future mass distributions face the challenge of deciding whether to ignore the nets already owned by households or to take these into account and attempt to target individuals or households without nets. Taking existing nets into account would reduce commodity costs but require more sophisticated, and potentially more costly, distribution procedures. The decision may also have implications for the average age of nets in use and therefore on the maintenance of universal LLIN coverage over time. Methods A stochastic simulation model based on the NetCALC algorithm was used to determine the scenarios under which it would be cost saving to take existing nets into account, and the potential effects of doing so on the age profile of LLINs owned. The model accounted for variability in timing of distributions, concomitant use of continuous distribution systems, population growth, sampling error in pre-campaign coverage surveys, variable net ‘decay’ parameters and other factors including the feasibility and accuracy of identifying existing nets in the field. Results Results indicate that (i) where pre-campaign coverage is around 40% (of households owning at least 1 LLIN), accounting for existing nets in the campaign will have little effect on the mean age of the net population and (ii) even at pre-campaign coverage levels above 40%, an approach that reduces LLIN distribution requirements by taking existing nets into account may have only a small chance of being cost-saving overall, depending largely on the feasibility of identifying nets in the field. Based on existing literature the epidemiological implications of such a strategy is likely to vary by transmission setting, and the risks of leaving older nets in the field when accounting for existing nets must be considered
Stochastic quantization and supersymmetry
International Nuclear Information System (INIS)
Kirschner, R.
1984-04-01
In the last years interest in stochastic quantization has increased. The method of quantization by stochastic relaxation processes has been proposed by Parisi and Wu, inspired by the extensive application of Monte Carlo simulations to quantum systems. Starting with the classical equations of motion of the system (field theory) and adding random force terms - the random force obeys a Gaussian distribution (white noise) - stochastic differential equations are obtained, in this context called Langevin equations, which are a central object in the theory of stochastic processes. (author)
Directory of Open Access Journals (Sweden)
Kaidesoja Tuukka
2015-09-01
Full Text Available This paper is a reply to the discussions of Ruth Groff, Dave Elder-Vass, Daniel Little, and Petri Ylikoski of Tuukka Kaidesoja (2013: Naturalizing Critical Realist Social Ontology (London: Routledge.
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......-time semantics (integer delays)and explore the decidability of the soundness problemsand show, among others, that soundness is decidable for monotonic workflow nets while reachability is undecidable.For general timed-arc workflow nets soundness andstrong soundness become undecidable, though we can design......, and a blood transfusion workflow.The implementation of the algorithms is freely available as a part of the model checker TAPAAL (www.tapaal.net)....
Gottwald, G.A.; Crommelin, D.T.; Franzke, C.L.E.; Franzke, C.L.E.; O'Kane, T.J.
2017-01-01
In this chapter we review stochastic modelling methods in climate science. First we provide a conceptual framework for stochastic modelling of deterministic dynamical systems based on the Mori-Zwanzig formalism. The Mori-Zwanzig equations contain a Markov term, a memory term and a term suggestive of
CSIR Research Space (South Africa)
Roux, FS
2013-09-01
Full Text Available Roux Presented at the International Conference on Correlation Optics 2013 Chernivtsi, Ukraine 18-20 September 2013 CSIR National Laser Centre, Pretoria, South Africa – p. 1/24 Contents ⊲ Defining Stochastic Singular Optics (SSO) ⊲ Tools of Stochastic...
Stochastic analytic regularization
International Nuclear Information System (INIS)
Alfaro, J.
1984-07-01
Stochastic regularization is reexamined, pointing out a restriction on its use due to a new type of divergence which is not present in the unregulated theory. Furthermore, we introduce a new form of stochastic regularization which permits the use of a minimal subtraction scheme to define the renormalized Green functions. (author)
A Stochastic Employment Problem
Wu, Teng
2013-01-01
The Stochastic Employment Problem(SEP) is a variation of the Stochastic Assignment Problem which analyzes the scenario that one assigns balls into boxes. Balls arrive sequentially with each one having a binary vector X = (X[subscript 1], X[subscript 2],...,X[subscript n]) attached, with the interpretation being that if X[subscript i] = 1 the ball…
Estimating net present value variability for deterministic models
van Groenendaal, W.J.H.
1995-01-01
For decision makers the variability in the net present value (NPV) of an investment project is an indication of the project's risk. So-called risk analysis is one way to estimate this variability. However, risk analysis requires knowledge about the stochastic character of the inputs. For large,
Greenwood, Priscilla E
2016-01-01
This book describes a large number of open problems in the theory of stochastic neural systems, with the aim of enticing probabilists to work on them. This includes problems arising from stochastic models of individual neurons as well as those arising from stochastic models of the activities of small and large networks of interconnected neurons. The necessary neuroscience background to these problems is outlined within the text, so readers can grasp the context in which they arise. This book will be useful for graduate students and instructors providing material and references for applying probability to stochastic neuron modeling. Methods and results are presented, but the emphasis is on questions where additional stochastic analysis may contribute neuroscience insight. An extensive bibliography is included. Dr. Priscilla E. Greenwood is a Professor Emerita in the Department of Mathematics at the University of British Columbia. Dr. Lawrence M. Ward is a Professor in the Department of Psychology and the Brain...
Stochastic quantization and gravity
International Nuclear Information System (INIS)
Rumpf, H.
1984-01-01
We give a preliminary account of the application of stochastic quantization to the gravitational field. We start in Section I from Nelson's formulation of quantum mechanics as Newtonian stochastic mechanics and only then introduce the Parisi-Wu stochastic quantization scheme on which all the later discussion will be based. In Section II we present a generalization of the scheme that is applicable to fields in physical (i.e. Lorentzian) space-time and treat the free linearized gravitational field in this manner. The most remarkable result of this is the noncausal propagation of conformal gravitons. Moreover the concept of stochastic gauge-fixing is introduced and a complete discussion of all the covariant gauges is given. A special symmetry relating two classes of covariant gauges is exhibited. Finally Section III contains some preliminary remarks on full nonlinear gravity. In particular we argue that in contrast to gauge fields the stochastic gravitational field cannot be transformed to a Gaussian process. (Author)
A simple stochastic weather generator for ecological modeling
A.G. Birt; M.R. Valdez-Vivas; R.M. Feldman; C.W. Lafon; D. Cairns; R.N. Coulson; M. Tchakerian; W. Xi; Jim Guldin
2010-01-01
Stochastic weather generators are useful tools for exploring the relationship between organisms and their environment. This paper describes a simple weather generator that can be used in ecological modeling projects. We provide a detailed description of methodology, and links to full C++ source code (http://weathergen.sourceforge.net) required to implement or modify...
International Nuclear Information System (INIS)
Carberry, M
1996-01-01
The paper is about the planning of nets in areas of low density like it is the case of the rural areas. The author includes economic and technological aspects, planning of nets, demands and management among others
Arking, Jon
2010-01-01
Comprehensive coverage to help experienced .NET developers create flexible, extensible enterprise application code If you're an experienced Microsoft .NET developer, you'll find in this book a road map to the latest enterprise development methodologies. It covers the tools you will use in addition to Visual Studio, including Spring.NET and nUnit, and applies to development with ASP.NET, C#, VB, Office (VBA), and database. You will find comprehensive coverage of the tools and practices that professional .NET developers need to master in order to build enterprise more flexible, testable, and ext
Sequential stochastic optimization
Cairoli, Renzo
1996-01-01
Sequential Stochastic Optimization provides mathematicians and applied researchers with a well-developed framework in which stochastic optimization problems can be formulated and solved. Offering much material that is either new or has never before appeared in book form, it lucidly presents a unified theory of optimal stopping and optimal sequential control of stochastic processes. This book has been carefully organized so that little prior knowledge of the subject is assumed; its only prerequisites are a standard graduate course in probability theory and some familiarity with discrete-paramet
Remarks on stochastic acceleration
International Nuclear Information System (INIS)
Graeff, P.
1982-12-01
Stochastic acceleration and turbulent diffusion are strong turbulence problems since no expansion parameter exists. Hence the problem of finding rigorous results is of major interest both for checking approximations and for reference models. Since we have found a way of constructing such models in the turbulent diffusion case the question of the extension to stochastic acceleration now arises. The paper offers some possibilities illustrated by the case of 'stochastic free fall' which may be particularly interesting in the context of linear response theory. (orig.)
Cushman, John H.
1987-04-01
In a recent review article, G. Sposito et al. (1986) examined the various stochastic theories which are concerned with transport of solutes in porous media. In this short note we expand on their discussion to include several topics which had been omitted. We begin by looking at two definitions of probability theory and their relation to the concept of an ensemble. An REV ensemble of soils is defined and examined. The concept of ergodicity is reviewed, and it is pointed out that most stochastic models are theoretically unverifiable. The relationship between scale of measurement and stochasticity is briefly reviewed, and an equation that combines the two concepts is presented.
Doberkat, Ernst-Erich
2009-01-01
Combining coalgebraic reasoning, stochastic systems and logic, this volume presents the principles of coalgebraic logic from a categorical perspective. Modal logics are also discussed, including probabilistic interpretations and an analysis of Kripke models.
Stochastic processes inference theory
Rao, Malempati M
2014-01-01
This is the revised and enlarged 2nd edition of the authors’ original text, which was intended to be a modest complement to Grenander's fundamental memoir on stochastic processes and related inference theory. The present volume gives a substantial account of regression analysis, both for stochastic processes and measures, and includes recent material on Ridge regression with some unexpected applications, for example in econometrics. The first three chapters can be used for a quarter or semester graduate course on inference on stochastic processes. The remaining chapters provide more advanced material on stochastic analysis suitable for graduate seminars and discussions, leading to dissertation or research work. In general, the book will be of interest to researchers in probability theory, mathematical statistics and electrical and information theory.
Stochastic Models of Evolution
Bezruchko, Boris P.; Smirnov, Dmitry A.
To continue the discussion of randomness given in Sect. 2.2.1, we briefly touch on stochastic models of temporal evolution (random processes). They can be specified either via explicit definition of their statistical properties (probability density functions, correlation functions, etc., Sects. 4.1, 4.2 and 4.3) or via stochastic difference or differential equations. Some of the most widely known equations, their properties and applications are discussed in Sects. 4.4 and 4.5.
Método para el Modelado y Prueba de Diagramas de Actividades Mediante Redes de Petri
Directory of Open Access Journals (Sweden)
Lionel Baquero Hernández
2015-11-01
Full Text Available Las redes de Petri son ideales para describir y estudiar sistemas que procesan información y con características concurrentes, asíncronas, distribuidas, paralelas, no determinísticas y/o estocásticas. . Sin embargo, la teoría clásica de estas redes se enfrenta al desafío de adecuarse a las nuevas necesidades de los sistemas informáticos que los ingenieros diseñan en la actualidad. Un diagrama de actividades representa una secuencia de actividades. Podría aplicarse a cualquier propósito, pero se considera especialmente útil para visualizar los flujos de trabajo y los procesos del negocio, o casos de uso. El presente trabajo se ha desarrollado con el objetivo de diseñar un método para el modelado y prueba de diagramas de actividades mediante redes de Petri. El método propuesto brinda una serie de pasos necesarios para modelar un diagrama de actividades con redes de Petri y a partir de dicha red obtener una representación matemática de la misma. Esta representación matemática se utiliza para con ella realizar una serie de operaciones basadas en el marcaje de la red que permiten realizar pruebas al diagrama. Este método es capaz de identificar errores comunes que se cometen en el modelado de los diagramas de actividades, lo cual se demostró a través del método de experimentación.
Directory of Open Access Journals (Sweden)
Fredy Alberto Sanz
2007-11-01
Full Text Available El presente trabajo tiene como objeto proponer una metodología para modelar los principales Esquemas de Enclavamiento, para maniobras pertenecientes a las configuraciones de subestaciones del Sistema Eléctrico Colombiano, para un nivel de tensión de 230 KV. Se utilizará un formalismo matemático como lo son las Redes de Petri Jerárquicas de Alto Nivel (RdPJ para la modelación de los esquemas de enclavamiento. Una vez obtenido el modelo en RdPJ se simula en STATEFLOW, herramienta computacional del MATLAB diseñada para trabajar con maquinas de estado finito, lo que implicaría la traducción de la RdPJ a un autómata finito./ This paper has as objective to model the principal Interlocking Schemes of switching, that belongs to Substation configurations of the Colombian Electric System for a voltage level of 230 KV. The modeling of the Interlocking Scheme will be used in a mathematic formalism such as Hierarchical High Level Petri Nets (H.H.L.P.N.. Once having obtained the model in the (H.H.L.P.N. it's simulated in STATEFLOW computational toolbox of MATLAB designed to work with state finite machines, that required translate the H.H.L.P.N. to automata finite.
DEFF Research Database (Denmark)
Marszal, Anna Joanna; Bourrelle, Julien S.; Musall, Eike
2010-01-01
The international cooperation project IEA SHC Task 40 / ECBCS Annex 52 “Towards Net Zero Energy Solar Buildings”, attempts to develop a common understanding and to set up the basis for an international definition framework of Net Zero Energy Buildings (Net ZEBs). The understanding of such buildings...... and how the Net ZEB status should be calculated differs in most countries. This paper presents an overview of Net ZEBs energy calculation methodologies proposed by organisations representing eight different countries: Austria, Canada, Denmark, Germany, Italy, Norway, Switzerland and the USA. The different...... parameters used in the calculations are discussed and the various renewable supply options considered in the methodologies are summarised graphically. Thus, the paper helps to understand different existing approaches to calculate energy balance in Net ZEBs, highlights the importance of variables selection...
2015-10-30
Coastal Inlets Research Program WaveNet WaveNet is a web-based, Graphical-User-Interface ( GUI ) data management tool developed for Corps coastal...generates tabular and graphical information for project planning and design documents. The WaveNet is a web-based GUI designed to provide users with a...data from different sources, and employs a combination of Fortran, Python and Matlab codes to process and analyze data for USACE applications
Malhis, Luai Mohammed
1996-08-01
Modeling and evaluation of communication and computing systems is an important undertaking. In many cases, large -scale systems are designed in an ad-hoc manner, with validation (or disappointment regarding) system performance coming only after an implementation is made. This does not need to be the case. Modern modeling tools and techniques can yield accurate performance predictions that can be used in the design process. Stochastic activity networks (SANs), stochastic Petri nets (SPNs) and analytic solution methods permit specification and fast solution of many complex system models. To enhance the modeling power of SANs (SPNs), new steady-state analysis methods have been proposed for SAN (SPN) models that include non-exponential activities (transitions). The underlying stochastic process is a Markov regenerative process (MRP) when at most one non -exponential activity (transition) is enabled in each marking. Time -efficient algorithms for constructing the Markov regenerative process have been developed. However, the space required to solve such models is often extremely large. This largeness is due to the large number of transitions in the MRP. Traditional analysis methods require all these transitions be stored in memory for efficient computation. If the size of available memory is smaller than that needed to store these transitions, a time-efficient computation is impossible using these methods. To use this class of SANs to model real systems, the space complexity of MRP analysis algorithms must be reduced. In this thesis, we propose a new steady-state analysis method that is time and space efficient. The new method takes advantage of the structure of the underlying process to reduce both computation time and required memory. The performance of the proposed method is compared to existing methods using several SAN examples. In addition, the ability to model real systems using SANs that include exponential and deterministic activities is demonstrated by modeling
Ferrara, Alex
2007-01-01
Web services are poised to become a key technology for a wide range of Internet-enabled applications, spanning everything from straight B2B systems to mobile devices and proprietary in-house software. While there are several tools and platforms that can be used for building web services, developers are finding a powerful tool in Microsoft's .NET Framework and Visual Studio .NET. Designed from scratch to support the development of web services, the .NET Framework simplifies the process--programmers find that tasks that took an hour using the SOAP Toolkit take just minutes. Programming .NET
Boyer, Christopher N.; Larson, James A.; Roberts, Roland K.; McClure, Angela T.; Tyler, Donald D.; Zhou, Vivian
2013-01-01
Deterministic and stochastic yield response plateau functions were estimated to determine the expected profit-maximizing nitrogen rates, yields, and net returns for corn grown after corn, cotton, and soybeans. The stochastic response functions were more appropriate than their deterministic counterparts, and the linear response stochastic plateau described the data the best. The profit-maximizing nitrogen rates were similar for corn after corn, cotton, and soybeans, but relative to corn after ...
CSIR Research Space (South Africa)
Lindeque, M
2013-01-01
Full Text Available Is it possible to develop a building that uses a net zero amount of water? In recent years it has become evident that it is possible to have buildings that use a net zero amount of electricity. This is possible when the building is taken off...
International Nuclear Information System (INIS)
Spears, B.
1987-01-01
The paper concerns the next generation of fusion machines which are intended to demonstrate the technical viability of fusion. In Europe, the device that will follow on from JET is known as NET - the Next European Torus. If the design programme for NET proceeds, Europe could start to build the machine in 1994. The present JET programme hopes to achieve breakeven in the early 1990's. NET hopes to reach ignition in the next century, and so lay the foundation for a demonstration reactor. A description is given of the technical specifications of the components of NET, including: the first wall, the divertors to protect the wall, the array of magnets that provide the fields containing the plasma, the superconducting magnets, and the shield of the machine. NET's research programme is briefly outlined, including the testing programme to optimise conditions in the machine to achieve ignition, and its safety work. (U.K.)
Stochastic cooling at Fermilab
International Nuclear Information System (INIS)
Marriner, J.
1986-08-01
The topics discussed are the stochastic cooling systems in use at Fermilab and some of the techniques that have been employed to meet the particular requirements of the anti-proton source. Stochastic cooling at Fermilab became of paramount importance about 5 years ago when the anti-proton source group at Fermilab abandoned the electron cooling ring in favor of a high flux anti-proton source which relied solely on stochastic cooling to achieve the phase space densities necessary for colliding proton and anti-proton beams. The Fermilab systems have constituted a substantial advance in the techniques of cooling including: large pickup arrays operating at microwave frequencies, extensive use of cryogenic techniques to reduce thermal noise, super-conducting notch filters, and the development of tools for controlling and for accurately phasing the system
Stochastic dynamics and irreversibility
Tomé, Tânia
2015-01-01
This textbook presents an exposition of stochastic dynamics and irreversibility. It comprises the principles of probability theory and the stochastic dynamics in continuous spaces, described by Langevin and Fokker-Planck equations, and in discrete spaces, described by Markov chains and master equations. Special concern is given to the study of irreversibility, both in systems that evolve to equilibrium and in nonequilibrium stationary states. Attention is also given to the study of models displaying phase transitions and critical phenomema both in thermodynamic equilibrium and out of equilibrium. These models include the linear Glauber model, the Glauber-Ising model, lattice models with absorbing states such as the contact process and those used in population dynamic and spreading of epidemic, probabilistic cellular automata, reaction-diffusion processes, random sequential adsorption and dynamic percolation. A stochastic approach to chemical reaction is also presented.The textbook is intended for students of ...
International Nuclear Information System (INIS)
Rumpf, H.
1987-01-01
We begin with a naive application of the Parisi-Wu scheme to linearized gravity. This will lead into trouble as one peculiarity of the full theory, the indefiniteness of the Euclidean action, shows up already at this level. After discussing some proposals to overcome this problem, Minkowski space stochastic quantization will be introduced. This will still not result in an acceptable quantum theory of linearized gravity, as the Feynman propagator turns out to be non-causal. This defect will be remedied only after a careful analysis of general covariance in stochastic quantization has been performed. The analysis requires the notion of a metric on the manifold of metrics, and a natural candidate for this is singled out. With this a consistent stochastic quantization of Einstein gravity becomes possible. It is even possible, at least perturbatively, to return to the Euclidean regime. 25 refs. (Author)
Stochastic optimization methods
Marti, Kurt
2005-01-01
Optimization problems arising in practice involve random parameters. For the computation of robust optimal solutions, i.e., optimal solutions being insensitive with respect to random parameter variations, deterministic substitute problems are needed. Based on the distribution of the random data, and using decision theoretical concepts, optimization problems under stochastic uncertainty are converted into deterministic substitute problems. Due to the occurring probabilities and expectations, approximative solution techniques must be applied. Deterministic and stochastic approximation methods and their analytical properties are provided: Taylor expansion, regression and response surface methods, probability inequalities, First Order Reliability Methods, convex approximation/deterministic descent directions/efficient points, stochastic approximation methods, differentiation of probability and mean value functions. Convergence results of the resulting iterative solution procedures are given.
Separable quadratic stochastic operators
International Nuclear Information System (INIS)
Rozikov, U.A.; Nazir, S.
2009-04-01
We consider quadratic stochastic operators, which are separable as a product of two linear operators. Depending on properties of these linear operators we classify the set of the separable quadratic stochastic operators: first class of constant operators, second class of linear and third class of nonlinear (separable) quadratic stochastic operators. Since the properties of operators from the first and second classes are well known, we mainly study the properties of the operators of the third class. We describe some Lyapunov functions of the operators and apply them to study ω-limit sets of the trajectories generated by the operators. We also compare our results with known results of the theory of quadratic operators and give some open problems. (author)
Stochastic dynamics and control
Sun, Jian-Qiao; Zaslavsky, George
2006-01-01
This book is a result of many years of author's research and teaching on random vibration and control. It was used as lecture notes for a graduate course. It provides a systematic review of theory of probability, stochastic processes, and stochastic calculus. The feedback control is also reviewed in the book. Random vibration analyses of SDOF, MDOF and continuous structural systems are presented in a pedagogical order. The application of the random vibration theory to reliability and fatigue analysis is also discussed. Recent research results on fatigue analysis of non-Gaussian stress proc
Foundations of stochastic analysis
Rao, M M; Lukacs, E
1981-01-01
Foundations of Stochastic Analysis deals with the foundations of the theory of Kolmogorov and Bochner and its impact on the growth of stochastic analysis. Topics covered range from conditional expectations and probabilities to projective and direct limits, as well as martingales and likelihood ratios. Abstract martingales and their applications are also discussed. Comprised of five chapters, this volume begins with an overview of the basic Kolmogorov-Bochner theorem, followed by a discussion on conditional expectations and probabilities containing several characterizations of operators and mea
Stochastic models, estimation, and control
Maybeck, Peter S
1982-01-01
This volume builds upon the foundations set in Volumes 1 and 2. Chapter 13 introduces the basic concepts of stochastic control and dynamic programming as the fundamental means of synthesizing optimal stochastic control laws.
Stochastic Decoding of Turbo Codes
Dong , Q. T.; ARZEL , Matthieu; Jego , Christophe; Gross , W. J.
2010-01-01
International audience; Stochastic computation is a technique in which operations on probabilities are performed on random bit streams. Stochastic decoding of forward error-correction (FEC) codes is inspired by this technique. This paper extends the application of the stochastic decoding approach to the families of convolutional codes and turbo codes. It demonstrates that stochastic computation is a promising solution to improve the data throughput of turbo decoders with very simple implement...
Net load forecasting for high renewable energy penetration grids
International Nuclear Information System (INIS)
Kaur, Amanpreet; Nonnenmacher, Lukas; Coimbra, Carlos F.M.
2016-01-01
We discuss methods for net load forecasting and their significance for operation and management of power grids with high renewable energy penetration. Net load forecasting is an enabling technology for the integration of microgrid fleets with the macrogrid. Net load represents the load that is traded between the grids (microgrid and utility grid). It is important for resource allocation and electricity market participation at the point of common coupling between the interconnected grids. We compare two inherently different approaches: additive and integrated net load forecast models. The proposed methodologies are validated on a microgrid with 33% annual renewable energy (solar) penetration. A heuristics based solar forecasting technique is proposed, achieving skill of 24.20%. The integrated solar and load forecasting model outperforms the additive model by 10.69% and the uncertainty range for the additive model is larger than the integrated model by 2.2%. Thus, for grid applications an integrated forecast model is recommended. We find that the net load forecast errors and the solar forecasting errors are cointegrated with a common stochastic drift. This is useful for future planning and modeling because the solar energy time-series allows to infer important features of the net load time-series, such as expected variability and uncertainty. - Highlights: • Net load forecasting methods for grids with renewable energy generation are discussed. • Integrated solar and load forecasting outperforms the additive model by 10.69%. • Net load forecasting reduces the uncertainty between the interconnected grids.
Stochastic quantization of Proca field
International Nuclear Information System (INIS)
Lim, S.C.
1981-03-01
We discuss the complications that arise in the application of Nelson's stochastic quantization scheme to classical Proca field. One consistent way to obtain spin-one massive stochastic field is given. It is found that the result of Guerra et al on the connection between ground state stochastic field and the corresponding Euclidean-Markov field extends to the spin-one case. (author)
Energy Technology Data Exchange (ETDEWEB)
2016-09-01
The technology necessary to build net zero energy buildings (NZEBs) is ready and available today, however, building to net zero energy performance levels can be challenging. Energy efficiency measures, onsite energy generation resources, load matching and grid interaction, climatic factors, and local policies vary from location to location and require unique methods of constructing NZEBs. It is recommended that Components start looking into how to construct and operate NZEBs now as there is a learning curve to net zero construction and FY 2020 is just around the corner.
Ritchie, Stephen D
2011-01-01
Pro .NET Best Practices is a practical reference to the best practices that you can apply to your .NET projects today. You will learn standards, techniques, and conventions that are sharply focused, realistic and helpful for achieving results, steering clear of unproven, idealistic, and impractical recommendations. Pro .NET Best Practices covers a broad range of practices and principles that development experts agree are the right ways to develop software, which includes continuous integration, automated testing, automated deployment, and code analysis. Whether the solution is from a free and
Schrager, D.F.
2006-01-01
We propose a new model for stochastic mortality. The model is based on the literature on affine term structure models. It satisfies three important requirements for application in practice: analytical tractibility, clear interpretation of the factors and compatibility with financial option pricing
Indian Academy of Sciences (India)
andoh
1Indian Institute of Science Education and Research, Mohali. 2The Institute of Mathematical Sciences, Chennai ... Bottomline of this work: One can obtain very reliable Logic Circuit. Elements by exploiting nonlinearity in the presence of ... with the truth tables of the basic logic operations. Sudeshna Sinha. Logical Stochastic ...
Energy Technology Data Exchange (ETDEWEB)
Tollestrup, A.V.; Dugan, G
1983-12-01
Major headings in this review include: proton sources; antiproton production; antiproton sources and Liouville, the role of the Debuncher; transverse stochastic cooling, time domain; the accumulator; frequency domain; pickups and kickers; Fokker-Planck equation; calculation of constants in the Fokker-Planck equation; and beam feedback. (GHT)
Stochastic nonlinear beam equations
Czech Academy of Sciences Publication Activity Database
Brzezniak, Z.; Maslowski, Bohdan; Seidler, Jan
2005-01-01
Roč. 132, č. 1 (2005), s. 119-149 ISSN 0178-8051 R&D Projects: GA ČR(CZ) GA201/01/1197 Institutional research plan: CEZ:AV0Z10190503 Keywords : stochastic beam equation * stability Subject RIV: BA - General Mathematics Impact factor: 0.896, year: 2005
Wolff, Hans
This paper deals with a stochastic process for the approximation of the root of a regression equation. This process was first suggested by Robbins and Monro. The main result here is a necessary and sufficient condition on the iteration coefficients for convergence of the process (convergence with probability one and convergence in the quadratic…
Stochastic modelling of turbulence
DEFF Research Database (Denmark)
Sørensen, Emil Hedevang Lohse
previously been shown to be closely connected to the energy dissipation. The incorporation of the small scale dynamics into the spatial model opens the door to a fully fledged stochastic model of turbulence. Concerning the interaction of wind and wind turbine, a new method is proposed to extract wind turbine...
Composite stochastic processes
Kampen, N.G. van
Certain problems in physics and chemistry lead to the definition of a class of stochastic processes. Although they are not Markovian they can be treated explicitly to some extent. In particular, the probability distribution for large times can be found. It is shown to obey a master equation. This
Entropy Production in Stochastics
Directory of Open Access Journals (Sweden)
Demetris Koutsoyiannis
2017-10-01
Full Text Available While the modern definition of entropy is genuinely probabilistic, in entropy production the classical thermodynamic definition, as in heat transfer, is typically used. Here we explore the concept of entropy production within stochastics and, particularly, two forms of entropy production in logarithmic time, unconditionally (EPLT or conditionally on the past and present having been observed (CEPLT. We study the theoretical properties of both forms, in general and in application to a broad set of stochastic processes. A main question investigated, related to model identification and fitting from data, is how to estimate the entropy production from a time series. It turns out that there is a link of the EPLT with the climacogram, and of the CEPLT with two additional tools introduced here, namely the differenced climacogram and the climacospectrum. In particular, EPLT and CEPLT are related to slopes of log-log plots of these tools, with the asymptotic slopes at the tails being most important as they justify the emergence of scaling laws of second-order characteristics of stochastic processes. As a real-world application, we use an extraordinary long time series of turbulent velocity and show how a parsimonious stochastic model can be identified and fitted using the tools developed.
DEFF Research Database (Denmark)
Horn, Heiko; Lawrence, Michael S; Chouinard, Candace R
2018-01-01
Methods that integrate molecular network information and tumor genome data could complement gene-based statistical tests to identify likely new cancer genes; but such approaches are challenging to validate at scale, and their predictive value remains unclear. We developed a robust statistic (Net......Sig) that integrates protein interaction networks with data from 4,742 tumor exomes. NetSig can accurately classify known driver genes in 60% of tested tumor types and predicts 62 new driver candidates. Using a quantitative experimental framework to determine in vivo tumorigenic potential in mice, we found that Net......Sig candidates induce tumors at rates that are comparable to those of known oncogenes and are ten-fold higher than those of random genes. By reanalyzing nine tumor-inducing NetSig candidates in 242 patients with oncogene-negative lung adenocarcinomas, we find that two (AKT2 and TFDP2) are significantly amplified...
International Nuclear Information System (INIS)
Chazalon, M.; Daenner, W.; Libin, B.
1989-01-01
The testing stages in NET for the performance assessment of the various breeding blanket concepts developed at the present time in Europe for DEMO (LiPb and ceramic blankets) and the requirements upon NET to perform these tests are reviewed. Typical locations available in NET for blanket testing are the central outboard segments and the horizontal ports of in-vessel sectors. These test positions will be connectable with external test loops. The number of test loops (helium, water, liquid metal) will be such that each major class of blankets can be tested in NET. The test positions, the boundary conditions and the external test loops are identified and the requirements for test blankets are summarized (author). 6
DEFF Research Database (Denmark)
Marszal, Anna Joanna; Bourrelle, Julien S.; Musall, Eike
2010-01-01
The international cooperation project IEA SHC Task 40 / ECBCS Annex 52 “Towards Net Zero Energy Solar Buildings”, attempts to develop a common understanding and to set up the basis for an international definition framework of Net Zero Energy Buildings (Net ZEBs). The understanding of such buildings...... parameters used in the calculations are discussed and the various renewable supply options considered in the methodologies are summarised graphically. Thus, the paper helps to understand different existing approaches to calculate energy balance in Net ZEBs, highlights the importance of variables selection...... and identify possible renewable energy supply options which may be considered in calculations. Finally, the gap between the methodology proposed by each organisation and their respective national building code is assessed; providing an overview of the possible changes building codes will need to undergo...
U.S. Department of Health & Human Services — The PhysioNet Resource is intended to stimulate current research and new investigations in the study of complex biomedical and physiologic signals. It offers free...
Directory of Open Access Journals (Sweden)
Alecsander Pereira Martins
2015-10-01
Full Text Available This paper proposes an automatic method based on computer vision implemented in mobile platform capable of monitoring the growth of microbial colonies incubated in Petri dishes. The developed optimized image processing algorithm performs this task without human intervention from images of colonies of the microorganism in different evolution phases. The contribution of this paper is the development of a fast and robust mobile tool to assist bioprocess experts in monitoring the growth of colonies without using the conventional error prone evaluation techniques. The obtained results successfully demonstrated dimensional alterations in colonies in a faster and more precise fashion when compared with the conventional method, with the additional advantage of versatility in producing reliable estimation of the growth rates with higher statistical significance.
Simulación de un sistema de manufactura flexible con redes de Petri coloreadas
Directory of Open Access Journals (Sweden)
Luis Diego Murillo Soto
2010-10-01
Full Text Available Una forma de estudiar un sistema de manufactura flexible es por medio de un modelo del sistema y someterlo a un simulacro para observar sus índices de comportamiento, gráficas, etc. Siguiendo esta pauta, el presente trabajo plantea la simulación de una línea de producción con tres máquinas, dos robots y tres tipos de productos distintos. Con dicho sistema se desea obtener, en forma automática, porcentajes del uso de las máquinas, tamaño promedio de las colas, gráficas del comportamiento de las colas y el diagrama Gantt. El modelado de la línea de producción se realizó con Redes de Petri Coloreadas (RdPC y su implementación se realizó con la herramienta CPNTool.
Liberty, Jesse
2009-01-01
Bestselling author Jesse Liberty and industry expert Alex Horovitz uncover the common threads that unite the .NET 3.5 technologies, so you can benefit from the best practices and architectural patterns baked into the new Microsoft frameworks. The book offers a Grand Tour" of .NET 3.5 that describes how the principal technologies can be used together, with Ajax, to build modern n-tier and service-oriented applications. "
Stochastic processes in cell biology
Bressloff, Paul C
2014-01-01
This book develops the theory of continuous and discrete stochastic processes within the context of cell biology. A wide range of biological topics are covered including normal and anomalous diffusion in complex cellular environments, stochastic ion channels and excitable systems, stochastic calcium signaling, molecular motors, intracellular transport, signal transduction, bacterial chemotaxis, robustness in gene networks, genetic switches and oscillators, cell polarization, polymerization, cellular length control, and branching processes. The book also provides a pedagogical introduction to the theory of stochastic process – Fokker Planck equations, stochastic differential equations, master equations and jump Markov processes, diffusion approximations and the system size expansion, first passage time problems, stochastic hybrid systems, reaction-diffusion equations, exclusion processes, WKB methods, martingales and branching processes, stochastic calculus, and numerical methods. This text is primarily...
Dynamics of stochastic systems
Klyatskin, Valery I
2005-01-01
Fluctuating parameters appear in a variety of physical systems and phenomena. They typically come either as random forces/sources, or advecting velocities, or media (material) parameters, like refraction index, conductivity, diffusivity, etc. The well known example of Brownian particle suspended in fluid and subjected to random molecular bombardment laid the foundation for modern stochastic calculus and statistical physics. Other important examples include turbulent transport and diffusion of particle-tracers (pollutants), or continuous densities (''''oil slicks''''), wave propagation and scattering in randomly inhomogeneous media, for instance light or sound propagating in the turbulent atmosphere.Such models naturally render to statistical description, where the input parameters and solutions are expressed by random processes and fields.The fundamental problem of stochastic dynamics is to identify the essential characteristics of system (its state and evolution), and relate those to the input parameters of ...
Essentials of stochastic processes
Durrett, Richard
2016-01-01
Building upon the previous editions, this textbook is a first course in stochastic processes taken by undergraduate and graduate students (MS and PhD students from math, statistics, economics, computer science, engineering, and finance departments) who have had a course in probability theory. It covers Markov chains in discrete and continuous time, Poisson processes, renewal processes, martingales, and option pricing. One can only learn a subject by seeing it in action, so there are a large number of examples and more than 300 carefully chosen exercises to deepen the reader’s understanding. Drawing from teaching experience and student feedback, there are many new examples and problems with solutions that use TI-83 to eliminate the tedious details of solving linear equations by hand, and the collection of exercises is much improved, with many more biological examples. Originally included in previous editions, material too advanced for this first course in stochastic processes has been eliminated while treatm...
Fractional Stochastic Field Theory
Honkonen, Juha
2018-02-01
Models describing evolution of physical, chemical, biological, social and financial processes are often formulated as differential equations with the understanding that they are large-scale equations for averages of quantities describing intrinsically random processes. Explicit account of randomness may lead to significant changes in the asymptotic behaviour (anomalous scaling) in such models especially in low spatial dimensions, which in many cases may be captured with the use of the renormalization group. Anomalous scaling and memory effects may also be introduced with the use of fractional derivatives and fractional noise. Construction of renormalized stochastic field theory with fractional derivatives and fractional noise in the underlying stochastic differential equations and master equations and the interplay between fluctuation-induced and built-in anomalous scaling behaviour is reviewed and discussed.
Stochastic ice stream dynamics.
Mantelli, Elisa; Bertagni, Matteo Bernard; Ridolfi, Luca
2016-08-09
Ice streams are narrow corridors of fast-flowing ice that constitute the arterial drainage network of ice sheets. Therefore, changes in ice stream flow are key to understanding paleoclimate, sea level changes, and rapid disintegration of ice sheets during deglaciation. The dynamics of ice flow are tightly coupled to the climate system through atmospheric temperature and snow recharge, which are known exhibit stochastic variability. Here we focus on the interplay between stochastic climate forcing and ice stream temporal dynamics. Our work demonstrates that realistic climate fluctuations are able to (i) induce the coexistence of dynamic behaviors that would be incompatible in a purely deterministic system and (ii) drive ice stream flow away from the regime expected in a steady climate. We conclude that environmental noise appears to be crucial to interpreting the past behavior of ice sheets, as well as to predicting their future evolution.
Dynamic stochastic optimization
Ermoliev, Yuri; Pflug, Georg
2004-01-01
Uncertainties and changes are pervasive characteristics of modern systems involving interactions between humans, economics, nature and technology. These systems are often too complex to allow for precise evaluations and, as a result, the lack of proper management (control) may create significant risks. In order to develop robust strategies we need approaches which explic itly deal with uncertainties, risks and changing conditions. One rather general approach is to characterize (explicitly or implicitly) uncertainties by objec tive or subjective probabilities (measures of confidence or belief). This leads us to stochastic optimization problems which can rarely be solved by using the standard deterministic optimization and optimal control methods. In the stochastic optimization the accent is on problems with a large number of deci sion and random variables, and consequently the focus ofattention is directed to efficient solution procedures rather than to (analytical) closed-form solu tions. Objective an...
Stochastic calculus and applications
Cohen, Samuel N
2015-01-01
Completely revised and greatly expanded, the new edition of this text takes readers who have been exposed to only basic courses in analysis through the modern general theory of random processes and stochastic integrals as used by systems theorists, electronic engineers and, more recently, those working in quantitative and mathematical finance. Building upon the original release of this title, this text will be of great interest to research mathematicians and graduate students working in those fields, as well as quants in the finance industry. New features of this edition include: End of chapter exercises; New chapters on basic measure theory and Backward SDEs; Reworked proofs, examples and explanatory material; Increased focus on motivating the mathematics; Extensive topical index. "Such a self-contained and complete exposition of stochastic calculus and applications fills an existing gap in the literature. The book can be recommended for first-year graduate studies. It will be useful for all who intend to wo...
Multistage stochastic optimization
Pflug, Georg Ch
2014-01-01
Multistage stochastic optimization problems appear in many ways in finance, insurance, energy production and trading, logistics and transportation, among other areas. They describe decision situations under uncertainty and with a longer planning horizon. This book contains a comprehensive treatment of today’s state of the art in multistage stochastic optimization. It covers the mathematical backgrounds of approximation theory as well as numerous practical algorithms and examples for the generation and handling of scenario trees. A special emphasis is put on estimation and bounding of the modeling error using novel distance concepts, on time consistency and the role of model ambiguity in the decision process. An extensive treatment of examples from electricity production, asset liability management and inventory control concludes the book
Directory of Open Access Journals (Sweden)
William Margulies
2004-11-01
Full Text Available In this paper, we study a specific stochastic differential equation depending on a parameter and obtain a representation of its probability density function in terms of Jacobi Functions. The equation arose in a control problem with a quadratic performance criteria. The quadratic performance is used to eliminate the control in the standard Hamilton-Jacobi variational technique. The resulting stochastic differential equation has a noise amplitude which complicates the solution. We then solve Kolmogorov's partial differential equation for the probability density function by using Jacobi Functions. A particular value of the parameter makes the solution a Martingale and in this case we prove that the solution goes to zero almost surely as time tends to infinity.
Stochastic porous media equations
Barbu, Viorel; Röckner, Michael
2016-01-01
Focusing on stochastic porous media equations, this book places an emphasis on existence theorems, asymptotic behavior and ergodic properties of the associated transition semigroup. Stochastic perturbations of the porous media equation have reviously been considered by physicists, but rigorous mathematical existence results have only recently been found. The porous media equation models a number of different physical phenomena, including the flow of an ideal gas and the diffusion of a compressible fluid through porous media, and also thermal propagation in plasma and plasma radiation. Another important application is to a model of the standard self-organized criticality process, called the "sand-pile model" or the "Bak-Tang-Wiesenfeld model". The book will be of interest to PhD students and researchers in mathematics, physics and biology.
Some illustrations of stochasticity
International Nuclear Information System (INIS)
Laslett, L.J.
1977-01-01
A complex, and apparently stochastic, character frequently can be seen to occur in the solutions to simple Hamiltonian problems. Such behavior is of interest, and potentially of importance, to designers of particle accelerators--as well as to workers in other fields of physics and related disciplines. Even a slow development of disorder in the motion of particles in a circular accelerator or storage ring could be troublesome, because a practical design requires the beam particles to remain confined in an orderly manner within a narrow beam tube for literally tens of billions of revolutions. The material presented is primarily the result of computer calculations made to investigate the occurrence of ''stochasticity,'' and is organized in a manner similar to that adopted for presentation at a 1974 accelerator conference
Stochastic Matrix Factorization
Adams, Christopher
2016-01-01
This paper considers a restriction to non-negative matrix factorization in which at least one matrix factor is stochastic. That is, the elements of the matrix factors are non-negative and the columns of one matrix factor sum to 1. This restriction includes topic models, a popular method for analyzing unstructured data. It also includes a method for storing and finding pictures. The paper presents necessary and sufficient conditions on the observed data such that the factorization is unique. I...
Stochastic conditional intensity processes
DEFF Research Database (Denmark)
Bauwens, Luc; Hautsch, Nikolaus
2006-01-01
In this article, we introduce the so-called stochastic conditional intensity (SCI) model by extending Russell’s (1999) autoregressive conditional intensity (ACI) model by a latent common dynamic factor that jointly drives the individual intensity components. We show by simulations that the propos...... for a joint latent factor and show that its inclusion allows for an improved and more parsimonious specification of the multivariate intensity process...
Research in Stochastic Processes.
1984-10-01
description, from the stochastic point of view, of the celebrated Hodgkin - Huxley equations. Ph.D. students under Gopinath Kallianpur Victor Perez-Abreu...optimal filter in the general white noise model is shown to be a Markov process. More precisely, it is shown that Ft( Y ) and rt( y ) - the normalized...and unnormalized conditional distribution (where y is the white noise observation) regards as measure-valued processes either on the quasi- P
Holmes-Cerfon, Miranda
2016-11-01
We study a model of rolling particles subject to stochastic fluctuations, which may be relevant in systems of nano- or microscale particles where rolling is an approximation for strong static friction. We consider the simplest possible nontrivial system: a linear polymer of three disks constrained to remain in contact and immersed in an equilibrium heat bath so the internal angle of the polymer changes due to stochastic fluctuations. We compare two cases: one where the disks can slide relative to each other and the other where they are constrained to roll, like gears. Starting from the Langevin equations with arbitrary linear velocity constraints, we use formal homogenization theory to derive the overdamped equations that describe the process in configuration space only. The resulting dynamics have the formal structure of a Brownian motion on a Riemannian or sub-Riemannian manifold, depending on if the velocity constraints are holonomic or nonholonomic. We use this to compute the trimer's equilibrium distribution with and without the rolling constraints. Surprisingly, the two distributions are different. We suggest two possible interpretations of this result: either (i) dry friction (or other dissipative, nonequilibrium forces) changes basic thermodynamic quantities like the free energy of a system, a statement that could be tested experimentally, or (ii) as a lesson in modeling rolling or friction more generally as a velocity constraint when stochastic fluctuations are present. In the latter case, we speculate there could be a "roughness" entropy whose inclusion as an effective force could compensate the constraint and preserve classical Boltzmann statistics. Regardless of the interpretation, our calculation shows the word "rolling" must be used with care when stochastic fluctuations are present.
Identifiability in stochastic models
1992-01-01
The problem of identifiability is basic to all statistical methods and data analysis, occurring in such diverse areas as Reliability Theory, Survival Analysis, and Econometrics, where stochastic modeling is widely used. Mathematics dealing with identifiability per se is closely related to the so-called branch of ""characterization problems"" in Probability Theory. This book brings together relevant material on identifiability as it occurs in these diverse fields.
Stochastic quantization of instantons
International Nuclear Information System (INIS)
Grandati, Y.; Berard, A.; Grange, P.
1996-01-01
The method of Parisi and Wu to quantize classical fields is applied to instanton solutions var-phi I of euclidian non-linear theory in one dimension. The solution var-phi var-epsilon of the corresponding Langevin equation is built through a singular perturbative expansion in var-epsilon=h 1/2 in the frame of the center of the mass of the instanton, where the difference var-phi var-epsilon -var-phi I carries only fluctuations of the instanton form. The relevance of the method is shown for the stochastic K dV equation with uniform noise in space: the exact solution usually obtained by the inverse scattering method is retrieved easily by the singular expansion. A general diagrammatic representation of the solution is then established which makes a thorough use of regrouping properties of stochastic diagrams derived in scalar field theory. Averaging over the noise and in the limit of infinite stochastic time, the authors obtain explicit expressions for the first two orders in var-epsilon of the pertrubed instanton of its Green function. Specializing to the Sine-Gordon and var-phi 4 models, the first anaharmonic correction is obtained analytically. The calculation is carried to second order for the var-phi 4 model, showing good convergence. 21 refs., 5 fig
Stochasticity Modeling in Memristors
Naous, Rawan
2015-10-26
Diverse models have been proposed over the past years to explain the exhibiting behavior of memristors, the fourth fundamental circuit element. The models varied in complexity ranging from a description of physical mechanisms to a more generalized mathematical modeling. Nonetheless, stochasticity, a widespread observed phenomenon, has been immensely overlooked from the modeling perspective. This inherent variability within the operation of the memristor is a vital feature for the integration of this nonlinear device into the stochastic electronics realm of study. In this paper, experimentally observed innate stochasticity is modeled in a circuit compatible format. The model proposed is generic and could be incorporated into variants of threshold-based memristor models in which apparent variations in the output hysteresis convey the switching threshold shift. Further application as a noise injection alternative paves the way for novel approaches in the fields of neuromorphic engineering circuits design. On the other hand, extra caution needs to be paid to variability intolerant digital designs based on non-deterministic memristor logic.
DEFF Research Database (Denmark)
Christensen, Henrik Bærbak; Hansen, Klaus Marius
2012-01-01
propose a software ecosystem approach for telemedicine applications, providing a framework, Net4Care, encapsulating national/global design decisions with respect to standardization while allowing for local innovation. This paper presents an analysis of existing systems, of requirements for a software......, health centers are getting larger and more distributed, and the number of healthcare professionals does not follow the trend in chronic diseases. All of this leads to a need for telemedical and mobile health applications. In a Danish context, these applications are often developed through local...... ecosystem for telemedicine, and a summary of initial design decisions for the Net4Care framework....
Stochastic and non-stochastic effects - a conceptual analysis
International Nuclear Information System (INIS)
Karhausen, L.R.
1980-01-01
The attempt to divide radiation effects into stochastic and non-stochastic effects is discussed. It is argued that radiation or toxicological effects are contingently related to radiation or chemical exposure. Biological effects in general can be described by general laws but these laws never represent a necessary connection. Actually stochastic effects express contingent, or empirical, connections while non-stochastic effects represent semantic and non-factual connections. These two expressions stem from two different levels of discourse. The consequence of this analysis for radiation biology and radiation protection is discussed. (author)
Cheetham, Paul
2010-01-01
Muusikamanageride Paul Cheethami, Tapio Korjuse, Petri H. Lundeni, Kari Pössi ja Rasmus Stolbergi arvamusi oma tööst ja nõuannetest eesti ansamblitele, kes tahavad oma karjääri teha rahvusvahelisel areenil
A retrodictive stochastic simulation algorithm
International Nuclear Information System (INIS)
Vaughan, T.G.; Drummond, P.D.; Drummond, A.J.
2010-01-01
In this paper we describe a simple method for inferring the initial states of systems evolving stochastically according to master equations, given knowledge of the final states. This is achieved through the use of a retrodictive stochastic simulation algorithm which complements the usual predictive stochastic simulation approach. We demonstrate the utility of this new algorithm by applying it to example problems, including the derivation of likely ancestral states of a gene sequence given a Markovian model of genetic mutation.
Aircraft Evaluation Using Stochastic Duels
2017-09-01
LEFT BLANK xix EXECUTIVE SUMMARY In this thesis, we present a modeling paradigm for evaluating fighter aircraft using stochastic duels... EVALUATION USING STOCHASTIC DUELS by Jason W.C. Gay September 2017 Thesis Advisor: Moshe Kress Co-Advisor: Michael Atkinson Second Reader...DATES COVERED Master’s thesis 4. TITLE AND SUBTITLE AIRCRAFT EVALUATION USING STOCHASTIC DUELS 6. AUTHOR(S) Jason W.C. Gay 7. PERFORMING
Shor, Mikhael
2003-01-01
States making game theory relevant and accessible to students is challenging. Describes the primary goal of GameTheory.net is to provide interactive teaching tools. Indicates the site strives to unite educators from economics, political and computer science, and ecology by providing a repository of lecture notes and tests for courses using…
DEFF Research Database (Denmark)
2012-01-01
, that in turn enables general practitioners and clinical staff to view observations. Use the menus above to explore the site's information resources. To get started, follow the short Hello, World! tutorial. The Net4Care project is funded by The Central Denmark Region and EU via Caretech Innovation....
DEFF Research Database (Denmark)
Ilsøe, Anna
2012-01-01
Does regulation of working hours at national and sector level impose straitjackets, or offer safety nets to employees seeking working time flexibility? This article compares legislation and collective agreements in the metal industries of Denmark, Germany and the USA. The industry has historically...
Energy Technology Data Exchange (ETDEWEB)
Biston, Marie-Claude [Equipe d' Accueil no 2941 ' Rayonnement Synchrotron et Recherche Medicale' , Unite IRM, CHU, BP 217, F-38043 Grenoble Cedex 09 (France); Corde, Stephanie [Equipe d' Accueil no 2941 ' Rayonnement Synchrotron et Recherche Medicale' , Unite IRM, CHU, BP 217, F-38043 Grenoble Cedex 09 (France); Camus, Emmanuel [Samba Technologies, ZIRST 53, chemin du Vieux Chene 38240 Meylan (France); Marti-Battle, Ramon [Samba Technologies, ZIRST 53, chemin du Vieux Chene 38240 Meylan (France); Esteve, Francois [Equipe d' Accueil no 2941 ' Rayonnement Synchrotron et Recherche Medicale' , Unite IRM, CHU, BP 217, F-38043 Grenoble Cedex 09 (France); Balosso, Jacques [Equipe d' Accueil no 2941 ' Rayonnement Synchrotron et Recherche Medicale' , Unite IRM, CHU, BP 217, F-38043 Grenoble Cedex 09 (France)
2003-06-07
This work establishes an objective method to measure cell clonogenic survival by computer-assisted image processing using images of cell cultures fixed and stained in Petri dishes. The procedure, developed by Samba Technologies, consists of acquiring Petri dish pictures with a desktop scanner and analysing them by computer, using algorithms based on the 'top hat' filter. The results from the automated count for the cell line SQ20B are compared with those found by two observers, before and after normalization of the counting. After normalization, the shape of the survival curves of the 'manual' counting of the Petri dishes shows a good correlation between both observers. The software enables the small visible differences in count between observers to be eliminated. The comparison between the absolute number of colonies shows an increased difference between the two manual scorings that can be as great as 67 colonies, whereas the difference between the two automated counts is never greater than 8 colonies. These results demonstrate that the 'manual' count is inter- and intra-observer variable, whereas the automatic count performs reproducible cell colony counts, thereby minimizing user-generated bias. The large amount of data produced also gives information about cell and colony characteristics. Thus, this computer-assisted method has considerably improved the reliability of our statistical results.
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.
Energy Technology Data Exchange (ETDEWEB)
Hardwick, Robert J.; Vennin, Vincent; Wands, David [Institute of Cosmology and Gravitation, University of Portsmouth, Dennis Sciama Building, Burnaby Road, Portsmouth, PO1 3FX (United Kingdom); Byrnes, Christian T.; Torrado, Jesús, E-mail: robert.hardwick@port.ac.uk, E-mail: vincent.vennin@port.ac.uk, E-mail: c.byrnes@sussex.ac.uk, E-mail: jesus.torrado@sussex.ac.uk, E-mail: david.wands@port.ac.uk [Department of Physics and Astronomy, University of Sussex, Brighton BN1 9QH (United Kingdom)
2017-10-01
We study the stochastic distribution of spectator fields predicted in different slow-roll inflation backgrounds. Spectator fields have a negligible energy density during inflation but may play an important dynamical role later, even giving rise to primordial density perturbations within our observational horizon today. During de-Sitter expansion there is an equilibrium solution for the spectator field which is often used to estimate the stochastic distribution during slow-roll inflation. However slow roll only requires that the Hubble rate varies slowly compared to the Hubble time, while the time taken for the stochastic distribution to evolve to the de-Sitter equilibrium solution can be much longer than a Hubble time. We study both chaotic (monomial) and plateau inflaton potentials, with quadratic, quartic and axionic spectator fields. We give an adiabaticity condition for the spectator field distribution to relax to the de-Sitter equilibrium, and find that the de-Sitter approximation is never a reliable estimate for the typical distribution at the end of inflation for a quadratic spectator during monomial inflation. The existence of an adiabatic regime at early times can erase the dependence on initial conditions of the final distribution of field values. In these cases, spectator fields acquire sub-Planckian expectation values. Otherwise spectator fields may acquire much larger field displacements than suggested by the de-Sitter equilibrium solution. We quantify the information about initial conditions that can be obtained from the final field distribution. Our results may have important consequences for the viability of spectator models for the origin of structure, such as the simplest curvaton models.
Portfolio Optimization with Stochastic Dividends and Stochastic Volatility
Varga, Katherine Yvonne
2015-01-01
We consider an optimal investment-consumption portfolio optimization model in which an investor receives stochastic dividends. As a first problem, we allow the drift of stock price to be a bounded function. Next, we consider a stochastic volatility model. In each problem, we use the dynamic programming method to derive the Hamilton-Jacobi-Bellman…
Approximations of Stochastic Partial Differential Equations
Di Nunno, Giulia; Zhang, Tusheng
2014-01-01
In this paper we show that solutions of stochastic partial differ- ential equations driven by Brownian motion can be approximated by stochastic partial differential equations forced by pure jump noise/random kicks. Applications to stochastic Burgers equations are discussed.
Stochastic cooling for beginners
International Nuclear Information System (INIS)
Moehl, D.
1984-01-01
These two lectures have been prepared to give a simple introduction to the principles. In Part I we try to explain stochastic cooling using the time-domain picture which starts from the pulse response of the system. In Part II the discussion is repeated, looking more closely at the frequency-domain response. An attempt is made to familiarize the beginners with some of the elementary cooling equations, from the 'single particle case' up to equations which describe the evolution of the particle distribution. (orig.)
Stochastic ontogenetic growth model
West, B. J.; West, D.
2012-02-01
An ontogenetic growth model (OGM) for a thermodynamically closed system is generalized to satisfy both the first and second law of thermodynamics. The hypothesized stochastic ontogenetic growth model (SOGM) is shown to entail the interspecies allometry relation by explicitly averaging the basal metabolic rate and the total body mass over the steady-state probability density for the total body mass (TBM). This is the first derivation of the interspecies metabolic allometric relation from a dynamical model and the asymptotic steady-state distribution of the TBM is fit to data and shown to be inverse power law.
Stochastic calculus in physics
International Nuclear Information System (INIS)
Fox, R.F.
1987-01-01
The relationship of Ito-Stratonovich stochastic calculus to studies of weakly colored noise is explained. A functional calculus approach is used to obtain an effective Fokker-Planck equation for the weakly colored noise regime. In a smooth limit, this representation produces the Stratonovich version of the Ito-Stratonovich calculus for white noise. It also provides an approach to steady state behavior for strongly colored noise. Numerical simulation algorithms are explored, and a novel suggestion is made for efficient and accurate simulation of white noise equations
The stochastic quality calculus
DEFF Research Database (Denmark)
Zeng, Kebin; Nielson, Flemming; Nielson, Hanne Riis
2014-01-01
We introduce the Stochastic Quality Calculus in order to model and reason about distributed processes that rely on each other in order to achieve their overall behaviour. The calculus supports broadcast communication in a truly concurrent setting. Generally distributed delays are associated...... with the outputs and at the same time the inputs impose constraints on the waiting times. Consequently, the expected inputs may not be available when needed and therefore the calculus allows to express the absence of data.The communication delays are expressed by general distributions and the resulting semantics...
Energy Technology Data Exchange (ETDEWEB)
Watrous, Jeramie D.; Roach, Patrick J.; Heath, Brandi S.; Alexandrov, Theodore; Laskin, Julia; Dorrestein, Pieter C.
2013-11-05
Understanding molecular interaction pathways in complex biological systems constitutes a treasure trove of knowledge that might facilitate the specific, chemical manipulation of the countless microbiological systems that occur throughout our world. However, there is a lack of methodologies that allow the direct investigation of chemical gradients and interactions in living biological systems, in real time. Here, we report the use of nanospray desorption electrospray ionization (nanoDESI) imaging mass spectrometry for in vivo metabolic profiling of living bacterial colonies directly from the Petri dish with absolutely no sample preparation needed. Using this technique, we investigated single colonies of Shewanella oneidensis MR-1, Bacillus subtilis 3610, and Streptomyces coelicolor A3(2) as well as a mixed biofilm of S. oneidensis MR-1 and B. subtilis 3610. Data from B. subtilis 3610 and S. coelicolor A3(2) provided a means of validation for the method while data from S. oneidensis MR-1 and the mixed biofilm showed a wide range of compounds that this bacterium uses for the dissimilatory reduction of extracellular metal oxides, including riboflavin, iron-bound heme and heme biosynthetic intermediates, and the siderophore putrebactin.
VAPI: low-cost, rapid automated visual inspection system for Petri plate analysis
Chatburn, L. T.; Kirkup, B. C.; Polz, M. F.
2007-09-01
Most culture-based microbiology tasks utilize a petri plate during processing, but rarely do the scientists capture the full information available from the plate. In particular, visual analysis of plates is an under-developed rich source of data that can be rapid and non-invasive. However, collecting this data has been limited by the difficulties of standardizing and quantifying human observations, by the limits of a scientists' fatigue, and by the cost of automating the process. The availability of specialized counting equipment and intelligent camera systems has not changed this - they are prohibitively expensive for many laboratories, only process a limited number of plate types, are often destructive to the sample, and have limited accuracy. This paper describes an automated visual inspection solution, VAPI, that employs inexpensive consumer computing hardware and digital cameras along with custom cross-platform open-source software written in C++, combining Trolltech's Qt GUI toolkit with Intel's OpenCV computer vision library. The system is more accurate than common commercial systems costing many times as much, while being flexible in use and offering comparable responsiveness. VAPI not only counts colonies but also sorts and enumerates colonies by morphology, tracks colony growth by time series analysis, and provides other analytical resources. Output to XML files or directly to a database provides data that can be easily maintained and manipulated by the end user, offering ready access for system enhancement, interaction with other software systems, and rapid development of advanced analysis applications.
Carpentier, Pierre; Cohen, Guy; De Lara, Michel
2015-01-01
The focus of the present volume is stochastic optimization of dynamical systems in discrete time where - by concentrating on the role of information regarding optimization problems - it discusses the related discretization issues. There is a growing need to tackle uncertainty in applications of optimization. For example the massive introduction of renewable energies in power systems challenges traditional ways to manage them. This book lays out basic and advanced tools to handle and numerically solve such problems and thereby is building a bridge between Stochastic Programming and Stochastic Control. It is intended for graduates readers and scholars in optimization or stochastic control, as well as engineers with a background in applied mathematics.
Stochastic Blind Motion Deblurring
Xiao, Lei
2015-05-13
Blind motion deblurring from a single image is a highly under-constrained problem with many degenerate solutions. A good approximation of the intrinsic image can therefore only be obtained with the help of prior information in the form of (often non-convex) regularization terms for both the intrinsic image and the kernel. While the best choice of image priors is still a topic of ongoing investigation, this research is made more complicated by the fact that historically each new prior requires the development of a custom optimization method. In this paper, we develop a stochastic optimization method for blind deconvolution. Since this stochastic solver does not require the explicit computation of the gradient of the objective function and uses only efficient local evaluation of the objective, new priors can be implemented and tested very quickly. We demonstrate that this framework, in combination with different image priors produces results with PSNR values that match or exceed the results obtained by much more complex state-of-the-art blind motion deblurring algorithms.
AA, stochastic precooling pickup
CERN PhotoLab
1980-01-01
The freshly injected antiprotons were subjected to fast stochastic "precooling". In this picture of a precooling pickup, the injection orbit is to the left, the stack orbit to the far right. After several seconds of precooling with the system's kickers (in momentum and in the vertical plane), the precooled antiprotons were transferred, by means of RF, to the stack tail, where they were subjected to further stochastic cooling in momentum and in both transverse planes, until they ended up, deeply cooled, in the stack core. During precooling, a shutter near the central orbit shielded the pickups from the signals emanating from the stack-core, whilst the stack-core was shielded from the violent action of the precooling kickers by a shutter on these. All shutters were opened briefly during transfer of the precooled antiprotons to the stack tail. Here, the shutter is not yet mounted. Precooling pickups and kickers had the same design, except that the kickers had cooling circuits and the pickups had none. Peering th...
Stochastic Models of Polymer Systems
2016-01-01
published in non-peer-reviewed journals (N/A for none) The dynamics of stochastic gradient algorithms (submitted); Noisy Hegselmann- Krause Systems...algorithms for big data applications. (2) We studied stochastic dynamics of polymer systems in the mean field limit. (3) We studied noisy Hegselmann- Krause
Stochastic programming with integer recourse
van der Vlerk, Maarten Hendrikus
1995-01-01
In this thesis we consider two-stage stochastic linear programming models with integer recourse. Such models are at the intersection of two different branches of mathematical programming. On the one hand some of the model parameters are random, which places the problem in the field of stochastic
Stochastic ferromagnetism analysis and numerics
Brzezniak, Zdzislaw; Neklyudov, Mikhail; Prohl, Andreas
2013-01-01
This monograph examines magnetization dynamics at elevated temperatures which can be described by the stochastic Landau-Lifshitz-Gilbert equation (SLLG). Comparative computational studies with the stochastic model are included. Constructive tools such as e.g. finite element methods are used to derive the theoretical results, which are then used for computational studies.
Stochastic Pi-calculus Revisited
DEFF Research Database (Denmark)
Cardelli, Luca; Mardare, Radu Iulian
2013-01-01
We develop a version of stochastic Pi-calculus with a semantics based on measure theory. We dene the behaviour of a process in a rate environment using measures over the measurable space of processes induced by structural congruence. We extend the stochastic bisimulation to include the concept...
Anticipated backward stochastic differential equations
Peng, Shige; Yang, Zhe
2007-01-01
In this paper we discuss new types of differential equations which we call anticipated backward stochastic differential equations (anticipated BSDEs). In these equations the generator includes not only the values of solutions of the present but also the future. We show that these anticipated BSDEs have unique solutions, a comparison theorem for their solutions, and a duality between them and stochastic differential delay equations.
Mixed effects in stochastic differential equation models
DEFF Research Database (Denmark)
Ditlevsen, Susanne; De Gaetano, Andrea
2005-01-01
maximum likelihood; pharmacokinetics; population estimates; random effects; repeated measurements; stochastic processes......maximum likelihood; pharmacokinetics; population estimates; random effects; repeated measurements; stochastic processes...
2011-05-12
Update 5a. CONTRACT NUMBER 5b. GRANT NUMBER 5c. PROGRAM ELEMENT NUMBER 6. AUTHOR(S) 5d. PROJECT NUMBER 5e. TASK NUMBER 5f. WORK UNIT NUMBER 7...Opened to Collect Supplemental Data from Candidate Installations 15 Mar 11 Supplemental Data received from Army Commands 16-31 Mar 11 DOE...hierarchy (reduction, re-purpose, recycling & composting , energy recovery, and disposal) • Complied with Net Zero definitions • Demonstrated
Army Net Zero Prove Out. Net Zero Waster Best Practices
2014-11-18
Investment Ratio SRM Sustainment, Restoration and Modernization WWTP Waste Water Treatment Plant iii Task 0818, “Army Net Zero Prove Out” Net... WWTP ) to be free of the municipal system. In some cases, this may significantly enhance the installation’s ability to reduce water use and achieve...Net Zero. WWTP Design – Installations should include Net Zero considerations in the design and operation of WWTPs . There are many opportunities to
Variance decomposition in stochastic simulators
Le Maître, O. P.
2015-06-28
This work aims at the development of a mathematical and computational approach that enables quantification of the inherent sources of stochasticity and of the corresponding sensitivities in stochastic simulations of chemical reaction networks. The approach is based on reformulating the system dynamics as being generated by independent standardized Poisson processes. This reformulation affords a straightforward identification of individual realizations for the stochastic dynamics of each reaction channel, and consequently a quantitative characterization of the inherent sources of stochasticity in the system. By relying on the Sobol-Hoeffding decomposition, the reformulation enables us to perform an orthogonal decomposition of the solution variance. Thus, by judiciously exploiting the inherent stochasticity of the system, one is able to quantify the variance-based sensitivities associated with individual reaction channels, as well as the importance of channel interactions. Implementation of the algorithms is illustrated in light of simulations of simplified systems, including the birth-death, Schlögl, and Michaelis-Menten models.
Chen, B.; Fonseca, R.M.; Leeuwenburgh, O.; Reynolds, A.C.
2017-01-01
We develop a framework based on the lexicographic method and the newly developed Stochastic-Simplex-Approximate-Gradient (StoSAG) algorithm to maximize the expected net-present-value (NPV) and minimize the associated risk or uncertainty in robust life-cycle production optimization. With the
Net one, net two: the primary care network income statement.
Halley, M D; Little, A W
1999-10-01
Although hospital-owned primary care practices have been unprofitable for most hospitals, some hospitals are achieving competitive advantage and sustainable practice operations. A key to the success of some has been a net income reporting tool that separates practice operating expenses from the costs of creating and operating a network of practices to help healthcare organization managers, physicians, and staff to identify opportunities to improve the network's financial performance. This "Net One, Net Two" reporting allows operations leadership to be held accountable for Net One expenses and strategic leadership to be held accountable for Net Two expenses.
Net metering: zero electricity bill
International Nuclear Information System (INIS)
Mangi, A.; Khan, Z.
2011-01-01
Worldwide move towards renewable energy sources, environmental concerns and decentralization of the power sector have made net metering an attractive option for power generation at small scale. This paper discusses the net metering, economical issues of renewable sources in Pakistan, technical aspects, installation suitability according to varying terrain, existing utility rules and formulation of legislation for net metering making it economically attractive. (author)
Proof Nets for Lambek Calculus
Roorda, Dirk
1992-01-01
The proof nets of linear logic are adapted to the non-commutative Lambek calculus. A different criterion for soundness of proof nets is given, which gives rise to new algorithms for proof search. The order sensitiveness of the Lambek calculus is reflected by the planarity condition on proof nets;
Stochastic population theories
Ludwig, Donald
1974-01-01
These notes serve as an introduction to stochastic theories which are useful in population biology; they are based on a course given at the Courant Institute, New York, in the Spring of 1974. In order to make the material. accessible to a wide audience, it is assumed that the reader has only a slight acquaintance with probability theory and differential equations. The more sophisticated topics, such as the qualitative behavior of nonlinear models, are approached through a succession of simpler problems. Emphasis is placed upon intuitive interpretations, rather than upon formal proofs. In most cases, the reader is referred elsewhere for a rigorous development. On the other hand, an attempt has been made to treat simple, useful models in some detail. Thus these notes complement the existing mathematical literature, and there appears to be little duplication of existing works. The authors are indebted to Miss Jeanette Figueroa for her beautiful and speedy typing of this work. The research was supported by the Na...
Morgan, Byron JT; Tanner, Martin Abba; Carlin, Bradley P
2008-01-01
Introduction and Examples Introduction Examples of data sets Basic Model Fitting Introduction Maximum-likelihood estimation for a geometric model Maximum-likelihood for the beta-geometric model Modelling polyspermy Which model? What is a model for? Mechanistic models Function Optimisation Introduction MATLAB: graphs and finite differences Deterministic search methods Stochastic search methods Accuracy and a hybrid approach Basic Likelihood ToolsIntroduction Estimating standard errors and correlations Looking at surfaces: profile log-likelihoods Confidence regions from profiles Hypothesis testing in model selectionScore and Wald tests Classical goodness of fit Model selection biasGeneral Principles Introduction Parameterisation Parameter redundancy Boundary estimates Regression and influence The EM algorithm Alternative methods of model fitting Non-regular problemsSimulation Techniques Introduction Simulating random variables Integral estimation Verification Monte Carlo inference Estimating sampling distributi...
Stochastic separation theorems.
Gorban, A N; Tyukin, I Y
2017-10-01
The problem of non-iterative one-shot and non-destructive correction of unavoidable mistakes arises in all Artificial Intelligence applications in the real world. Its solution requires robust separation of samples with errors from samples where the system works properly. We demonstrate that in (moderately) high dimension this separation could be achieved with probability close to one by linear discriminants. Based on fundamental properties of measure concentration, we show that for M1-ϑ, where 1>ϑ>0 is a given small constant. Exact values of a,b>0 depend on the probability distribution that determines how the random M-element sets are drawn, and on the constant ϑ. These stochastic separation theorems provide a new instrument for the development, analysis, and assessment of machine learning methods and algorithms in high dimension. Theoretical statements are illustrated with numerical examples. Copyright © 2017 Elsevier Ltd. All rights reserved.
Directory of Open Access Journals (Sweden)
Vladimir Lipunov
2010-01-01
Full Text Available The main goal of the MASTER-Net project is to produce a unique fast sky survey with all sky observed over a single night down to a limiting magnitude of 19-20. Such a survey will make it possible to address a number of fundamental problems: search for dark energy via the discovery and photometry of supernovae (including SNIa, search for exoplanets, microlensing effects, discovery of minor bodies in the Solar System, and space-junk monitoring. All MASTER telescopes can be guided by alerts, and we plan to observe prompt optical emission from gamma-ray bursts synchronously in several filters and in several polarization planes.
Stochastic estimation of electricity consumption
International Nuclear Information System (INIS)
Electricity consumption forecasting represents a part of the stable functioning of the power system. It is very important because of rationality and increase of control process efficiency and development planning of all aspects of society. On a scientific basis, forecasting is a possible way to solve problems. Among different models that have been used in the area of forecasting, the stochastic aspect of forecasting as a part of quantitative models takes a very important place in applications. ARIMA models and Kalman filter as stochastic estimators have been treated together for electricity consumption forecasting. Therefore, the main aim of this paper is to present the stochastic forecasting aspect using short time series. (author)
Introduction to stochastic dynamic programming
Ross, Sheldon M; Lukacs, E
1983-01-01
Introduction to Stochastic Dynamic Programming presents the basic theory and examines the scope of applications of stochastic dynamic programming. The book begins with a chapter on various finite-stage models, illustrating the wide range of applications of stochastic dynamic programming. Subsequent chapters study infinite-stage models: discounting future returns, minimizing nonnegative costs, maximizing nonnegative returns, and maximizing the long-run average return. Each of these chapters first considers whether an optimal policy need exist-providing counterexamples where appropriate-and the
Functional Abstraction of Stochastic Hybrid Systems
Bujorianu, L.M.; Blom, Henk A.P.; Hermanns, H.
2006-01-01
The verification problem for stochastic hybrid systems is quite difficult. One method to verify these systems is stochastic reachability analysis. Concepts of abstractions for stochastic hybrid systems are needed to ease the stochastic reachability analysis. In this paper, we set up different ways
An introduction to probability and stochastic processes
Melsa, James L
2013-01-01
Geared toward college seniors and first-year graduate students, this text is designed for a one-semester course in probability and stochastic processes. Topics covered in detail include probability theory, random variables and their functions, stochastic processes, linear system response to stochastic processes, Gaussian and Markov processes, and stochastic differential equations. 1973 edition.
NETS FOR PEACH PROTECTED CULTIVATION
Directory of Open Access Journals (Sweden)
Evelia Schettini
2012-06-01
Full Text Available The aim of this paper was to investigate the radiometric properties of coloured nets used to protect a peach cultivation. The modifications of the solar spectral distribution, mainly in the R and FR wavelength band, influence plant photomorphogenesis by means of the phytochrome and cryptochrome. The phytochrome response is characterized in terms of radiation rate in the red wavelengths (R, 600-700 nm to that in the farred radiation (FR, 700-800 nm, i.e. the R/FR ratio. The effects of the blue radiation (B, 400-500 nm is investigated by the ratio between the blue radiation and the far-red radiation, i.e. the B/FR ratio. A BLUE net, a RED net, a YELLOW net, a PEARL net, a GREY net and a NEUTRAL net were tested in Bari (Italy, latitude 41° 05’ N. Peach trees were located in pots inside the greenhouses and in open field. The growth of the trees cultivated in open field was lower in comparison to the growth of the trees grown under the nets. The RED, PEARL, YELLOW and GREY nets increased the growth of the trees more than the other nets. The nets positively influenced the fruit characteristics, such as fruit weight and flesh firmness.
International Nuclear Information System (INIS)
Gulden, W.; Ponti, C.; Guetat, P.; Butterworth, G.J.
1989-01-01
Studies are under way to quantify and qualify radioactive wastes to be expected from NET (Next European Torus) and to identify a tentative strategy for its handling, conditioning and disposal. Waste management and disposal strategies developed for fission plants can be applied to low and medium level fusion wastes, provided that tritium has been sufficiently removed and/or immobilized. Handling and treatment of dismantled first wall and blanket segments (high level waste) will involve more complex procedures because of their volume, weight, afterheat and activation level. Assuming AISI-316 as structural material, an initial decay time in a short-term storage is needed before the spent components can be fragmented, compacted, detritiated and conditioned for intermediate and/or final storage. A first evaluation indicates that the steel components in NET have a total mass of about 7000 tonnes. For decommissioning the corresponding waste volume will be about 2,000 m 3 after packaging to be disposed of in a deep geological repository. (author). 10 refs.; 2 figs
Computational methods in stochastic dynamics
Papadrakakis, Manolis; Papadopoulos, Vissarion
2011-01-01
Covering what is an emerging frontier in research, this book focuses on advanced computational methods and software tools. These can be of huge assistance in tackling complex problems in stochastic dynamic and seismic analysis as well as structure design.
Statistical validation of stochastic models
Energy Technology Data Exchange (ETDEWEB)
Hunter, N.F. [Los Alamos National Lab., NM (United States). Engineering Science and Analysis Div.; Barney, P.; Paez, T.L. [Sandia National Labs., Albuquerque, NM (United States). Experimental Structural Dynamics Dept.; Ferregut, C.; Perez, L. [Univ. of Texas, El Paso, TX (United States). Dept. of Civil Engineering
1996-12-31
It is common practice in structural dynamics to develop mathematical models for system behavior, and the authors are now capable of developing stochastic models, i.e., models whose parameters are random variables. Such models have random characteristics that are meant to simulate the randomness in characteristics of experimentally observed systems. This paper suggests a formal statistical procedure for the validation of mathematical models of stochastic systems when data taken during operation of the stochastic system are available. The statistical characteristics of the experimental system are obtained using the bootstrap, a technique for the statistical analysis of non-Gaussian data. The authors propose a procedure to determine whether or not a mathematical model is an acceptable model of a stochastic system with regard to user-specified measures of system behavior. A numerical example is presented to demonstrate the application of the technique.
International Nuclear Information System (INIS)
Faris, W.G.
1981-01-01
Dankel has shown how to incorporate spin into stochastic mechanics. The resulting non-local hidden variable theory gives an appealing picture of spin correlation experiments in which Bell's inequality is violated. (orig.)
Stochastic Integration in Abstract Spaces
Directory of Open Access Journals (Sweden)
J. K. Brooks
2010-01-01
-valued process (∫ called the stochastic integral. The Lebesgue space of these integrable processes is studied and convergence theorems are given. Extensions to general locally convex spaces are presented.
Statistical inference for stochastic processes
National Research Council Canada - National Science Library
Basawa, Ishwar V; Prakasa Rao, B. L. S
1980-01-01
The aim of this monograph is to attempt to reduce the gap between theory and applications in the area of stochastic modelling, by directing the interest of future researchers to the inference aspects...
Stochastic massless fields I: Integer spin
International Nuclear Information System (INIS)
Lim, S.C.
1981-04-01
Nelson's stochastic quantization scheme is applied to classical massless tensor potential in ''Coulomb'' gauge. The relationship between stochastic potential field in various gauges is discussed using the case of vector potential as an illustration. It is possible to identify the Euclidean tensor potential with the corresponding stochastic field in physical Minkowski space-time. Stochastic quantization of massless fields can also be carried out in terms of field strength tensors. An example of linearized stochastic gravitational field in vacuum is given. (author)
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.
Stochastic quantization and gauge theories
International Nuclear Information System (INIS)
Kolck, U. van.
1987-01-01
Stochastic quantization is presented taking the Flutuation-Dissipation Theorem as a guide. It is shown that the original approach of Parisi and Wu to gauge theories fails to give the right results to gauge invariant quantities when dimensional regularization is used. Although there is a simple solution in an abelian theory, in the non-abelian case it is probably necessary to start from a BRST invariant action instead of a gauge invariant one. Stochastic regularizations are also discussed. (author) [pt
Stochasticity induced by coherent wavepackets
International Nuclear Information System (INIS)
Fuchs, V.; Krapchev, V.; Ram, A.; Bers, A.
1983-02-01
We consider the momentum transfer and diffusion of electrons periodically interacting with a coherent longitudinal wavepacket. Such a problem arises, for example, in lower-hybrid current drive. We establish the stochastic threshold, the stochastic region δv/sub stoch/ in velocity space, the associated momentum transfer j, and the diffusion coefficient D. We concentrate principally on the weak-field regime, tau/sub autocorrelation/ < tau/sub bounce/
Stochastic Estimation via Polynomial Chaos
2015-10-01
processes. As originally developed by Norbert Weiner, a polynomial chaos represents key properties of a stochastic process through the application of...polynomial chaos method for representing the properties of second order stochastic processes. As originally developed by Norbert Weiner, a...any real or complex functional ][xF in 2L converges to ][xF in the 2L sense with Wiener measure.[3] In the same reference, the orthogonality of
Stochastic optimization: beyond mathematical programming
CERN. Geneva
2015-01-01
Stochastic optimization, among which bio-inspired algorithms, is gaining momentum in areas where more classical optimization algorithms fail to deliver satisfactory results, or simply cannot be directly applied. This presentation will introduce baseline stochastic optimization algorithms, and illustrate their efficiency in different domains, from continuous non-convex problems to combinatorial optimization problem, to problems for which a non-parametric formulation can help exploring unforeseen possible solution spaces.
Stochastic efficiency: five case studies
International Nuclear Information System (INIS)
Proesmans, Karel; Broeck, Christian Van den
2015-01-01
Stochastic efficiency is evaluated in five case studies: driven Brownian motion, effusion with a thermo-chemical and thermo-velocity gradient, a quantum dot and a model for information to work conversion. The salient features of stochastic efficiency, including the maximum of the large deviation function at the reversible efficiency, are reproduced. The approach to and extrapolation into the asymptotic time regime are documented. (paper)
Stochastic Analysis and Related Topics
Ustunel, Ali
1988-01-01
The Silvri Workshop was divided into a short summer school and a working conference, producing lectures and research papers on recent developments in stochastic analysis on Wiener space. The topics treated in the lectures relate to the Malliavin calculus, the Skorohod integral and nonlinear functionals of white noise. Most of the research papers are applications of these subjects. This volume addresses researchers and graduate students in stochastic processes and theoretical physics.
Stochastic quantization and gauge invariance
International Nuclear Information System (INIS)
Viana, R.L.
1987-01-01
A survey of the fundamental ideas about Parisi-Wu's Stochastic Quantization Method, with applications to Scalar, Gauge and Fermionic theories, is done. In particular, the Analytic Stochastic Regularization Scheme is used to calculate the polarization tensor for Quantum Electrodynamics with Dirac bosons or Fermions. The regularization influence is studied for both theories and an extension of this method for some supersymmetrical models is suggested. (author)
Stochastic Gradient Monomial Gamma Sampler
Zhang, Yizhe; Chen, Changyou; Gan, Zhe; Henao, Ricardo; Carin, Lawrence
2017-01-01
Recent advances in stochastic gradient techniques have made it possible to estimate posterior distributions from large datasets via Markov Chain Monte Carlo (MCMC). However, when the target posterior is multimodal, mixing performance is often poor. This results in inadequate exploration of the posterior distribution. A framework is proposed to improve the sampling efficiency of stochastic gradient MCMC, based on Hamiltonian Monte Carlo. A generalized kinetic function is leveraged, delivering ...
Multiplier Models in Stochastic DEA
Directory of Open Access Journals (Sweden)
Mahnaz Mirbolouki
2014-05-01
Full Text Available Data Envelopment Analysis (DEA is a data-oriented performance evaluation method which has treated data as being deterministic. Throughout applications managers may encounter the data which are not recognized deterministically. In this paper a deterministic version of stochastic CCR multiplier model based on chance constrained programming approach is presented. The advantage of this method is that the stochastic essence of input-output variables has been taken into account. Using numerical example, we will demonstrate how this method works.
Phenomenology of stochastic exponential growth
Pirjol, Dan; Jafarpour, Farshid; Iyer-Biswas, Srividya
2017-06-01
Stochastic exponential growth is observed in a variety of contexts, including molecular autocatalysis, nuclear fission, population growth, inflation of the universe, viral social media posts, and financial markets. Yet literature on modeling the phenomenology of these stochastic dynamics has predominantly focused on one model, geometric Brownian motion (GBM), which can be described as the solution of a Langevin equation with linear drift and linear multiplicative noise. Using recent experimental results on stochastic exponential growth of individual bacterial cell sizes, we motivate the need for a more general class of phenomenological models of stochastic exponential growth, which are consistent with the observation that the mean-rescaled distributions are approximately stationary at long times. We show that this behavior is not consistent with GBM, instead it is consistent with power-law multiplicative noise with positive fractional powers. Therefore, we consider this general class of phenomenological models for stochastic exponential growth, provide analytical solutions, and identify the important dimensionless combination of model parameters, which determines the shape of the mean-rescaled distribution. We also provide a prescription for robustly inferring model parameters from experimentally observed stochastic growth trajectories.
DEFF Research Database (Denmark)
Andersen, Christian Ulrik; Lindstrøm, Hanne
2006-01-01
The seminar Art|Net|Work deals with two important changes in our culture. On one side, the network has become essential in the latest technological development. The Internet has entered a new phase, Web 2.0, including the occurrence of as ‘Wiki’s’, ‘Peer-2-Peer’ distribution, user controlled...... taxonomies (‘Folksonomy’) and ‘Weblogs’. Also, platforms, programming and software are today very often created in open communities – as seen in the ‘Free/Open Source’ movement. On the other side, following the technological development, the network also has become essential in the art sphere. Artists focus...... on the ‘network’ itself as a phenomenon and are often using technological networks as a mean of production and distribution. This changes the artistic practice and the distribution channels of art works – and the traditional notions of ‘work’, ‘origin’ and ‘rights’ are increasingly perceived as limiting...
Adaptation in stochastic environments
Clark, Colib
1993-01-01
The classical theory of natural selection, as developed by Fisher, Haldane, and 'Wright, and their followers, is in a sense a statistical theory. By and large the classical theory assumes that the underlying environment in which evolution transpires is both constant and stable - the theory is in this sense deterministic. In reality, on the other hand, nature is almost always changing and unstable. We do not yet possess a complete theory of natural selection in stochastic environ ments. Perhaps it has been thought that such a theory is unimportant, or that it would be too difficult. Our own view is that the time is now ripe for the development of a probabilistic theory of natural selection. The present volume is an attempt to provide an elementary introduction to this probabilistic theory. Each author was asked to con tribute a simple, basic introduction to his or her specialty, including lively discussions and speculation. We hope that the book contributes further to the understanding of the roles of "Cha...
Kallianpur, Gopinath; Hida, Takeyuki
1987-01-01
The use of probabilistic methods in the biological sciences has been so well established by now that mathematical biology is regarded by many as a distinct dis cipline with its own repertoire of techniques. The purpose of the Workshop on sto chastic methods in biology held at Nagoya University during the week of July 8-12, 1985, was to enable biologists and probabilists from Japan and the U. S. to discuss the latest developments in their respective fields and to exchange ideas on the ap plicability of the more recent developments in stochastic process theory to problems in biology. Eighteen papers were presented at the Workshop and have been grouped under the following headings: I. Population genetics (five papers) II. Measure valued diffusion processes related to population genetics (three papers) III. Neurophysiology (two papers) IV. Fluctuation in living cells (two papers) V. Mathematical methods related to other problems in biology, epidemiology, population dynamics, etc. (six papers) An important f...
AA, stochastic precooling kicker
CERN PhotoLab
1980-01-01
The freshly injected antiprotons were subjected to fast stochastic "precooling", while a shutter shielded the deeply cooled antiproton stack from the violent action of the precooling kicker. In this picture, the injection orbit is to the left, the stack orbit to the far right, the separating shutter is in open position. After several seconds of precooling (in momentum and in the vertical plane), the shutter was opened briefly, so that by means of RF the precooled antiprotons could be transferred to the stack tail, where they were subjected to further cooling in momentum and both transverse planes, until they ended up, deeply cooled, in the stack core. The fast shutter, which had to open and close in a fraction of a second was an essential item of the cooling scheme and a mechanical masterpiece. Here the shutter is in the open position. The precooling pickups were of the same design, with the difference that the kickers had cooling circuits and the pickups not. 8401150 shows a precooling pickup with the shutte...
Stochastic partial differential equations
Lototsky, Sergey V
2017-01-01
Taking readers with a basic knowledge of probability and real analysis to the frontiers of a very active research discipline, this textbook provides all the necessary background from functional analysis and the theory of PDEs. It covers the main types of equations (elliptic, hyperbolic and parabolic) and discusses different types of random forcing. The objective is to give the reader the necessary tools to understand the proofs of existing theorems about SPDEs (from other sources) and perhaps even to formulate and prove a few new ones. Most of the material could be covered in about 40 hours of lectures, as long as not too much time is spent on the general discussion of stochastic analysis in infinite dimensions. As the subject of SPDEs is currently making the transition from the research level to that of a graduate or even undergraduate course, the book attempts to present enough exercise material to fill potential exams and homework assignments. Exercises appear throughout and are usually directly connected ...
Stochastic multi-symplectic Runge-Kutta methods for stochastic Hamiltonian PDEs
Zhang, Liying; Ji, Lihai
2018-01-01
In this paper, we consider stochastic Runge-Kutta methods for stochastic Hamiltonian partial differential equations and present some sufficient conditions for multisymplecticity of stochastic Runge-Kutta methods of stochastic Hamiltonian partial differential equations. Particularly, we apply these ideas to stochastic Maxwell equations with multiplicative noise, possessing the stochastic multi-symplectic conservation law and energy conservation law. Theoretical analysis shows that the methods ...
Understanding Net Zero Energy Buildings
DEFF Research Database (Denmark)
Salom, Jaume; Widén, Joakim; Candanedo, José
2011-01-01
Although several alternative definitions exist, a Net-Zero Energy Building (Net ZEB) can be succinctly described as a grid-connected building that generates as much energy as it uses over a year. The “net-zero” balance is attained by applying energy conservation and efficiency measures...... and by incorporating renewable energy systems. While based on annual balances, a complete description of a Net ZEB requires examining the system at smaller time-scales. This assessment should address: (a) the relationship between power generation and building loads and (b) the resulting interaction with the power grid...
Initial CAD investigations for NET
International Nuclear Information System (INIS)
Katz, F.; Leinemann, K.; Ludwig, A.; Marek, U.; Olbrich, W.; Schlechtendahl, E.G.
1985-11-01
This report summarizes the work done under contract no. 164/84-7/FU-D-/NET between the Commission of the European Communities and KfK during the period from June 1, 1984, through May 31, 1985. The following topics are covered in this report: Initial modelling of NET version NET2A, CAD system extension for remote handling studies, analysis of the CAD information structure, work related to the transfer of CAD information between KfK and the NET team. (orig.) [de
Directory of Open Access Journals (Sweden)
Květoslava Šustová
2006-01-01
Full Text Available Our work deals with a possibility of determination of basic composition (dry matter, fat, protein, casein, lactose and urea nitrogen of ewe’s milk and colostrum by FT NIR spectroscopy. Samples of milk were warmed to 40 °C, agitated, cooled to 20 °C, transferred into Petri dishes and analysed by reference methods and by FT NIR in reflectance mode. The measured area was spaced by a metallic mirror. Statistically significant differences between the reference values and the calculated values of NIR were not found (p=0.05. Results of calibration for ewe’s milk determined the highest correlation coefficients: dry matter 0.983, fat 0.989, true protein 0.997, casein 0.977, lactose 0.980 and urea nitrogen 0.973. The study showed that NIRS method, when samples of milk are measured on Petri dishes, is a useful technique for the prediction of dry matter, fat, protein and casein in ewe’s milk.
Poetička filozofija Frane Petrića i književne poetike 16. stoljeća
Schiffler, Ljerka
1992-01-01
Autorica u svojoj studiji istražuje izvore poetičke filozofije creškog renesansnog filozofa Frane Petrića (Franciscus Patritius, Cres, 1529 - Rim, 1597), posebice kroz nekoliko zasebnih tematskih cjelina obuhvaćenih Petrićevim komentarima, raspravama i dijalozima koji pripadaju ranijem razdoblju njegova formiranja od 1553. do 1577. g.: rasprava o pjesničkim zanosima (Discorso della diversitii de' furori poetici), tumačenje Petrarkinog soneta (Lettura sopra il sonetto del Petrarca »La gola, e ...
Multiscale Hy3S: Hybrid stochastic simulation for supercomputers
Directory of Open Access Journals (Sweden)
Kaznessis Yiannis N
2006-02-01
Full Text Available Abstract Background Stochastic simulation has become a useful tool to both study natural biological systems and design new synthetic ones. By capturing the intrinsic molecular fluctuations of "small" systems, these simulations produce a more accurate picture of single cell dynamics, including interesting phenomena missed by deterministic methods, such as noise-induced oscillations and transitions between stable states. However, the computational cost of the original stochastic simulation algorithm can be high, motivating the use of hybrid stochastic methods. Hybrid stochastic methods partition the system into multiple subsets and describe each subset as a different representation, such as a jump Markov, Poisson, continuous Markov, or deterministic process. By applying valid approximations and self-consistently merging disparate descriptions, a method can be considerably faster, while retaining accuracy. In this paper, we describe Hy3S, a collection of multiscale simulation programs. Results Building on our previous work on developing novel hybrid stochastic algorithms, we have created the Hy3S software package to enable scientists and engineers to both study and design extremely large well-mixed biological systems with many thousands of reactions and chemical species. We have added adaptive stochastic numerical integrators to permit the robust simulation of dynamically stiff biological systems. In addition, Hy3S has many useful features, including embarrassingly parallelized simulations with MPI; special discrete events, such as transcriptional and translation elongation and cell division; mid-simulation perturbations in both the number of molecules of species and reaction kinetic parameters; combinatorial variation of both initial conditions and kinetic parameters to enable sensitivity analysis; use of NetCDF optimized binary format to quickly read and write large datasets; and a simple graphical user interface, written in Matlab, to help users
Rare, but challenging tumors: NET
International Nuclear Information System (INIS)
Ivanova, D.; Balev, B.
2013-01-01
Full text: Introduction: Gastroenteropancreatic Neuroendocrine Tumors (GEP - NET) are a heterogeneous group of tumors with different locations and many different clinical, histological, and imaging performance. In a part of them a secretion of various organic substances is present. The morbidity of GEP - NET in the EU is growing, and this leads to increase the attention to them. What you will learn: Imaging methods used for localization and staging of GEP - NET, characteristics of the study’s protocols; Classification of GEP - NET; Demonstration of typical and atypical imaging features of GEP - NET in patients registered at the NET Center at University Hospital ‘St. Marina’, Varna; Features of metastatic NET, The role of imaging in the evaluation of treatment response and follow-up of the patients. Discussion: The image semiotics analysis is based on 19 cases of GEP - NET registered NET Center at University Hospital ‘St. Marina’. The main imaging method is multidetector CT (MDCT), and magnetic resonance imaging (MRI ) has advantages in the evaluation of liver lesions and the local prevalence of anorectal tumors. In patients with advanced disease and liver lesions the assessment of skeletal involvement (MRI/ nuclear medical method) is mandatory. The majority of GEP - NET have not any specific imaging findings. Therefore it is extremely important proper planning and conducting of the study (MDCT and MR enterography; accurate assessment phase of scanning, positive and negative contrast). Conclusion: GEP - NET is a major diagnostic challenge due to the absence of typical imaging characteristics and often an overlap with those of the tumors of different origin can be observed. Therefore, a good knowledge of clinical and imaging changes occurring at different locations is needed. MDCT is the basis for the diagnosis, staging and follow-up of these neoplasms
Net Reclassification Improvement.
Jewell, Elizabeth S; Maile, Michael D; Engoren, Milo; Elliott, Michael
2016-03-01
When adding new markers to existing prediction models, it is necessary to evaluate the models to determine whether the additional markers are useful. The net reclassification improvement (NRI) has gained popularity in this role because of its simplicity, ease of estimation, and understandability. Although the NRI provides a single-number summary describing the improvement new markers bring to a model, it also has several potential disadvantages. Any improved classification by the new model is weighted equally, regardless of the direction of reclassification. In prediction models that already identify the high- and low-risk groups well, a positive NRI may not mean better classification of those with medium risk, where it could make the most difference. Also, overfitting, or otherwise misspecified training models, produce overly positive NRI results. Because of the unaccounted for uncertainty in the model coefficient estimation, investigators should rely on bootstrapped confidence intervals rather than on tests of significance. Keeping in mind the limitations and drawbacks, the NRI can be helpful when used correctly.
International Nuclear Information System (INIS)
Veieder, G.; Harrison, M.; Moons, F.
1989-01-01
The progress in the design and development of the first wall (FW) and divertor plates (DP) for the Next European Torus (NET) are summarized, highlighting the assumed main operating conditions, material choices, design options and their analysis as well as associated manufacturing studies and the ongoing testing programme. As plasma facing armor on both FW and DP, carbon based materials will be used at least during the initial physics phase due to their good performance in current tokamaks in respect to impurity control and disruption resistance. For the FW structure in water cooled austenitic steel, with radiation cooled armor adequate thermo-mechanical performance is predicted allowing peak heat fluxes of up to 0.8 MW/m 2 at 2 x 10 4 long duration burn pulses. For divertor concepts with the armor attached by brazing to a water cooled heatsink, the peak heat flux is about 10 MW/m 2 . However, the main critical issue for the DP is the lifetime which is critically limited by erosion. The demonstration of the basic feasibility of FW and DP design is in progress via manufacture and thermo-mechanical testing of prototypical mock-ups. (author). 26 refs.; 13 figs.; 2 tabs
International Nuclear Information System (INIS)
Vieider, G.; Harrison, M.; Moons, F.
1989-01-01
The progress in the design and development of the first wall (FW) and divertor plates (DP) for the Next European Torus (NET) are summarized, highlighting the assumed main operating conditions, material choices, design options and their analysis as well as associated manufacturing studies and the ongoing testing programme. As plasma facing armor on both FW and DP, carbon based materials will be used at least during the initial physics phase due to their good performance in current tokamaks in respect to impurity control and disruption resistance. For the FW structure in water cooled austenitic steel, with radiation cooled armor adequate thermo-mechanical performance is predicted allowing peak heat fluxes of up to 0.8 MW/m 2 at 2x10 4 long duration burn pulses. For divertor concepts with the armor attached by brazing to a water cooled heatsink, the peak heat flux is about 10 MW/m 2 . However, the main critical issue for the DP is the lifetime which is critically limited by erosion. The demonstation of the basic feasibility of FW and DP design is in progress via manufacture and thermo-mechanical testing of prototypical mock-ups. (orig.)
Stochastic models: theory and simulation.
Energy Technology Data Exchange (ETDEWEB)
Field, Richard V., Jr.
2008-03-01
Many problems in applied science and engineering involve physical phenomena that behave randomly in time and/or space. Examples are diverse and include turbulent flow over an aircraft wing, Earth climatology, material microstructure, and the financial markets. Mathematical models for these random phenomena are referred to as stochastic processes and/or random fields, and Monte Carlo simulation is the only general-purpose tool for solving problems of this type. The use of Monte Carlo simulation requires methods and algorithms to generate samples of the appropriate stochastic model; these samples then become inputs and/or boundary conditions to established deterministic simulation codes. While numerous algorithms and tools currently exist to generate samples of simple random variables and vectors, no cohesive simulation tool yet exists for generating samples of stochastic processes and/or random fields. There are two objectives of this report. First, we provide some theoretical background on stochastic processes and random fields that can be used to model phenomena that are random in space and/or time. Second, we provide simple algorithms that can be used to generate independent samples of general stochastic models. The theory and simulation of random variables and vectors is also reviewed for completeness.
Zee M van der; Verspaij GJ; Rosbergen S; IMP; NMD
2003-01-01
Developers, administrators and managers can get more understanding of the .NET technology with this report. They can also make better choices how to use this technology. The report describes the results and conclusions of a study of the usability for the RIVM of this new generation .NET development
International Nuclear Information System (INIS)
Leinemann, K.
1990-10-01
The goal of this NET study was to define the functionality of a remote handling workstation and its hardware and software architecture. The remote handling workstation has to fulfill two basic functions: (1) to provide the man-machine interface (MMI), that means the interface to the control system of the maintenance equipment and to the working environment (telepresence) and (2) to provide high level (task level) supporting functions (software tools) during the maintenance work and in the preparation phase. Concerning the man-machine interface, an important module of the remote handling workstation besides the standard components of man-machine interfacing is a module for graphical scene presentation supplementing viewing by TV. The technique of integrated viewing is well known from JET BOOM and TARM control using the GBsim and KISMET software. For integration of equipment dependent MMI functions the remote handling workstation provides a special software module interface. Task level support of the operator is based on (1) spatial (geometric/kinematic) models, (2) remote handling procedure models, and (3) functional models of the equipment. These models and the related simulation modules are used for planning, programming, execution monitoring, and training. The workstation provides an intelligent handbook guiding the operator through planned procedures illustrated by animated graphical sequences. For unplanned situations decision aids are available. A central point of the architectural design was to guarantee a high flexibility with respect to hardware and software. Therefore the remote handling workstation is designed as an open system based on widely accepted standards allowing the stepwise integration of the various modules starting with the basic MMI and the spatial simulation as standard components. (orig./HP) [de
Limits for Stochastic Reaction Networks
DEFF Research Database (Denmark)
Cappelletti, Daniele
at a certain time are stochastically modelled by means of a continuous-time Markov chain. Our work concerns primarily stochastic reaction systems, and their asymptotic properties. In Paper I, we consider a reaction system with intermediate species, i.e. species that are produced and fast degraded along a path...... network tends to that of the original one. In particular, we prove a uniform punctual convergence in distribution and weak convergence of the integrals of continuous functions along the paths of the two models. Under some extra conditions, we also prove weak convergence of the two processes. The result....... Such species, in the deterministic modelling regime, assume always the same value at any positive steady state. In the stochastic setting, we prove that, if the initial condition is a point in the basin of attraction of a positive steady state of the corresponding deterministic model and tends to innity...
Fundamentals of stochastic nature sciences
Klyatskin, Valery I
2017-01-01
This book addresses the processes of stochastic structure formation in two-dimensional geophysical fluid dynamics based on statistical analysis of Gaussian random fields, as well as stochastic structure formation in dynamic systems with parametric excitation of positive random fields f(r,t) described by partial differential equations. Further, the book considers two examples of stochastic structure formation in dynamic systems with parametric excitation in the presence of Gaussian pumping. In dynamic systems with parametric excitation in space and time, this type of structure formation either happens – or doesn’t! However, if it occurs in space, then this almost always happens (exponentially quickly) in individual realizations with a unit probability. In the case considered, clustering of the field f(r,t) of any nature is a general feature of dynamic fields, and one may claim that structure formation is the Law of Nature for arbitrary random fields of such type. The study clarifies the conditions under wh...
Stochastic models of cell motility
DEFF Research Database (Denmark)
Gradinaru, Cristian
2012-01-01
Cell motility and migration are central to the development and maintenance of multicellular organisms, and errors during this process can lead to major diseases. Consequently, the mechanisms and phenomenology of cell motility are currently under intense study. In recent years, a new...... interdisciplinary field focusing on the study of biological processes at the nanoscale level, with a range of technological applications in medicine and biological research, has emerged. The work presented in this thesis is at the interface of cell biology, image processing, and stochastic modeling. The stochastic...... models introduced here are based on persistent random motion, which I apply to real-life studies of cell motility on flat and nanostructured surfaces. These models aim to predict the time-dependent position of cell centroids in a stochastic manner, and conversely determine directly from experimental...
Verification of Stochastic Process Calculi
DEFF Research Database (Denmark)
Skrypnyuk, Nataliya
process calculi. The description of a system in the syntax of a particular stochastic process calculus can be analysed in a compositional way, without expanding the state space by explicitly resolving all the interdependencies between the subsystems which may lead to the state space explosion problem....... In support of this claim we have developed analysis methods that belong to a particular type of Static Analysis { Data Flow / Pathway Analysis. These methods have previously been applied to a number of non-stochastic process calculi. In this thesis we are lifting them to the stochastic calculus...... description of a system. The presented methods have a clear application in the areas of embedded systems, (randomised) protocols run between a fixed number of parties etc....
Stochastic quantization of general relativity
International Nuclear Information System (INIS)
Rumpf, H.
1986-01-01
Following an elementary exposition of the basic mathematical concepts used in the theory of stochastic relaxation processes the stochastic quantization method of Parisi and Wu is briefly reviewed. The method is applied to Einstein's theory of gravitation using a formalism that is manifestly covariant with respect to field redefinitions. This requires the adoption of Ito's calculus and the introduction of a metric in field configuration space, for which there is a unique candidate. Due to the indefiniteness of the Euclidean Einstein-Hilbert action stochastic quantization is generalized to the pseudo-Riemannian case. It is formally shown to imply the DeWitt path integral measure. Finally a new type of perturbation theory is developed. (Author)
Stochastic models for atmospheric dispersion
DEFF Research Database (Denmark)
Ditlevsen, Ove Dalager
2003-01-01
Simple stochastic differential equation models have been applied by several researchers to describe the dispersion of tracer particles in the planetary atmospheric boundary layer and to form the basis for computer simulations of particle paths. To obtain the drift coefficient, empirical vertical...... positions close to the boundaries. Different rules have been suggested in the literature with justifications based on simulation studies. Herein the relevant stochastic differential equation model is formulated in a particular way. The formulation is based on the marginal transformation of the position...... dependent particle velocity into a position independent Gaussian velocity. Boundary conditions are obtained from Itos rule of stochastic differentiation. The model directly point at a canonical rule of reflection for the approximating random walk with finite time step. This reflection rule is different from...
Applied probability and stochastic processes
Sumita, Ushio
1999-01-01
Applied Probability and Stochastic Processes is an edited work written in honor of Julien Keilson. This volume has attracted a host of scholars in applied probability, who have made major contributions to the field, and have written survey and state-of-the-art papers on a variety of applied probability topics, including, but not limited to: perturbation method, time reversible Markov chains, Poisson processes, Brownian techniques, Bayesian probability, optimal quality control, Markov decision processes, random matrices, queueing theory and a variety of applications of stochastic processes. The book has a mixture of theoretical, algorithmic, and application chapters providing examples of the cutting-edge work that Professor Keilson has done or influenced over the course of his highly-productive and energetic career in applied probability and stochastic processes. The book will be of interest to academic researchers, students, and industrial practitioners who seek to use the mathematics of applied probability i...
Multiple-scale stochastic processes: Decimation, averaging and beyond
Energy Technology Data Exchange (ETDEWEB)
Bo, Stefano, E-mail: stefano.bo@nordita.org [Nordita, KTH Royal Institute of Technology and Stockholm University, Roslagstullsbacken 23, SE-106 91 Stockholm (Sweden); Celani, Antonio [Quantitative Life Sciences, The Abdus Salam International Centre for Theoretical Physics (ICTP), Strada Costiera 11, I-34151 - Trieste (Italy)
2017-02-07
The recent experimental progresses in handling microscopic systems have allowed to probe them at levels where fluctuations are prominent, calling for stochastic modeling in a large number of physical, chemical and biological phenomena. This has provided fruitful applications for established stochastic methods and motivated further developments. These systems often involve processes taking place on widely separated time scales. For an efficient modeling one usually focuses on the slower degrees of freedom and it is of great importance to accurately eliminate the fast variables in a controlled fashion, carefully accounting for their net effect on the slower dynamics. This procedure in general requires to perform two different operations: decimation and coarse-graining. We introduce the asymptotic methods that form the basis of this procedure and discuss their application to a series of physical, biological and chemical examples. We then turn our attention to functionals of the stochastic trajectories such as residence times, counting statistics, fluxes, entropy production, etc. which have been increasingly studied in recent years. For such functionals, the elimination of the fast degrees of freedom can present additional difficulties and naive procedures can lead to blatantly inconsistent results. Homogenization techniques for functionals are less covered in the literature and we will pedagogically present them here, as natural extensions of the ones employed for the trajectories. We will also discuss recent applications of these techniques to the thermodynamics of small systems and their interpretation in terms of information-theoretic concepts.
QB1 - Stochastic Gene Regulation
Energy Technology Data Exchange (ETDEWEB)
Munsky, Brian [Los Alamos National Laboratory
2012-07-23
Summaries of this presentation are: (1) Stochastic fluctuations or 'noise' is present in the cell - Random motion and competition between reactants, Low copy, quantization of reactants, Upstream processes; (2) Fluctuations may be very important - Cell-to-cell variability, Cell fate decisions (switches), Signal amplification or damping, stochastic resonances; and (3) Some tools are available to mode these - Kinetic Monte Carlo simulations (SSA and variants), Moment approximation methods, Finite State Projection. We will see how modeling these reactions can tell us more about the underlying processes of gene regulation.
Stochastic geometry and its applications
Chiu, Sung Nok; Kendall, Wilfrid S; Mecke, Joseph
2013-01-01
An extensive update to a classic text Stochastic geometry and spatial statistics play a fundamental role in many modern branches of physics, materials sciences, engineering, biology and environmental sciences. They offer successful models for the description of random two- and three-dimensional micro and macro structures and statistical methods for their analysis. The previous edition of this book has served as the key reference in its field for over 18 years and is regarded as the best treatment of the subject of stochastic geometry, both as a subject with vital a
Stochastic geometry for image analysis
Descombes, Xavier
2013-01-01
This book develops the stochastic geometry framework for image analysis purpose. Two main frameworks are described: marked point process and random closed sets models. We derive the main issues for defining an appropriate model. The algorithms for sampling and optimizing the models as well as for estimating parameters are reviewed. Numerous applications, covering remote sensing images, biological and medical imaging, are detailed. This book provides all the necessary tools for developing an image analysis application based on modern stochastic modeling.
Stochastic dynamics of new inflation
International Nuclear Information System (INIS)
Nakao, Ken-ichi; Nambu, Yasusada; Sasaki, Misao.
1988-07-01
We investigate thoroughly the dynamics of an inflation-driving scalar field in terms of an extended version of the stochastic approach proposed by Starobinsky and discuss the spacetime structure of the inflationary universe. To avoid any complications which might arise due to quantum gravity, we concentrate our discussions on the new inflationary universe scenario in which all the energy scales involved are well below the planck mass. The investigation is done both analytically and numerically. In particular, we present a full numerical analysis of the stochastic scalar field dynamics on the phase space. Then implications of the results are discussed. (author)
Algebraic and stochastic coding theory
Kythe, Dave K
2012-01-01
Using a simple yet rigorous approach, Algebraic and Stochastic Coding Theory makes the subject of coding theory easy to understand for readers with a thorough knowledge of digital arithmetic, Boolean and modern algebra, and probability theory. It explains the underlying principles of coding theory and offers a clear, detailed description of each code. More advanced readers will appreciate its coverage of recent developments in coding theory and stochastic processes. After a brief review of coding history and Boolean algebra, the book introduces linear codes, including Hamming and Golay codes.
The dynamics of stochastic processes
DEFF Research Database (Denmark)
Basse-O'Connor, Andreas
In the present thesis the dynamics of stochastic processes is studied with a special attention to the semimartingale property. This is mainly motivated by the fact that semimartingales provide the class of the processes for which it is possible to define a reasonable stochastic calculus due...... to the Bichteler-Dellacherie Theorem. The semimartingale property of Gaussian processes is characterized in terms of their covariance function, spectral measure and spectral representation. In addition, representation and expansion of filtration results are provided as well. Special attention is given to moving...
Stochastic model in microwave propagation
International Nuclear Information System (INIS)
Ranfagni, A.; Mugnai, D.
2011-01-01
Further experimental results of delay time in microwave propagation are reported in the presence of a lossy medium (wood). The measurements show that the presence of a lossy medium makes the propagation slightly superluminal. The results are interpreted on the basis of a stochastic (or path integral) model, showing how this model is able to describe each kind of physical system in which multi-path trajectories are present. -- Highlights: ► We present new experimental results on electromagnetic “anomalous” propagation. ► We apply a path integral theoretical model to wave propagation. ► Stochastic processes and multi-path trajectories in propagation are considered.
Stochastic and infinite dimensional analysis
Carpio-Bernido, Maria; Grothaus, Martin; Kuna, Tobias; Oliveira, Maria; Silva, José
2016-01-01
This volume presents a collection of papers covering applications from a wide range of systems with infinitely many degrees of freedom studied using techniques from stochastic and infinite dimensional analysis, e.g. Feynman path integrals, the statistical mechanics of polymer chains, complex networks, and quantum field theory. Systems of infinitely many degrees of freedom create their particular mathematical challenges which have been addressed by different mathematical theories, namely in the theories of stochastic processes, Malliavin calculus, and especially white noise analysis. These proceedings are inspired by a conference held on the occasion of Prof. Ludwig Streit’s 75th birthday and celebrate his pioneering and ongoing work in these fields.
Probability, Statistics, and Stochastic Processes
Olofsson, Peter
2011-01-01
A mathematical and intuitive approach to probability, statistics, and stochastic processes This textbook provides a unique, balanced approach to probability, statistics, and stochastic processes. Readers gain a solid foundation in all three fields that serves as a stepping stone to more advanced investigations into each area. This text combines a rigorous, calculus-based development of theory with a more intuitive approach that appeals to readers' sense of reason and logic, an approach developed through the author's many years of classroom experience. The text begins with three chapters that d
Stochastic mechanics and quantum theory
International Nuclear Information System (INIS)
Goldstein, S.
1987-01-01
Stochastic mechanics may be regarded as both generalizing classical mechanics to processes with intrinsic randomness, as well as providing the sort of detailed description of microscopic events declared impossible under the traditional interpretation of quantum mechanics. It avoids the many conceptual difficulties which arise from the assumption that quantum mechanics, i.e., the wave function, provides a complete description of (microscopic) physical reality. Stochastic mechanics presents a unified treatment of the microscopic and macroscopic domains, in which the process of measurement plays no special physical role and which reduces to Newtonian mechanics in the macroscopic limit