A Unified Approach for Reasoning about Conflict-Free Petri Nets.
Journal
Application and Theory of Petri Nets 1993, 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993, Proceedings
Pages
513-531
Date Issued
1993
Author(s)
SDGs
Type
conference paper