Charlie 1.1 Mon Feb 04 23:40:57 CET 2008
==============================================
reading net: D:\wwwdssz\html\examples\biosensor\biosensor_template.spped
net loaded
places: 5
transitions: 10
input transitions:
	|7.TF_expression	:1
output transitions:
	|1.TFS_degradation	:1,
	|2.reporter_degradation	:1,
	|3.response_degradation	:1,
	|6.TF_degradation	:1

computing minimal p-invariants
1 p-invariants  computed in 0m0.01s
not CPI because of:
	|1.response	:1,
	|2.reporter	:1,
	|3.TF	:1,
	|4.TFS	:1
computing minimal t-invariants
7 t-invariants computed in 0m0.01s
not SCTI because of:
	|2.reporter_degradation	:1,
	|3.response_degradation	:1,
	|4.response_production	:1,
	|5.reporter_expression	:1,
	|6.TF_degradation	:1,
	|8.TFS_disassociation	:1
1 minimal deadlocks computed 0m0.0s

PUR ORD HOM NBM CSV SCF CON SC  FT0 TF0 FP0 PF0 NC  
 N   Y   Y   Y   N   N   Y   N   Y   Y   N   N  ES 
DTP CPI CTI SCTI SB k-b 1-b DCF DSt DTr LIV REV 
 Y   N   Y   N   N   N   N   -   N   N   Y   -  

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