We motivate and study the subnet reduction of Petri nets. Subnet reduction can avoid the state exploration problem by guaranteeing the correctness in the Petri net. For systems specified in Petri nets, this paper proposes two subnet reduction methods. One major advantage of these reduction methods is that the resultant ordinary Petri net is guaranteed to be live, bounded and reversible. A group of sufficient conditions or sufficient and necessary conditions of liveness preservation, boundedness preservation and reversibility preservation are proposed. A flexible manufacturing system has been verified. These results are useful for studying the static and dynamic properties of Petri nets, analyzing properties for large complex system.

Analysis and Application of Petri Subnet Reduction

We motivate and study the reduction of a kind of time Petri net. Petri net reduction can avoid the state exploration problem by guaranteeing the correctness in the Petri net. For systems specified in time Petri nets, this paper proposes a set of reduction rules. One major advantage of this reduction technique is that the resultant time Petri net is guaranteed to preserve properties of the original time Petri net. A management system has been reduced. These results are useful for studying the static and dynamic properties of time Petri nets, analyzing properties for large complex system.

Property Preservation of Time Petri Net Reduction

Time Petri Nets(TPNs)are a popular Petri net model for specification and verification of real-time systems.A widely applied method for analyzing Petri nets is component-level reduction analysis.The existing tech- nique for component-level reduction analysis transforms a TPN component to a constant size of simple one while maintains the net's external observable timing properties,but it neglects the internal properties of component such as conflict and concurrency.Based on Delay Time Petri Net(DTPN),the paper transforms a TPN component to DTPN model in order to preserve not only external observable timing properties but also such the internal characters as con- flict and concurrency during the reduction.For the sake of analyzing the DTPN model after reduction,the paper pro- poses a new schedule analysis method.Finally,the method is verified by its application to C2 system.

Component-Level Reduction Rules for Time Petri Nets Based on DTPN

Time Petri Nets (TPNs) are a popular Petri net model for specification and verification of real-time systems. A widely applied method for analyzing Petri nets is component-level reduction analysis. The existing technique for component-level reduction analysis transforms a TPN component to a constant size of simple one while maintains the net external observable timing properties, but it neglects the internal properties of component such as synchronization, conflict and concurrency. Based on Delay Time Petri Net (DTPN), the paper transforms a TPN component to DTPN model in order to preserve such properties as synchronization, conflict and concurrency during the reduction. For the sake of analyzing the DTPN model, the paper proposes new schedule analysis method. Finally, reduction rules based on DTPN are applied to the TPN model analysis in the command and control (C2) system.

Handle everyday research tasks with reliable, citation-backed results

Your personal Research Agent to handle research tasks with citation-backed results

Popular Tasks used by Researchers

How can I help with your research?

Meet SciSpace

Get more enhanced response by uploading the PDFs you want me to reference.

No relevant PDFs in your library

SciSpace is the AI research assistant for academics. Run systematic literature reviews on 280M+ papers, and write papers with cited sources. Trusted by 1M+ students, PhDs & researchers.

SciSpace | AI for Research

Analyze PDFs

Code & Manuscripts

Funding & Grants

Literature & Patents

Medical & Clinical Data

Systematic Review

Visualize & Present

Web & Data

Build a Google Scholar-like website for your research.

Build a website

Create charts and images for your research

Create a Chart

Write a paper for submission to a journal

Draft a manuscript

Patent Search

Design eye-catching scientific posters in minutes.

Scientific Poster Generation

Systematic Literature Review

One task is running at the moment. Your messages will be shown right after.

Drag and drop or click here to browse

Loved by <highlight>1 million+</highlight> researchers

Extract a list of specific topics and their sources from unstructured text

Topics

Compare and analyze relevant papers that matches with your search

Papers

Get insights from PDFs and bookmarked papers from your library

My library

Recent searches

Try searching for:

Catch AI-generated content in scholarly and non-scholarly content

{ai} Detector

Ai Writer

Get PDF Summaries, highlighted text explanations 

Chat with PDF

Effortlessly create in-text citations and bibliographies in APA and 2,500 other formats

Citation generator

Get explanations, summaries, and answers on academic papers

Ease up your research workflow with {scispace}'s cohort of exciting AI tools

Elevate your academic writing skills and convey your ideas the way you want

Paraphraser

Explore our range of reading and writing tools

Your file is being prepared and should be ready in a few minutes. If it's a large file, it might take a bit longer. You can close this window, and we'll email you the file when it's done.

You have reached a maximum limit of <strong>{limit}</strong> columns in the table. Remove at least <strong>1</strong> column to add or create another one.

Yongcheng Sun

Author Tools

Chat about Author

Papers

Component-Level Reduction Rules for Time Petri Nets Based on DTPN