G S Hura;H Singh;N K Nanda
-;-;-
Petri nets (abstract): a graph model for the representation and analysis of concurrent systems
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science