|
| << 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 118 van 129 gevonden artikelen
| Titel: |
The tool TINA - Construction of abstract state spaces for petri nets and time petri nets |
| Auteur: |
Berthomieu, B. Ribet, P. -O. Vernadat, F. |
| Verschenen in: |
International journal of production research |
| Paginering: | Jaargang 42 (2004) nr. 14 pagina's 2741-2756 |
| Jaar: |
2004-07-15 |
| Inhoud: |
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. |
| Uitgever: |
Taylor & Francis |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 118 van 129 gevonden artikelen
| << vorige | volgende >> |