Bibby Sterilin
Pipettes, petri dishes, and sample containers.
http://www.bibby-sterilin.com/

MatTek Corp.
Our Glass Bottom Culture Dishes allow researchers to produce high resolution microscope images of cell cultures growing in standard-size 35 and 50 mm petri dishes, and multiwell plates. Our dishes are known by many names including glass bottom dishes, glass bottom culture dishes, glass bottom petri dishes, glass bottom microwell dishes, glass bottom sterile culture dishes, and coverslip bottom dishes. Applications involve polarized light microscopes, fluorescence imaging, live cell imaging, phase contrast microscopes, confocal microscopes, time lapsed photography, high resolution microscopes, differential interference contrast microscopes, video-enhanced microscopes,
http://www.glass-bottom-dishes.com/

FL Medical
FL Medical specializes in the production of disposable test tubes, blood collection tubes, Pasteur pipettes and other disposable labware.
http://www.flmedical.com/

Teoh Scientific
Teoh Scientific - Lab safety supplies Distributor, reagents & more. Including manufactures like Fisher Scientific & Bio-Tek Instruments. Our goal is to provide quality and cost effective products to our customers.
http://www.teohsci.com/

CorningWare
Corningware has enduring style that looks good on the table, but works well in the oven, microwave, and freezer.
http://www.corningware.com

Translating Time Petri Net Structures into Ada95 Statements
The Petri Nets Bibliography: Translating time Petri net structures into Ada-95 statements.
http://www.informatik.uni-hamburg.de/TGI/pnbib/g/garcia_f_j1.html

Petri Nets 2003
The 24th annual international Petri Net conference and tutorials. Eindhoven, The Netherlands; 23--27 June 2003.
http://www.tue.nl/atpn2003/

Petri Nets World
The primary online services for the international Petri Nets community. The services are supervised by the Petri Nets steering committee.
http://www.informatik.uni-hamburg.de/TGI/PetriNets/

Petri Nets World
The primary online services for the international Petri Nets community. The services are supervised by the Petri Nets steering committee.
http://www.informatik.uni-hamburg.de/TGI/PetriNets/

Completeness Results for Linear Logic on Petri Nets (1993)
Document details from CiteSeerX (Isaac Councill, Lee Giles): Completeness is shown for several versions of Girard's linear logic with respect to Petri nets as the class of models. The strongest logic considered is intuitionistic linear logic, with\Omega, (, & , \Phi and the exponential! ("of course"), and forms of quantification. This logic is shown sound and complete with respect to atomic nets (these include nets in which every transition leads to a nonempty multiset of places). The logic is remarkably expressive, enabling descriptions of the kinds of properties one might wish to show of nets; in particular, negative properties, asserting the impossibility of an assertion, can also be expressed. 1
http://citeseer.ist.psu.edu/72922.html