Logo

software

data structures and software dependability

computer science department

brandenburg university of technology cottbus - senftenberg

Examples

CaseStudies

Web-based Petri net animation, Sampler

xspn_components

NameSizeDate
../
stoch_runs/9August 21, 2009, at 01:59 PM
lac_operon_10shortRuns.log1.1 kAugust 21, 2009, at 01:59 PM
lac_operon.charlie.log1.2 kAugust 21, 2009, at 01:59 PM
lac_operon_P.inv133August 21, 2009, at 01:59 PM
lac_operon.queries1.8 kAugust 21, 2009, at 01:59 PM
lac_operon_reduced.spept13.5 kAugust 21, 2009, at 01:59 PM
lac_operon_reduced.spept.pdf12 kAugust 21, 2009, at 01:59 PM
lac_operon_reduction.ina.log10.2 kAugust 21, 2009, at 01:59 PM
lac_operon.spstochpn160.8 kAugust 21, 2009, at 01:59 PM
lac_operon_T.inv631August 21, 2009, at 01:59 PM
net_0.log847August 21, 2009, at 01:59 PM
net_0.queries1 kAugust 21, 2009, at 01:59 PM
net_0.spstochpn29.7 kAugust 21, 2009, at 01:59 PM
net_1.log465August 21, 2009, at 01:59 PM
net_1.queries873August 21, 2009, at 01:59 PM
net_1.spstochpn34.4 kAugust 21, 2009, at 01:59 PM
net_2.log633August 21, 2009, at 01:59 PM
net_2.queries954August 21, 2009, at 01:59 PM
net_2.spstochpn23.3 kAugust 21, 2009, at 01:59 PM
net_3.log398August 21, 2009, at 01:59 PM
net_3.queries1.2 kAugust 21, 2009, at 01:59 PM
net_3.spstochpn42.4 kAugust 21, 2009, at 01:59 PM
net_4.log367August 21, 2009, at 01:59 PM
net_4.queries1 kAugust 21, 2009, at 01:59 PM
net_4.spstochpn34 kAugust 21, 2009, at 01:59 PM
net_5.log374August 21, 2009, at 01:59 PM
net_5.queries592August 21, 2009, at 01:59 PM
net_5.spstochpn45.5 kAugust 21, 2009, at 01:59 PM
_read.me.txt1.3 kJanuary 25, 2010, at 06:27 PM
_xspn-components.zip58.6 MJanuary 25, 2010, at 06:27 PM

the end

Any comments or questions are welcome. Please direct them to monika [period] heiner [snail] b-tu [period] de Privacy Policy