|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 8 van 9 gevonden artikelen
| Titel: |
Refining and verifying regular Petri nets |
| Auteur: |
Jiao, Li |
| Verschenen in: |
International journal of systems science |
| Paginering: | Jaargang 39 (2008) nr. 1 pagina's 17-27 |
| Jaar: |
2008-01 |
| Inhoud: |
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. |
| Uitgever: |
Taylor & Francis |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 8 van 9 gevonden artikelen
| << vorige | volgende >> |