Last update: Sun Mar 31 02:13:37 MDT 2019
@Article{Jiao:2005:HSP,
author = "Li Jiao and To-Yat Cheung and Weiming Lu",
title = "Handling Synchronization Problem in {Petri} Net-Based
System Design by Property-Preserving
Transition-Reduction",
journal = j-COMP-J,
volume = "48",
number = "6",
pages = "692--701",
month = nov,
year = "2005",
CODEN = "CMPJA6",
DOI = "https://doi.org/10.1093/comjnl/bxh125",
ISSN = "0010-4620 (print), 1460-2067 (electronic)",
ISSN-L = "0010-4620",
bibdate = "Tue Nov 8 05:58:50 MST 2005",
bibsource = "http://comjnl.oxfordjournals.org/content/vol48/issue6/index.dtl;
http://www.math.utah.edu/pub/tex/bib/compj2000.bib",
URL = "http://comjnl.oxfordjournals.org/cgi/content/abstract/48/6/692;
http://comjnl.oxfordjournals.org/cgi/content/full/48/6/692;
http://comjnl.oxfordjournals.org/cgi/reprint/48/6/692",
acknowledgement = ack-nhfb,
fjournal = "The Computer Journal",
journal-URL = "http://comjnl.oxfordjournals.org/",
}