Cited By
View all- Jiang CWang HLiao S(2002)Behavior relativity of Petri netsJournal of Computer Science and Technology10.1007/BF0296076717:6(770-780)Online publication date: 1-Nov-2002
- Shatz STu SMurata TDuri S(1996)An Application of Petri Net Reduction for Ada Tasking Deadlock AnalysisIEEE Transactions on Parallel and Distributed Systems10.1109/71.5533017:12(1307-1322)Online publication date: 1-Dec-1996
- Ravada SPark EMakki KBrice R(1995)Automatic detection of errors in distributed systemsProceedings of the 1995 ACM 23rd annual conference on Computer science10.1145/259526.259534(30-35)Online publication date: 27-Feb-1995
- Show More Cited By