Topological reverse mirroring: a new efficient knowledge-based methodology of reachability analysis for Petri nets (Q5043516): Difference between revisions

Latest revision as of 07:01, 30 July 2024

scientific article; zbMATH DE number 7596515

Language	Label	Description	Also known as
English	Topological reverse mirroring: a new efficient knowledge-based methodology of reachability analysis for Petri nets	scientific article; zbMATH DE number 7596515

Statements

instance of

scholarly article

0 references

title

Topological reverse mirroring: a new efficient knowledge-based methodology of reachability analysis for Petri nets (English)

0 references

author

Tsung Hsien Yu

0 references

published in

International Journal of Control

0 references

publication date

6 October 2022

0 references

zbMATH Keywords

control systems

0 references

discrete event systems

0 references

flexible manufacturing systems

0 references

Petri nets

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1080/00207179.2021.1921278

0 references

cites work

Recursive solution of number of reachable states of a simple subclass of FMS

0 references

Enumeration of reachable (forbidden, live and deadlock) states of<i>k</i>th order system of Petri nets

0 references

Proof by model: a new knowledge-based reachability analysis methodology for Petri net

0 references

The fundamental closed-form solution of control-related states of<i>k</i>th order S3PR system with left-side non-sharing resource places of Petri nets

0 references

On the reachability and reversibility problems in a class of Petri nets

0 references

Reachability analysis in T-invariant-less petri nets

0 references

Q3361901

0 references

Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case

0 references

Q4221106

0 references

Identifiers

zbMATH Open document ID

1500.93006

0 references

DOI

10.1080/00207179.2021.1921278

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5043516

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1080/00207179.2021.1921278
+Normal rank
@@ Property / OpenAlex ID @@
+W3160292901
@@ Property / OpenAlex ID: W3160292901 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive solution of number of reachable states of a simple subclass of FMS
+Normal rank
@@ Property / cites work @@
+Enumeration of reachable (forbidden, live and deadlock) states of<i>k</i>th order system of Petri nets
+Normal rank
@@ Property / cites work @@
+Proof by model: a new knowledge-based reachability analysis methodology for Petri net
+Normal rank
@@ Property / cites work @@
+The fundamental closed-form solution of control-related states of<i>k</i>th order S3PR system with left-side non-sharing resource places of Petri nets
+Normal rank
@@ Property / cites work @@
+On the reachability and reversibility problems in a class of Petri nets
+Normal rank
@@ Property / cites work @@
+Reachability analysis in T-invariant-less petri nets
+Normal rank
@@ Property / cites work @@
+Q3361901
@@ Property / cites work: Q3361901 / rank @@
+Normal rank
@@ Property / cites work @@
+Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case
+Normal rank
@@ Property / cites work @@
+Q4221106
@@ Property / cites work: Q4221106 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5043516