1.
Application and Theory of Petri Nets : 32nd International Conference, PETRI NETS 2011, Newca...
by Kristensen, Lars M., Petruc...
ISBN: 9783642218330
List Price: $83.00
2.
Critical Systems: Formal Methods and Automated Verification : Joint 22nd International Works...
by Petrucci, Laure, Seceleanu,...
ISBN: 9783319671123
List Price: $59.99
3.
Formal Modeling and Analysis of Timed Systems : 21st International Conference, FORMATS 2023,...
by Petrucci, Laure, Sproston, ...
ISBN: 9783031426254
List Price: $54.99
4.
Application and Theory of Petri Nets and Concurrency : 43rd International Conference, PETRI ...
by Bernardinello, Luca, Petruc...
ISBN: 9783031066528