@article{TSMC.2016.2531673, author = "I. Grobelna and R. Wi\'sniewski and M. Grobelny and M. Wi\'sniewska", title = "Design and verification of real-life processes with application of Petri nets", journal = "IEEE Transactions on Systems, Man, and Cybernetics : Systems", volume = "Vol. 47", number = "iss. 11", pages = "2856--2869", year = "2017", doi = {10.1109/TSMC.2016.2531673}, url = { http://dx.doi.org/10.1109/TSMC.2016.2531673} }