Search publications

Search EPS Library records by title, author, DOI, keyword, year, proceedings title and scientific area.

Informatics2018

ACTIVE OBJECTS AND THEIR MODELING WITH USING OF MULTIPROCESS PETRI MULTINETS WITH TIME STAMPS

Ivo Martiník · SGEM International Multidisciplinary Scientific GeoConference EXPO Proceedings; 18th International Multidisciplinary Scientific GeoConference SGEM2018, Informatics, Geoinformatics and Remote Sensing

View record

Informatics2017

ASYNC-CALL OPERATION OF P/T PETRI MULTIPROCESS MULTINETS AND ITS PROPERTIES

Ivo Martinik · SGEM International Multidisciplinary Scientific GeoConference EXPO Proceedings; 17th International Multidisciplinary Scientific GeoConference SGEM2017, Informatics, Geoinformatics and Remote Sensing

DOIP/T Petri multiprocess multinet ASYNC-CALL operation well-formed multiprocess multinet property preservation parallel systems modeling

View record