Charlie 1.1 Wed Feb 04 09:02:48 CET 2009
==============================================
reading net: /Users/mh/wwwdssz/html/examples/espn-components/lac_operon.spstochpn
net loaded
places: 11
transitions: 17
input places:
	|2.I	:1
input transitions:
	|10.Intervention	:1
output transitions:
	|4.Conversion	:1,
	|5.InhibitorRnaDegradation	:1,
	|6.InhibitorDegradation	:1,
	|8.RnaDegradation	:1,
	|9.ZDegradation	:1
the net contains non standard arcs
the following transitions are incident to readarcs:
	|0.InhibitorTranscription	:1,
	|1.InhibitorTranslation	:1,
	|3.Translation	:1,
	|4.Conversion	:1

computing minimal t-invariants
9 t-invariants computed in 0m0.092s
not SCTI because of:
	|11.InhibitorDissociation	:1,
	|12.InhibitorBinding	:1,
	|13.RnapDissociation	:1,
	|16.LactoseInhibitorDissociation	:1
computing minimal p-invariants
3 p-invariants  computed in 0m0.088s
not CPI because of:
	|2.I	:1,
	|8.ILactose	:1,
	|1.Irna	:1,
	|7.Lactose	:1,
	|5.Rna	:1,
	|6.Z	:1

3 minimal deadlocks computed 0m0.0070s
PUR ORD HOM NBM CSV SCF CON SC  FT0 TF0 FP0 PF0 NC  
 N   N   Y   Y   N   N   N   N   Y   Y   Y   N  nES 
DTP CPI CTI SCTI SB k-B 1-B DCF DSt DTr LIV REV 
 Y   N   Y   N   N   N   N   -   N   -   -   -  

==============================================