A petri-net-based synthesis methodology for use-case-driven system design
Journal of Systems and Software
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
On generating *-sound nets with substitution
Information Systems
Hi-index | 0.00 |