☆ 4.6 Article

Property Preservation of Object-Oriented Petri Reduction Net Based Representation for Embedded Systems

ELECTRONICS (2023)

Related references

Note: Only part of the references are listed.

Article Engineering, Industrial

Reduction of Petri net maintenance modeling complexity via Approximate Bayesian Computation

Manuel Chiachio et al.

Summary: This paper presents a probabilistic method for accurately defining the structure and parameters of a reduced Petri net model, enabling accurate modeling of engineering systems and processes. The method allows for numerical measurement and selection of the optimal simplified structure.

RELIABILITY ENGINEERING & SYSTEM SAFETY (2022)

Add to Collection

Article Computer Science, Information Systems

The Refinement of Petri Net with Inhibitor Arcs Based Representation for Embedded Systems

Chuanliang Xia et al.

Summary: This article introduces the modeling and analysis methods for embedded systems and proposes the place refinement approach and the place set refinement approach for mitigating the state space explosion problem of PIRES+. These methods are illustrated through an example of a network communication system.

ELECTRONICS (2022)

Add to Collection

Article Automation & Control Systems

Variable Petri Nets for Mobility

Zhijun Ding et al.

Summary: This paper proposes a new Petri net model called variable Petri net (VPN) for modeling and analyzing mobile computing systems, service-based systems, and other systems with mobile interacting components. VPN abstracts possible interaction interfaces as virtual places and describes occurrences of connections using new functions, enabling the description of component collaboration in systems and the realization of scalability and pluggability.

IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS (2022)

Add to Collection

Article Automation & Control Systems

Property Preservation of Petri Synthesis Net Based Representation for Embedded Systems

Chuanliang Xia et al.

Summary: This paper introduces a Petri-net-based representation method PRES+ for embedded systems, and presents two synthesis methods to overcome the state space explosion issue in large complex systems. The shared transition set method and shared transition subnet set method are proposed, with an abstraction-synthesis-refinement representation approach to preserve important properties such as reachability, timing, functionality, and liveness for synthetic nets.

IEEE-CAA JOURNAL OF AUTOMATICA SINICA (2021)

Add to Collection

Article Computer Science, Software Engineering

Counting Petri net markings from reduction equations

Bernard Berthomieu et al.

INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER (2020)

Add to Collection

Article Engineering, Electrical & Electronic

Fault Section Identification in Smart Distribution Systems Using Multi-Source Data Based on Fuzzy Petri Nets

Iman Kiaei et al.

IEEE TRANSACTIONS ON SMART GRID (2020)

Add to Collection

Article Automation & Control Systems

Reduction Rules for Diagnosability Analysis of Complex Systems Modeled by Labeled Petri Nets

Ben Li et al.

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING (2020)

Add to Collection

Article Computer Science, Software Engineering

Testing Equivalences of Time Petri Nets

E. N. Bozhenkova et al.

PROGRAMMING AND COMPUTER SOFTWARE (2020)

Add to Collection

Article Automation & Control Systems

Robust Deadlock Control for Automated Manufacturing Systems With Unreliable Resources Based on Petri Net Reachability Graphs

Gaiyun Liu et al.

IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS (2019)

Add to Collection

Article Computer Science, Theory & Methods

Stubborn versus structural reductions for Petri nets

Frederik M. Bonneland et al.

JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING (2019)

Add to Collection

Proceedings Paper Engineering, Electrical & Electronic

Evolving Graph Based Power System EMS Real Time Analysis Framework

Guangyi Liu et al.

2018 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS) (2018)

Add to Collection

Article Automation & Control Systems

Colored Petri net model for significant reduction of invariants in flexible manufacturing systems

Shaukat Ali Shah et al.

INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY (2017)

Add to Collection

Review Computer Science, Information Systems

Choreography in the embedded systems domain: A systematic literature review

Nebojsa Tausan et al.

INFORMATION AND SOFTWARE TECHNOLOGY (2017)

Add to Collection

Article Computer Science, Information Systems

Property preservation of refinement for Petri net based representation for embedded systems

Chuanliang Xia

CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS (2016)

Add to Collection

Article Automation & Control Systems

Characterization of Admissible Marking Sets in Petri Nets with Uncontrollable Transitions

Shouguang Wang et al.

IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2016)

Add to Collection

Article Automation & Control Systems

Polynomially Complex Synthesis of Distributed Supervisors for Large-Scale AMSs Using Petri Nets

Hesuan Hu et al.

IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY (2016)

Add to Collection

Article Computer Science, Hardware & Architecture

Modeling and formal verification of embedded systems based on a Petri net representation

LA Cortés et al.

JOURNAL OF SYSTEMS ARCHITECTURE (2003)

Add to Collection

© Peeref 2019-2024. All rights reserved.