Reactive Petri nets for workflow modeling
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Simulating algebraic high-level nets by parallel attributed graph transformation
Formal Methods in Software and Systems Modeling
Hi-index | 0.00 |