Prototyping of Concurrent Control Systems Implemented in FPGA Devices by Remigiusz Wiśniewski

Author:Remigiusz Wiśniewski
Language: eng
Format: epub
Publisher: Springer International Publishing, Cham

Proof

Follows directly from Theorems 4.​2 and 5.8.

Theorem 5.10

Let be a c-exact and conformal concurrency hypergraph of an interpreted Petri net PN, and let denote the sequentiality hypergraph of PN. Then, .

Proof

Follows directly from Theorems 4.​3 and 5.9.

Theorem 5.11

Let be a c-exact and conformal concurrency hypergraph of an interpreted Petri net PN, and let denote the sequentiality hypergraph of PN. Then is also c-exact.

Proof

Follows directly from Theorems 4.​4 and 5.9.

Finally, we can state the following theorem:

Theorem 5.12

Let be a c-exact sequentiality hypergraph of an interpreted Petri net PN, and let denote the concurrency hypergraph of PN. Then .

Download

Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.