Some design aspects of databases through Petri net modeling | IEEE Journals & Magazine | IEEE Xplore