Vol-1590⫷ Vol-1591 ⫸Vol-1592
urn:nbn:de:0074-1591-0


Vol-1591/paper8⫷Vol-1591/paper9⫸Vol-1591/paper10
Irina A. LomazovaVera O. Ermakova

Verification of Nested Petri Nets Using an Unfolding Approach