From the very beginning, notions such as bisimulation and formal methods like temporal logic HML or mu-Calculs were closely connected with process algebra CCS. Another formal method that is widely used for similar purposes is Petri nets formalism. The presented paper shows how the model given in the form of a Petri net could be transformed into an equivalent algebraic model. Some practical application of this method to the analysis of Java based software wiU be discussed.