Abstract Petri Nets as a Uniform Approach to High/Level Petri Nets
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Transformations in Reconfigurable Place/Transition Systems
Concurrency, Graphs and Models
Independence of net transformations and token firing in reconfigurable place/transition systems
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Invariant preservation in iterative modeling
Proceedings of the 6th International Workshop on Models and Evolution
On generating *-sound nets with substitution
Information Systems
Hi-index | 0.00 |