| Autor: |
Burkhard, Hans-Dieter, Lindemann, Gabriela, Starke, Peter, Czaja, Ludwik, Farwer, Berndt, Kudlek, Manfred, Misra, Kundan |
| Předmět: |
|
| Zdroj: |
Fundamenta Informaticae; Feb2003, Vol. 54 Issue 2-3, p185, 9p |
| Abstrakt: |
This paper introduces higher-order Petri nets based on multiset rewriting. Some variations of the firing rule for high-level Petri nets following the nets-within-nets paradigm, i.e. allowing Petri nets as tokens, are discussed. All considerations keep in mind the possibile existence of a universal higher-order Petri net. [ABSTRACT FROM AUTHOR] |
| Databáze: |
Complementary Index |
| Externí odkaz: |
|
