Improving data processing by using Petri nets

:eyes: I took another look at [the implementation of the method “validate”](https://github.com/eclipse-vertx/vertx-json-schema/blob/2b9f2294af078787511c3da2824e90c6e7fb3551/src/main/java/io/vertx/json/schema/impl/SchemaValidatorImpl.java#L173 "Update candidate").
Thus I noticed that source code like “`if (schema.containsKey("…"))`” is used at some places.
The passed key word is always checked.

:thinking: I imagine that unnecessary condition checks can be avoided if an other algorithm can be applied.
Thus I propose to consider data processing alternatives by [working with Petri nets](https://en.wikipedia.org/wiki/Petri_net "Documentation").
:crystal_ball: I am curious on further software evolution in such a design direction.