Integrated Net Analyzer [v2.2final-Jul 31 2003-win32] session report:
Current net options are:
    token  type: black        (for Place/Transition nets)
    time option: no times
    firing rule: normal
    priorities : not to be used
    strategy   : single transitions
    line length: 80

Net read from lac.pnt
Information on elementary structural properties:
Current name options are:
     transition names to be written 
     place names to be written 
The net is not statically conflict-free.
The net is not pure.
The net has transitions without post-place.
The net is not coverable by state machines (SMC).
The net is not strongly connected.
Transition 5.InhibitorRnaDegr has no post-place.
Transition 6.InhibitorDegrada has no post-place.
Transition 8.RnaDegradation has no post-place.
Transition 9.ZDegradation has no post-place.
The net has transitions without pre-place.
The net is not covered by semipositive P-invariants.
The net is not bounded.
The net is not structurally bounded.
The net is not live and safe.
The net is not safe.
Transition 10.Intervention has no pre-place.
The net is not ordinary.
The net is not conservative.
The net is not subconservative.
The net is not a state machine.
The net is not free choice.
The net is not extended free choice.
The net is not extended simple.
At least the following transitions are live:
      10.Intervention,
At least the following places are simultaneously unbounded:
       7.Lactose,
The net is marked.
The net is not marked with exactly one token.
The net is not a marked graph.
The net is homogenous.
The net has a non-blocking multiplicity.
The net has no nonempty clean trap.
The net has no places without pre-transition.
The net has no places without post-transition.
Maximal in/out-degree:  3
The net is connected.
ORD HOM NBM PUR CSV SCF CON SC  Ft0 tF0 Fp0 pF0 MG  SM  FC  EFC ES 
 N   Y   Y   N   N   N   Y   N   Y   Y   N   N   N   N   N   N   N  
DTP CPI CTI  B  SB  REV DSt BSt DTr DCF  L   LV L&S 
 ?   N   ?   N   N   ?   ?   ?   ?   ?   ?   ?   N  
Current name options are:
     transition names to be written 
     place names to be written 
Structural liveness properties of net nr. 0.lac-operon      :
processed candidates: 18
There are  3 minimal deadlocks:
-------------------------------
   1:  4.Rnap, 10.RnapOp,
   2:  3.Op,  9.IOp, 10.RnapOp,
   3:  0.Idna,

Corresponding maximal traps:
----------------------------
   1:  4.Rnap, 10.RnapOp,
   2:  3.Op,  9.IOp, 10.RnapOp,
   3:  0.Idna,
The deadlock-trap-property is valid.
The net has no dead reachable states.
ORD HOM NBM PUR CSV SCF CON SC  Ft0 tF0 Fp0 pF0 MG  SM  FC  EFC ES 
 N   Y   Y   N   N   N   Y   N   Y   Y   N   N   N   N   N   N   N  
DTP CPI CTI  B  SB  REV DSt BSt DTr DCF  L   LV L&S 
 Y   N   ?   N   N   ?   N   ?   ?   ?   ?   ?   N  
Current options are:
     computation of transition-invariants
     no computation of subinvariants
     no computation of surinvariants
     run automatically
     output format = print non-zero entries with names

For net nr.   0.lac-operon      :
     9 transition-invariants written to INVARI.HLP
     0 rows lost!
Formatting lines from INVARI.HLP

Current reduction options are:
     Delete repeated occurrences of the same support
     Do not delete covered sub/sur/invariants
     Delete strict invariants covering sub/sur/invariants
transition sub/sur/invariants for net 0.lac-operon      :

The net is covered by semipositive T-invariants.
semipositive transition invariants =

  1 |         0.InhibitorTranscr:     1,
    |         5.InhibitorRnaDegr:     1
  2 |        13.RnapDissociation:     1,
    |        14.RnapBinding     :     1
  3 |        11.InhibitorDissoci:     1,
    |        12.InhibitorBinding:     1
  4 |         2.Transcription   :     1,
    |         8.RnaDegradation  :     1,
    |        14.RnapBinding     :     1
  5 |         3.Translation     :     1,
    |         9.ZDegradation    :     1
  6 |        15.LactoseInhibitor:     1,
    |        16.LactoseInhibitor:     1
  7 |         1.InhibitorTransla:     1,
    |         6.InhibitorDegrada:     1
  8 |         1.InhibitorTransla:     1,
    |         7.LactoseInhibitor:     1,
    |        15.LactoseInhibitor:     1
  9 |         4.Conversion      : 10000,
    |        10.Intervention    :     1


ORD HOM NBM PUR CSV SCF CON SC  Ft0 tF0 Fp0 pF0 MG  SM  FC  EFC ES 
 N   Y   Y   N   N   N   Y   N   Y   Y   N   N   N   N   N   N   N  
DTP CPI CTI  B  SB  REV DSt BSt DTr DCF  L   LV L&S 
 Y   N   Y   N   N   ?   N   ?   ?   ?   ?   ?   N  
Net written to ININET.pnt
Reduction of net nr. 0:
Fuse:
 0 place(s) deleted 
The net nr.   0 is connected.

Merge equivalent places:
place elimination A:
New transition 17 replaces transitions 15 * 7
New transition 18 replaces transitions 15 * 16
Place 8 deleted
New transition 19 replaces transitions 12 * 11
Place 9 deleted
New transition 20 replaces transitions 14 * 2
New transition 21 replaces transitions 14 * 13
Place 10 deleted
deleted (live) transitions:
      10,
deleted (unbounded) places:
       7,
place elimination B:
place elimination C:
bounded and unbounded places to be deleted
p0 deleted,
p3 deleted,
transition elimination U:
transition 4 deleted
transition 18 deleted
transition 19 deleted
transition 21 deleted
deleted (live) transitions:
       0,
deleted (unbounded) places:
       1,
deleted (live) transitions:
       1,  5,
deleted (unbounded) places:
       2,
deleted (live) transitions:
       6, 17,
deleted (unbounded) places:
      empty
transition elimination V:
Fuse:
 0 place(s) deleted 
The net nr.   0 is connected.

Merge equivalent places:
place elimination A:
place elimination B:
place elimination C:
bounded and unbounded places to be deleted
p4 deleted,
place elimination C:
bounded and unbounded places to be deleted
transition elimination U:
transition elimination V:
Fuse:
 0 place(s) deleted 
The net nr.   0 is connected.

Merge equivalent places:
place elimination A:
place elimination B:
place elimination C:
bounded and unbounded places to be deleted
Net written to lac-reduced.red
Information on elementary structural properties:
Current name options are:
     transition names to be written 
     place names to be written 
The net is not statically conflict-free.
The net is not pure.
The net has transitions without post-place.
The net is not coverable by state machines (SMC).
The net is not strongly connected.
Transition 8.RnaDegradation has no post-place.
Transition 9.ZDegradation has no post-place.
The net has transitions without pre-place.
The net is not covered by semipositive P-invariants.
The net is not bounded.
The net is not structurally bounded.
The net is not live and safe.
The net is not safe.
Transition 20.RnapBinding has no pre-place.
The net is ordinary.
The net is homogenous.
The net is not state machine decomposable (SMD).
The net is not state machine allocatable (SMA).
The net is not conservative.
The net is not subconservative.
The net is not a state machine.
The net is free choice.
The net is extended free choice.
The net is extended simple.
The net is totally unbounded. The net is live.
The net has no dead transitions at the initial marking.
The net has no dead reachable states.
The net is live, if dead transitions are ignored.

The net is not marked.
The net is not marked with exactly one token.
The net is not a marked graph.
The net has a non-blocking multiplicity.
The net has no nonempty clean trap.
The net has no places without pre-transition.
The net has no places without post-transition.
Maximal in/out-degree:  2
The net is connected.
ORD HOM NBM PUR CSV SCF CON SC  Ft0 tF0 Fp0 pF0 MG  SM  FC  EFC ES 
 Y   Y   Y   N   N   N   Y   N   Y   Y   N   N   N   N   Y   Y   Y  
DTP SMC SMD SMA CPI CTI  B  SB  REV DSt BSt DTr DCF  L   LV L&S 
 ?   N   N   N   N   ?   N   N   ?   N   ?   N   ?   Y   Y   N  
Current name options are:
     transition names to be written 
     place names to be written 
Structural liveness properties of net nr. 0.lac-operon      :
processed candidates: 3
No deadlocks found.
The deadlock-trap-property is valid.
There are no SCSM-components!
ORD HOM NBM PUR CSV SCF CON SC  Ft0 tF0 Fp0 pF0 MG  SM  FC  EFC ES 
 Y   Y   Y   N   N   N   Y   N   Y   Y   N   N   N   N   Y   Y   Y  
DTP SMC SMD SMA CPI CTI  B  SB  REV DSt BSt DTr DCF  L   LV L&S 
 Y   N   N   N   N   ?   N   N   ?   N   ?   N   ?   Y   Y   N  
Current options are:
     computation of transition-invariants
     no computation of subinvariants
     no computation of surinvariants
     run automatically
     output format = print non-zero entries with names

For net nr.   0.lac-operon      :
     2 transition-invariants written to INVARI.HLP
     0 rows lost!
Formatting lines from INVARI.HLP

Current reduction options are:
     Delete repeated occurrences of the same support
     Do not delete covered sub/sur/invariants
     Delete strict invariants covering sub/sur/invariants
transition sub/sur/invariants for net 0.lac-operon      :

The net is covered by semipositive T-invariants.
semipositive transition invariants =

  1 |      8.RnaDegradation  :  1,
    |     20.RnapBinding     :  1
  2 |      3.Translation     :  1,
    |      9.ZDegradation    :  1


ORD HOM NBM PUR CSV SCF CON SC  Ft0 tF0 Fp0 pF0 MG  SM  FC  EFC ES 
 Y   Y   Y   N   N   N   Y   N   Y   Y   N   N   N   N   Y   Y   Y  
DTP SMC SMD SMA CPI CTI  B  SB  REV DSt BSt DTr DCF  L   LV L&S 
 Y   N   N   N   N   Y   N   N   ?   N   ?   N   ?   Y   Y   N  
Current options are:
     computation of place-invariants
     no computation of subinvariants
     no computation of surinvariants
     run automatically
     output format = print non-zero entries with names

For net nr.   0.lac-operon      :
     0 place-invariants written to INVARI.HLP
     0 rows lost!
ORD HOM NBM PUR CSV SCF CON SC  Ft0 tF0 Fp0 pF0 MG  SM  FC  EFC ES 
 Y   Y   Y   N   N   N   Y   N   Y   Y   N   N   N   N   Y   Y   Y  
DTP SMC SMD SMA CPI CTI  B  SB  REV DSt BSt DTr DCF  L   LV L&S 
 Y   N   N   N   N   Y   N   N   ?   N   ?   N   ?   Y   Y   N  
Current options written to options.ina

End of Analyzer session.