|
| << previous | next >> |
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
Details for article 8 of 9 found articles
| Title: |
Refining and verifying regular Petri nets |
| Author: |
Jiao, Li |
| Appeared in: |
International journal of systems science |
| Paging: | Volume 39 (2008) nr. 1 pages 17-27 |
| Year: |
2008-01 |
| Contents: |
This paper considers two kinds of refinement transformations in terms of places and transitions, and proves that regularity can be preserved automatically for pure and ordinary connected nets under the two refinement transformations. By discussing the relationship between siphons of the original net and the refined net, this paper proves that liveness and boundedness can also be preserved automatically for these refined regular Petri nets. The two property-preserved refinement transformations can be used to construct large and complex net models in Petri-net-based system design and verification. An example coming from the manufacturing system is used to illustrate main results of this paper. |
| Publisher: |
Taylor & Francis |
| Source file: |
Elektronische Wetenschappelijke Tijdschriften |
Details for article 8 of 9 found articles
| << previous | next >> |