Information systems development with the help of petri nets
Information systems development with the help of petri nets
An interesting question is whether we can support such a sequence of transformations by some formal apparatus that enables to verify succeeding steps of development, and nally also the whole development process.