Soundness-preserving reduction rules for reset workflow nets
Information Sciences: an International Journal
A top-down Petri net-based approach for dynamic workflow modeling
BPM'03 Proceedings of the 2003 international conference on Business process management
Petri nets for modelling metabolic pathways: a survey
Natural Computing: an international journal
Propagating changes between aligned process models
Journal of Systems and Software
On generating *-sound nets with substitution
Information Systems
Hi-index | 0.00 |