scispace - formally typeset
Search or ask a question
Topic

Petri net

About: Petri net is a research topic. Over the lifetime, 25039 publications have been published within this topic receiving 406994 citations.


Papers
More filters
BookDOI
01 Jun 2007
TL;DR: The Semantic Web: Relevant Issues Conceptual Basis for Discrete-Event Simulation Types of Mathematical Models Adding Semantics to Simulation models Adding Semantic to Simulation Models Conclusions Theory and Practice for Simulation Interconnection: Interoperability and Composability in Defense Simulation.
Abstract: INTRODUCTION The Languages of Dynamic System Modeling by Paul A. Fishwick Introduction Dynamic System Modeling Examples Taxonomic Approaches Language Syntax Semantics Pragmatics Summary The Dynamics of the Computational Modeling of Analogy-Making by Robert M. French Introduction Analogy-Making as Sameness Analogy-Making as a Means of "Bootstrapping" Cognition The Necessity of Malleable Representations The Dynamics of Representation-Building in Analogy-Making Context-Dependent Computational Temperature Interaction between Top-Down and Bottom-Up Processes: An Example Computational Models Implementing This Bottom-Up/Top-Down Interaction Architectural Principles How This Type of Program Works: The Details How Tabletop Finds a Reasonable Solution The Issue of Scaling Up The Potential Long-Term Impact of the Mechanisms Presented Conclusions Impact of the Semantic Web on Modeling and Simulation by John A. Miller, Congzhou He, and Julia I. Couto Introduction Semantic Web: Relevant Issues Conceptual Basis for Discrete-Event Simulation Types of Mathematical Models Adding Semantics to Simulation Models Overview of DeSO Overview of DeMO Summary Systems Engineering by Andrew P. Sage Introduction Systems Engineering The Importance of Technical Direction and Systems Management Other Parts of the Story Summary Basic Elements of Mathematical Modeling by Clive L. Dym Principles of Mathematical Modeling Dimensional Consistency and Dimensional Analysis Abstraction and Scale Conservation and Balance Principles The Role of Linearity Conclusions DEVS Formalism for Modeling of Discrete-Event Systems by Tag Gon Kim Introduction System-Theoretic DES Modeling DEVS Formalism for DES Modeling DES Analysis with DEVS Model Simulation of DEVS Model Conclusion MODELING METHODOLOGIES Domain-Specific Modeling by Jeff Gray, Juha-Pekka Tolvanen, Steven Kelly, Anirudda Gokhale, Sandeep Neema, and Jonathan Sprinkle Introduction Essential Components of a Domain-Specific Modeling Environment Case Studies in DSM Overview of Supporting Tools Conclusion Agent-Oriented Modeling in Simulation: Agents for Modeling and Modeling for Agents by Adelinde M. Uhrmacher and Mathias Rohl Introduction Agents for Modeling in Simulation Modeling and Simulation for Agents Conclusion Distributed Modeling by Simon J.E. Taylor Introduction Modeling with COTS Simulation Packages Distributed Simulation CSP-Based Distributed Simulation A Standards-Based Approach Case Study Conclusion Model Execution by Kalyan S. Perumalla Introduction Time-Stepped Execution Discrete-Event Execution Summary Discrete-Event Simulation of Continuous Systems by James Nutaro Introduction Simulating a Single Ordinary Differential Equation Simulating Coupled Ordinary Differential Equations DEVS Representation of Discrete-Event Integrators The Heat Equation Conservation Laws Two-Point Integration Schemes Conclusions MULTIOBJECT AND SYSTEM Toward a Multimodel Hierarchy to Support Multiscale Simulation by Mark S. Shephard, E. Seegyoung Seol, and Benjamin FrantzDale Introduction Functional and Information Hierarchies in Multiscale Simulation Constructing a Multimodel: Design of Functional Components to Support Multiscale Simulations Example Multimodel Simulation Procedures Closing Remarks Finite Elements by Marc Hoit and Gary Consolazio Finite Element Theory Membrane Elements Flat Plate and Shell Elements Solid Elements Dynamics Summary Multimodeling by Minho Park, Paul A. Fishwick, and Jinho Lee Introduction Scene Construction Multimodeling Exchange Language (MXL) Dynamic Exchange Language (DXL) A Boiling Water Example Conclusion Hybrid Dynamic Systems: Modeling and Execution by Pieter J. Mosterman Introduction Hybrid Dynamic Systems Hybrid Dynamic System Behaviors An Implementation Advanced Topics in Hybrid Dynamic System Simulation Pathological Behavior Classes Conclusions Theory and Practice for Simulation Interconnection: Interoperability and Composability in Defense Simulation by Ernest H. Page Introduction The Practice of Simulation Interconnection-Simulation Interoperability The Theory of Simulation Interconnection-Simulation Composability Conclusions MODEL TYPES Ordinary Differential Equations by Francisco Esquembre and Wolfgang Christian Introduction Numerical Solution Taylor Methods Runge-Kutta Methods Implementation Adaptive Step Implementation of Adaptive Step Performance and Other Methods State Events The OSP Library Difference Equations as Discrete Dynamical Systems by Hassan Sedaghat Introduction Basic Concepts First-Order Difference Equations Higher Order Difference Equations Process Algebra by J.C.M. Baeten, D.A. van Beek, and J.E. Rooda Introduction Syntax and Informal Semantics of the ? Process Algebra Algebraic Reasoning and Verification Conclusions Temporal Logic by Antony Galton Propositional Logic Introducing Temporal Logic Syntax and Semantics Models of Time Further Extensions to the Formal Language Illustrative Examples Conclusion Further Reading Modeling Dynamic Systems with Cellular Automata by Peter M.A. Sloot and Altons G. Hoekstra Introduction A Bit of History Cellular Automata to Model Dynamical Systems One-Dimensional CAs Lattice Gas Cellular Automata Models of Fluid Dynamics Spatio-Temporal Connectionist Networks by Stefan C. Kremer Introduction Connectionist Networks (CNs) Spatio-Temporal Connectionist Networks Representational Power Learning Applications Conclusion Modeling Causality with Event Relationship Graphs by Lee Schruben Introduction Background and Definitions Enrichments to Event Relations Graphs Relationships to Other Discrete-Event System Modeling Methods Simulation of Event Relationship Graphs Event Relationship Graph Analysis Experimenting with ERGs Petri Nets for Dynamic Event-Driven System Modeling by Jiacun Wang Introduction Petri Net Definition Transition Firing Modeling Power Petri Net Properties Analysis of Petri Nets Colored Petri Nets Timed Petri Nets Concluding Remark Queueing System Models by Christos G. Cassandras Introduction Specification of Queueing System Models Performance of a Queueing System Queueing System Dynamics Little's Law Simple Markovian Queueing Models Markovian Queueing Networks Non-Markovian Queueing Systems Port-Based Modeling of Engineering Systems in Terms of Bond Graphs by Peter Breedveld Introduction Structured Systems: Physical Components and Interaction Bond Graphs Multiport Generalizations Conclusion System Dynamics Modeling of Environmental Systems by Andrew Ford Introductory Examples Comparison of the Flowers and Sales Models Background on Daisy World The Daisy World Model The Daisy World Management Flight Simulator Dynamic Simulation with Energy Systems Language by Clay L. Montague Introduction Reading an Energy Systems Language Diagram Translating a Diagram to Dynamic Equations Calibration of Model Constants Preparation for Simulation Dynamic Output of the Marsh Sector Model A Brief Comparison with Forrester's Systems Dynamics Approach Conclusions Ecological Modeling and Simulation: From Historical Development to Individual-Based Modeling by David R.C. Hill and P. Coquillard Introduction An Old Story? Determinism or Probability? Modeling Techniques The Use of Models in Ecology Models Are Scientific Instruments Levels of Organization and Methodological Choices Individual-Based Models Applications Conclusion Ontology-Based Simulation in Agriculture and Natural Resources by Howard Beck, Rohit Badal, and Yunchul Jung Introduction Ways in Which Ontologies Can Be Applied to Simulation How to Build an Ontology-Based Simulation-Bioprocessing Example Tools for Ontology-Based Simulation Conclusions Modeling Human Interaction in Organizational Systems by Stewart Robinson Introduction Systems and Human Interaction Why Model Human Interaction? Modeling Human Interaction: Research and Practice The KBI Methodology A Case Study: Modeling Human Decision Making at Ford Motor Company Conclusion Military Modeling by Roger Smith Introduction Applications Representation Dynamics Modeling Approach Military Simulation Systems Conclusion Dynamic Modeling in Management Science by Michael Pidd Introduction An Approach to Dynamic Systems Modeling in Management Science Discrete Event Simulation System Dynamics in Management Science Model Validation Chapter Summary Modeling and Analysis of Manufacturing Systems by E. Lefeber and J.E. Rooda Introduction Preliminaries Analytical Models for Steady-State Analysis Discrete-Event Models Effective Process Times Control of Manufacturing Systems: A Framework Standard Fluid Model and Extensions Flow Models Conclusions Sensor Network Component-Based Simulator by Boleslaw K. Szymanski and Gilbert Gang Chen The Need for a New Sensor Network Simulator Component Simulation Toolkit Wireless Sensor Network Simulation Conclusions CASE STUDIES Multidomain Modeling with Modelica by Martin Otter, Hilding Elmqvist, and Sven Erik Mattsson Modelica Overview Modelica Basics Modelica Libraries Symbolic Processing of Modelica Models Outlook Acknowledgments On Simulation of Simulink(R) Models for Model-Based Design by Rohit Shenoy, Brian McKay, and Pieter J. Mosterman Introduction The Case Study Example Designing with Simulation Obtaining Computational Models The Robotic Arm Model Using Computational Models for Control Design Testing with Model-Based Design Conclusions

139 citations

Journal ArticleDOI
TL;DR: In this paper, a rule-based expert system with a colored Petri net (CPN) inference model is developed for service restoration of distribution systems, and the CPN models of distribution components such as four-way line switches are proposed to derive the proper restoration plan after the faulted location has been identified and isolated.
Abstract: A rule-based expert system with a colored Petri net (CPN) inference model is developed for service restoration of distribution systems. The CPN models of distribution components such as four-way line switches are proposed to derive the proper restoration plan after the faulted location has been identified and isolated. The unfaulted but out-of-service areas are restored by applying parallel-like reasoning in the CPN for multiple contingencies simultaneously. To assure the restoration plan can comply with the operation regulation, heuristic rules based on the standard operation procedures of the Taipower distribution system are included in the best first search of the CPN. For the fault contingency during summer peak season, the load shedding is executed and the CPN models are designed to restore service to as many key customers and loads as possible. The priority indices of each feeder and service zone are determined according to the key customers within the service territory. A Taipower distribution system with 18 feeders is selected for computer simulation to demonstrate the effectiveness of the proposed methodology. It is found that the service restoration of distribution system can be obtained very efficiently by applying the proposed CPN model.

139 citations

Book
01 Jan 2001
TL;DR: This book presents a step-by-step development of a rigorous framework for the specification and verification of concurrent systems and takes its inspiration and methods from Process Algebra and Petri Nets, two prominent branches of concurrency theory.
Abstract: This book presents a step-by-step development of a rigorous framework for the specification and verification of concurrent systems. Petri Net Algebra takes its inspiration and methods from Process Algebra and Petri Nets, two prominent branches of concurrency theory. Added synergistic benefit is derived from combining their respective advantages. Petri nets are treated as composable objects, and as such they are embedded in a general process algebra. A generic process algebra is given an automatic Petri net semantics so that net-based verification techniques, based on structural invariants and causal partial orders, can be applied to the process algebra. Finally, the theory is applied to a realistic concurrent programming language. The book contains full proofs, carefully chosen examples and several possible directions for further research. A unique aspect is that the development of the Petri net algebra is handled so as to allow for further applications-oriented extensions and modifications.

139 citations

Journal ArticleDOI
TL;DR: Several key issues in implementing fuzzy reasoning PNs for fault section estimation are addressed, which include optimal design of structure of diagnosis models to avoid large matrix size, utilization of fuzzy logic parameters to effectively handle uncertainties, realization of matrix execution algorithm to achieve parallel reasoning and adaptability, and integration of more reliable input data to enhance estimation accuracy.
Abstract: Fuzzy reasoning Petri-nets (PNs) is a promising technique to tackle the complexities of power system fault section estimation. This paper addresses several key issues in implementing fuzzy reasoning PNs for fault section estimation, which include optimal design of structure of diagnosis models to avoid large matrix size, utilization of fuzzy logic parameters to effectively handle uncertainties, realization of matrix execution algorithm to achieve parallel reasoning and adaptability, and integration of more reliable input data to enhance estimation accuracy. Case studies are presented to demonstrate the estimation capability under complex scenarios. An implementation solution residing in a control center is proposed.

138 citations

Proceedings ArticleDOI
10 Oct 1995
TL;DR: The authors present an approach to studying the behaviour of modules which is inspired by the work by Sreenivas and Krogh on Petri net representation of condition/event systems.
Abstract: The modeling of production systems of realistic size requires modeling techniques which have the capability to build large models from smaller ones. The authors assume that these small models which describe simple elements of the plant are finite state machines or Petri nets. The authors call these simple submodels modules. If the authors want to synthesize larger models from the modules, they describe the interactions of the modules by signals. Modules can interact by event signals which force state transitions in the module receiving the event signals (the supervisor) and by condition signals. Based on this idea, the uniform, modular modeling concept of condition/event systems (C/E systems) has been introduced by Sreenivas and Krogh (1991). The definition of C/E systems as input-output systems with two types of signals does not imply a particular form of the models to represent the dynamic behavior of the modules. The authors present an approach to studying the behaviour of modules which is inspired by the work by Sreenivas and Krogh on Petri net representation of condition/event systems.

138 citations


Network Information
Related Topics (5)
Control theory
299.6K papers, 3.1M citations
85% related
Control system
129K papers, 1.5M citations
85% related
Server
79.5K papers, 1.4M citations
85% related
Fuzzy logic
151.2K papers, 2.3M citations
85% related
Robustness (computer science)
94.7K papers, 1.6M citations
84% related
Performance
Metrics
No. of papers in the topic in previous years
YearPapers
2023290
2022662
2021466
2020574
2019651
2018751