Search results
Bulletin of the Polish Academy of Sciences. Technical Sciences > 2022 > Vol. 70, nr 2 > art. no. e140693
Fundamenta Informaticae > 2018 > Vol. 161, nr 4 > 317--349
Automatic Control and Computer Sciences > 2017 > 51 > 7 > 666-677
Theoretical Computer Science > 2018 > 706 > C > 54-82
IEEE Transactions on Systems, Man, and Cybernetics: Systems > 2018 > 48 > 1 > 130 - 141
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2017 > 36 > 6 > 938 - 951
IEEE Transactions on Intelligent Transportation Systems > 2016 > 17 > 11 > 3045 - 3061
Lecture Notes in Computer Science > Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness > 180-207
IFIP — The International Federation for Information Processing > Technological Innovation for Sustainability > Part 8: Petri Nets > 237-245
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2003 > Full Papers > 337-356
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2005 > Full Papers > 250-267