Pojawienie si¿ us¿ug internetowych stworzy¿o znacz¿ce mo¿liwo¿ci dla dzisiejszych przedsi¿biorstw, podczas gdy sieci komórkowe stäy si¿ standardow¿ cz¿¿ci¿ wspó¿czesnego ¿ycia. Us¿ugi sieciowe w ¿rodowiskach bezprzewodowych stanowi¿ nowe wyzwanie dla technologii. W niniejszej rozprawie skupili¿my si¿ na ocenie wydajno¿ci us¿ug internetowych. Dok¿adniej, starali¿my si¿ modelowä, poprzez formalizm sieci Petriego, zachowanie us¿ug w ¿rodowisku mobilnym. Na pocz¿tku przeanalizowali¿my us¿ugi sieciowe i zwi¿zane z nimi technologie, nast¿pnie przedstawili¿my ¿rodowisko realizacji us¿ug sieciowych: ¿rodowisko mobilne, jego architektur¿, charakterystyk¿ i zarz¿dzanie transakcjami oraz protokó¿ WAP. Nast¿pnie przedstawiono dobrze wytrenowane stochastyczne sieci Petriego wykorzystywane do modelowania us¿ug internetowych w ¿rodowisku mobilnym, a na koniec zaproponowali¿my model wydajno¿ciowy i przeanalizowali¿my wyniki numeryczne dzi¿ki narz¿dziu GreatSPN i WNSIM.