Conference proceeding
A method for adding counter-places to the incidence matrix of Petri net
Proceedings of the 1992 International Conference on Industrial Electronics, Control, Instrumentation, and Automation, pp 1422-1426 vol.3
1992
Abstract
It is shown that there are two problems that must be solved when applying a Petri net to an actual case of a sequential control system. The first one is how to divide a large-sized reachability problem into small-size problems that can be solved in a feasible computation time with a computer having a reasonable memory storage capacity. The second problem is how many counter-places would be added and at what positions they should be added. The authors propose a method to divide a Petri net by using the property of place invariants, and add counter-places based on algebraic techniques. An example is given that shows the effectiveness of the approach presented.< >
Metrics
2 Record Views
Details
- Title
- A method for adding counter-places to the incidence matrix of Petri net
- Creators
- H. Tanaka - FujifilmM. Hikichi - FujifilmY. Maruyama - FujifilmY. CaiK. OkunoT. SekiguchiIEEE
- Publication Details
- Proceedings of the 1992 International Conference on Industrial Electronics, Control, Instrumentation, and Automation, pp 1422-1426 vol.3
- Publisher
- IEEE
- Resource Type
- Conference proceeding
- Language
- English
- Academic Unit
- Computer Science (Computing)
- Web of Science ID
- WOS:A1992BY14J00245
- Other Identifier
- 991020638509704721
InCites Highlights
Data related to this publication, from InCites Benchmarking & Analytics tool:
- Web of Science research areas
- Engineering, Electrical & Electronic