|
| << 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 118 of 129 found articles
| Title: |
The tool TINA - Construction of abstract state spaces for petri nets and time petri nets |
| Author: |
Berthomieu, B. Ribet, P. -O. Vernadat, F. |
| Appeared in: |
International journal of production research |
| Paging: | Volume 42 (2004) nr. 14 pages 2741-2756 |
| Year: |
2004-07-15 |
| Contents: |
In addition to the graphic-editing facilities, the software tool Tina proposes the construction of a number of representations for the behaviour of Petri nets or Time Petri nets. Various techniques are used to extract views of the behaviour of nets, preserving certain classes of properties of their state spaces. For Petri nets, these abstractions help prevent combinatorial explosion, relying on so-called partial order techniques such as covering steps and/or persistent sets. For Time Petri nets, which have, in general, infinite state spaces, they provide a finite symbolic representation of their behaviour in terms of state classes. |
| Publisher: |
Taylor & Francis |
| Source file: |
Elektronische Wetenschappelijke Tijdschriften |
Details for article 118 of 129 found articles
| << previous | next >> |