Marcin Wojnakowski profile picture

Marcin Wojnakowski

Is this your author profile? Create an account to claim and customize it!

Analysis of Boundedness and Safeness in a Petri Net-Based Specification of Concurrent Control Systems
Analysis of Boundedness and Safeness in a Petri Net-Based Specification of Concurrent Control Systems