Item talk:Q317361
From geokb
{
"OpenAlex": { "id": "https://openalex.org/T11125", "display_name": "Modeling and Control of Petri Nets in Systems", "description": "This cluster of papers focuses on the modeling, analysis, and control of Petri nets in various systems, with an emphasis on deadlock prevention, supervisory control, fault diagnosis, and diagnosability analysis in the context of discrete-event systems and flexible manufacturing systems. It also covers topics such as formal methods, stochastic Petri nets, and concurrency modeling.", "keywords": [ "Petri Nets", "Deadlock Prevention", "Supervisory Control", "Discrete-Event Systems", "Fault Diagnosis", "Flexible Manufacturing Systems", "Diagnosability Analysis", "Concurrency Modeling", "Formal Methods", "Stochastic Petri Nets" ], "ids": { "openalex": "https://openalex.org/T11125", "wikipedia": "https://en.wikipedia.org/wiki/Petri_net" }, "subfield": { "id": "https://openalex.org/subfields/1703", "display_name": "Computational Theory and Mathematics" }, "field": { "id": "https://openalex.org/fields/17", "display_name": "Computer Science" }, "domain": { "id": "https://openalex.org/domains/3", "display_name": "Physical Sciences" }, "siblings": [ { "id": "https://openalex.org/T12794", "display_name": "Adaptive Dynamic Programming for Optimal Control" }, { "id": "https://openalex.org/T11567", "display_name": "Automata Theory and Formal Languages" }, { "id": "https://openalex.org/T10720", "display_name": "Combinatorial Optimization and Complexity Theory" }, { "id": "https://openalex.org/T12469", "display_name": "Complexity Theory and Emergent Systems" }, { "id": "https://openalex.org/T12002", "display_name": "Computational Complexity and Algorithmic Information Theory" }, { "id": "https://openalex.org/T12809", "display_name": "Computational Contact Mechanics and Variational Inequalities" }, { "id": "https://openalex.org/T10211", "display_name": "Computational Methods in Drug Discovery" }, { "id": "https://openalex.org/T13182", "display_name": "Design and Simulation of Quantum-dot Cellular Automata" }, { "id": "https://openalex.org/T11697", "display_name": "Floating-Point Arithmetic in Scientific Computation" }, { "id": "https://openalex.org/T10142", "display_name": "Formal Methods in Software Verification and Control" }, { "id": "https://openalex.org/T11727", "display_name": "Fuzzy Logic and Residuated Lattices" }, { "id": "https://openalex.org/T12541", "display_name": "Graph Labeling and Dimension Problems" }, { "id": "https://openalex.org/T10374", "display_name": "Graph Theory and Algorithms" }, { "id": "https://openalex.org/T10545", "display_name": "Iterative Algorithms for Nonlinear Operators and Optimization" }, { "id": "https://openalex.org/T13523", "display_name": "Mathematical Information Retrieval and Search" }, { "id": "https://openalex.org/T10792", "display_name": "Matrix Algorithms and Iterative Methods" }, { "id": "https://openalex.org/T13286", "display_name": "Modelica Language and Simulation Environment" }, { "id": "https://openalex.org/T10848", "display_name": "Multiobjective Optimization in Evolutionary Algorithms" }, { "id": "https://openalex.org/T12100", "display_name": "Multiscale Methods for Heterogeneous Systems" }, { "id": "https://openalex.org/T11063", "display_name": "Rough Sets Theory and Applications" }, { "id": "https://openalex.org/T11435", "display_name": "Symbolic Computing in Algebraic Geometry and Cryptography" }, { "id": "https://openalex.org/T12162", "display_name": "Theory and Applications of Cellular Automata" }, { "id": "https://openalex.org/T12536", "display_name": "Topological Data Analysis in Science and Engineering" } ], "works_count": 29150, "cited_by_count": 391084, "updated_date": "2024-08-26T05:23:25.799621", "created_date": "2024-01-23" }
}