Logo

software

data structures and software dependability

computer science department

brandenburg university of technology cottbus - senftenberg

S N O O P Y

latest update: January 29, 2024, at 10:16 PM


Please use the following reference to give credits to Snoopy:
M Heiner, M Herajy, F Liu, C Rohr and M Schwarick:
Snoopy – a unifying Petri net tool;
In Proc. PETRI NETS 2012, Hamburg, Springer, LNCS, volume 7347, pp. 398–407, June 2012 (e-link).


51.7678,14.3253,ff0000
BTU Cottbus
56.95000076293945,24.100000381469727,18284e
(582) Riga; Latvia
51.508007549104235,-0.10107904821634292,18284e
(420) London; United Kingdom
53.55184422054806,10.00101457802025,18284e
(370) Hamburg; Germany
37.4192008972168,-122.057314229566,18284e
(344) Mountain View; United States
51.76651506256639,14.33318092948512,18284e
(342) Cottbus; Germany
52.157985946278515,4.508192327287462,18284e
(324) Leiden; Netherlands
52.16563213287838,11.666182578556121,18284e
(315) Magdeburg; Germany
43.59976769114939,1.4333159702220257,18284e
(307) Toulouse; France
52.51712541019215,13.401053628111198,18284e
(306) Berlin; Germany
52.41669845581055,16.966699600219727,18284e
(262) Poznan; Poland
47.499875064101516,19.080338929828844,18284e
(209) Budapest; Hungary
-8.050000190734863,-34.900001525878906,18284e
(196) Recife; Brazil
39.92890167236328,116.38816041946411,18284e
(160) Beijing; China
51.54944770566879,-0.4823986993682,18284e
(155) Uxbridge; United Kingdom
33.69581184889141,73.07119364487498,18284e
(152) Islamabad; Pakistan
37.42461544650418,-122.00709464333274,18284e
(143) Sunnyvale; United States
37.33873408773671,-121.89086543649867,18284e
(138) San Jose; United States
50.119755709081666,8.679007537382885,18284e
(133) Frankfurt Am Main; Germany
50.77332778204055,6.107382524581182,18284e
(126) Aachen; Germany
52.03283924167439,8.533565650552006,18284e
(118) Bielefeld; Germany
52.41801795312914,-1.5467219878051242,18284e
(118) Coventry; United Kingdom
51.21833212333813,-0.5698745465069487,18284e
(114) Guildford; United Kingdom
49.20000076293945,16.63330078125,18284e
(107) Brno; Czech Republic
55.75178022945629,37.6158379573448,18284e
(102) Moscow; Russian Federation
50.93238282911848,11.583951119149086,18284e
(101) Jena; Germany
52.350709895497744,4.916523604048896,1e3262
(97) Amsterdam; Netherlands
52.25,21,1e3262
(88) Warsaw; Poland
32.880699157714844,-117.23600006103516,1e3262
(88) La Jolla; United States
52.08432574388458,5.131914487699183,1e3262
(82) Utrecht; Netherlands
42.84360122680664,-83.04029846191406,1e3262
(74) Romeo; United States
50.58334474305849,8.650653684461439,1e3262
(74) Gießen; Germany
45.46705627441406,9.198325836495178,1e3262
(73) Milan; Italy
28.600000381469727,77.19999694824219,1e3262
(72) New Delhi; India
-33.45514813591452,-70.66731800752528,1e3262
(68) Santiago; Chile
53.417028188705444,-2.9993921890854836,1e3262
(64) Liverpool; United Kingdom
52.200357019901276,0.11691562610212713,1e3262
(64) Cambridge; United Kingdom
47.66744863986969,9.181904718279839,1e3262
(64) Konstanz; Germany
-16.66670036315918,-49.266703893267916,1e3262
(63) Goiânia; Brazil
59.90068090529669,30.263330338493226,1e3262
(63) Saint Petersburg; Russian Federation
13.75813075034849,100.51415843348349,1e3262
(62) Bangkok; Thailand
56.11669921875,-3.950000047683716,1e3262
(58) Stirling; United Kingdom
35.67683798806709,139.7542355186061,1e3262
(57) Tokyo; Japan
45.85070037841797,8.963500022888184,1e3262
(56) Genestrerio; Switzerland
30.581813676016672,114.26983206612724,1e3262
(56) Wuhan; China
51.496807451601384,11.994690753795483,1e3262
(54) Halle; Germany
45.79999923706055,24.149999618530273,1e3262
(53) Sibiu; Romania
39.953455223227444,-75.16118189973652,1e3262
(53) Philadelphia; United States
37.5632083599384,126.99847133343036,1e3262
(52) Seoul; Korea, Republic of
-25.41795231745793,-49.25224817716158,1e3262
(52) Curitiba; Brazil
50.88956535339356,14.762038249969482,243c75
(50) Zittau; Germany
23.11669921875,113.25,243c75
(50) Guangzhou; China
48.14889129638672,11.579425678253173,243c75
(50) Munich; Germany
19.431469664281728,-99.13862345170001,243c75
(49) Mexico; Mexico
45.4385986328125,12.326602205317071,243c75
(47) Venezia; Italy
45.869598388671875,-119.68800354003906,243c75
(46) Boardman; United States
33.760221015082465,-84.40378587510851,243c75
(45) Atlanta; United States
52.00194897121853,4.367629030015734,243c75
(45) Delft; Netherlands
4.610933250851101,-74.07874213324652,243c75
(45) Bogotá; Colombia
52.076337640935726,4.292095574465665,243c75
(44) Den Haag; Netherlands
50.836700439453125,-0.7799999713897705,243c75
(44) Chichester; United Kingdom
30.26139363375577,120.16776501048695,243c75
(44) Hangzhou; China
45.41669845581055,11.883299827575684,243c75
(43) Padova; Italy
13.51669979095459,2.1166999340057373,243c75
(42) Niamey; Niger
49.27899932861328,1.0430999994277954,243c75
(42) Saint-pierre-lès-elbeuf; France
30.074456703372118,31.282397665628572,243c75
(41) Cairo; Egypt
39.95719909667969,-74.91619873046875,243c75
(41) Mount Laurel; United States
37.76875715255737,-122.41948909759522,243c75
(40) San Francisco; United States
22.28428757496369,114.1500015258789,243c75
(39) Central District; Hong Kong
60.45000076293945,22.283300399780273,243c75
(39) Turku; Finland
50.66669845581055,14.033300399780273,243c75
(39) Ústí; Czech Republic
46.79999923706055,7.150000095367432,243c75
(38) Fribourg; Switzerland
48.8631208319413,2.3326158649043034,243c75
(38) Paris; France
47.21670150756836,8.816699981689453,243c75
(37) Rapperswil; Switzerland
35.74605814615885,-78.70825004577637,243c75
(36) Raleigh; United States
12.983250141143799,77.58329772949219,243c75
(36) Bangalore; India
40.72097571236747,-74.04893602643695,243c75
(35) Jersey City; United States
51.307876695905414,12.33690253666469,243c75
(35) Leipzig; Germany
36.3213996887207,127.41998066621669,243c75
(34) Daejeon; Korea, Republic of
45.75,126.6500015258789,243c75
(34) Harbin; China
49.4998176799101,0.13254706495824983,243c75
(34) Le Havre; France
-34.590852332837656,-58.610794298576586,243c75
(33) Buenos Aires; Argentina
41.89963473695697,12.486027399698893,243c75
(33) Rome; Italy
44.43330001831055,26.100000381469727,243c75
(33) Bucharest; Romania
-31.424999237060547,-64.17500305175781,243c75
(33) Cordoba; Argentina
48.150001525878906,17.11669921875,243c75
(33) Bratislava; Slovakia
-3.113300085067749,-60.025299072265625,243c75
(32) Manaus; Brazil
50.08434510231018,14.459405899047852,243c75
(32) Prague; Czech Republic
28.17919921875,113.11375525689894,243c75
(31) Changsha; China
41.792198181152344,123.43297306183845,243c75
(31) Shenyang; China
51.44914257910944,5.4675710278172645,243c75
(31) Eindhoven; Netherlands
38.71670150756836,-9.133299827575684,243c75
(31) Lisboa; Portugal
52.97053146362305,-1.1692666729291281,2a4689
(30) Nottingham; United Kingdom
54.98824831644694,-1.6181400338808696,2a4689
(30) Newcastle Upon Tyne; United Kingdom
45.40691197713216,-75.71686401367188,2a4689
(30) Ottawa; Canada
37.96329879760742,-85.70259857177734,2a4689
(30) Shepherdsville; United States
52.59815928141276,19.09717343648275,2a4689
(30) Polska; Poland
28.549999237060547,-16.11669921875,2a4689
(29) La Mancha; Spain
34.261796096275596,108.93703039761247,2a4689
(29) Xian; China
50.28103295687971,8.843130835171404,2a4689
(29) Friedberg; Germany
30.66670036315918,104.06685769969019,2a4689
(29) Chengdu; China
32.81058079855783,51.16001238141741,2a4689
(28) Tehran; Iran, Islamic Republic of
47.36669921875,8.550000190734863,2a4689
(28) Zürich; Switzerland
41.38457570757185,2.181775007929121,2a4689
(28) Barcelona; Spain
55.60569953918457,37.339194434029714,2a4689
(28) Odintsovo; Russian Federation
31.950000762939453,35.93330001831055,2a4689
(27) Amman; Jordan
48.766700744628906,9.183300018310547,2a4689
(27) Stuttgart; Germany
45.45000076293945,11,2a4689
(27) Verona; Italy
24.883988274468315,67.06431240505643,2a4689
(27) Karachi; Pakistan
30.00854257436899,31.212050071129433,2a4689
(26) Gîza; Egypt
51.0497800386869,13.747069248786339,2a4689
(26) Dresden; Germany
25.039399807269756,121.52281658466046,2a4689
(26) Taipei; Taiwan
1.2894520235061646,103.85619140625,2a4689
(25) Singapore; Singapore
41.12710189819336,-73.44159698486328,2a4689
(25) Norwalk; United States
55.04111557006836,82.93441040039062,2a4689
(25) Novosibirsk; Russian Federation
47.58330154418945,8.116700172424316,2a4689
(25) Albert; Germany
39.77861099243164,-86.13481323242188,2a4689
(25) Indianapolis; United States
47.00559997558594,28.857500076293945,2a4689
(25) Chisinau; Moldova, Republic of
53.48857620239258,-2.1943040752410887,2a4689
(25) Manchester; United Kingdom
34.18579864501953,131.47140502929688,30509c
(24) Yamaguchi; Japan
48.19649648666382,16.362040996551514,30509c
(24) Vienna; Austria
51.43330001831055,-1,30509c
(24) Reading; United Kingdom
51.31669998168945,9.5,30509c
(23) Kassel; Germany
50.93248251210088,6.952265055283256,30509c
(23) Köln; Germany
44.05424947324006,-121.26061812691067,30509c
(23) Bend; United States
52.47307404227879,-1.9294739391492761,30509c
(23) Birmingham; United Kingdom
54.08525367405104,12.135160694951596,30509c
(23) Rostock; Germany
49.00880900296298,8.385359417308461,30509c
(22) Karlsruhe; Germany
-19.94126337224787,-43.91134539517489,30509c
(22) Belo Horizonte; Brazil
45.04999923706055,7.6666998863220215,30509c
(22) Turin; Italy
46.766700744628906,23.600000381469727,30509c
(22) Cluj-napoca; Romania
53.37213261922201,-1.4886333147684734,30509c
(21) Sheffield; United Kingdom
45.771244049072266,4.770171233585903,30509c
(21) Écully; France
14.972561518351236,102.10996972946893,30509c
(21) Nakhon Ratchasima; Thailand
35.16669845581055,33.36669921875,30509c
(21) Nicosia; Cyprus
29.745544528961183,-95.45356941223145,365ab0
(20) Houston; United States
46.05488166809082,14.51346960067749,365ab0
(20) Ljubljana; Slovenia
50.70000076293945,3.1666998863220215,365ab0
(20) Roubaix; France
38.91298828125,-77.0603416442871,365ab0
(20) Washington; United States
31.021239852905275,121.40525665283204,365ab0
(20) Shanghai; China
55.66899871826172,12.578849792480469,365ab0
(20) Copenhagen; Denmark
50.83330154418945,12.91670036315918,365ab0
(20) Chemnitz; Germany
39.1422004699707,117.1768734580592,365ab0
(19) Tianjin; China
50.5,11.850000381469727,365ab0
(19) Tanna; Germany
-22.899999618530273,-47.08330154418945,365ab0
(19) Campinas; Brazil
55.94908483404862,-3.202794777719598,365ab0
(19) Edinburgh; United Kingdom
-36.877931092914785,174.78814054790297,365ab0
(19) Auckland; New Zealand
52.36669921875,9.716699600219727,365ab0
(19) Hanover; Germany
40.405263800370065,-3.6844473763516077,365ab0
(19) Madrid; Spain
51.91669845581055,4.5,365ab0
(19) Rotterdam; Netherlands
42.275720495926706,-83.72071838378906,365ab0
(19) Ann Arbor; United States
45.79999923706055,16,365ab0
(19) Zagreb; Croatia
37.4995894181101,15.098442479183799,365ab0
(19) Catania; Italy
57.54999923706055,25.399999618530273,365ab0
(19) Valmiera; Latvia
41.77790069580078,-72.70320129394531,365ab0
(19) Hartford; United States
36.667598724365234,-78.38749694824219,365ab0
(18) Boydton; United States
44.83330154418945,-0.5666999816894531,365ab0
(18) Bordeaux; France
31.215599060058594,29.955299377441406,365ab0
(18) Alexandria; Egypt
44.18330001831055,28.649999618530273,365ab0
(18) Constanta; Romania
48.669445249769424,13.362066268920898,365ab0
(18) München; Germany
39.56449890136719,-75.59700012207031,365ab0
(18) Wilmington; United States
39.111698150634766,-77.57050323486328,365ab0
(18) Leesburg; United States
49.49105580647787,8.475977579752604,365ab0
(18) Mannheim; Germany
47.67712211608887,-122.10603756374783,365ab0
(18) Redmond; United States
44.233299255371094,-76.4832992553711,365ab0
(17) Kingston; Canada
45.5,-73.58329772949219,365ab0
(17) Montreal; Canada
41.016317928538605,28.949359332813938,365ab0
(17) Istanbul; Turkey
32.06169891357422,118.77790653004365,365ab0
(17) Nanjing; China
43.7003651787253,7.251894109389362,365ab0
(17) Nice; France
47.58330154418945,8.199999809265137,365ab0
(17) Full; Switzerland
37.24621133243336,-80.41344362146714,365ab0
(17) Blacksburg; United States
51.454112109015966,7.009035166572122,365ab0
(17) Essen; Germany
52.39417004585266,13.078062534332275,3c64c3
(16) Potsdam; Germany
50.78329849243164,14.216699600219727,3c64c3
(16) Decin; Czech Republic
49.64028835296631,7.165624797344208,3c64c3
(16) Birkenfeld; Germany
35.44972562789917,139.64905738830566,3c64c3
(16) Yokohama; Japan
36.780675172805786,-119.79356098175049,3c64c3
(16) Fresno; United States
40.39289855957031,-74.54119873046875,3c64c3
(16) Monmouth Junction; United States
49.92043914794922,8.649579811096192,3c64c3
(15) Offenbach; Germany
53.38330078125,11.58329963684082,3c64c3
(15) Kiez; Germany
-33.86856587727865,151.20446268717447,3c64c3
(15) Sydney; Australia
43.29805272420247,5.396813424428304,3c64c3
(15) Marseille; France
46.03329849243164,8.899999618530273,3c64c3
(15) Manno; Switzerland
43.66079228719075,-79.41394805908203,3c64c3
(15) Toronto; Canada
53.96616134643555,-1.0832666635513306,3c64c3
(15) York; United Kingdom
52.268340301513675,10.534440104166666,3c64c3
(15) Braunschweig; Germany
37.983299255371094,23.73323549543108,3c64c3
(14) Athens; Greece
21.033300399780273,105.8499984741211,3c64c3
(14) Hanoi; Vietnam
46.79999923706055,-71.25,3c64c3
(14) Quebec; Canada
64.1500015258789,-21.950000762939453,3c64c3
(14) Reykjavík; Iceland
38.07545689174107,46.25358581542969,3c64c3
(14) Tabriz; Iran, Islamic Republic of
42.364315032958984,-71.10015542166573,3c64c3
(14) Cambridge; United States
40.74962180001395,-73.98336519513812,3c64c3
(14) New York; United States
51.66507012503488,-0.3994285762310028,3c64c3
(14) Watford; United Kingdom
51.39820098876953,-0.19840000569820404,3c64c3
(14) Morden; United Kingdom
51.46779360089983,-0.35686428419181276,3c64c3
(14) Hounslow; United Kingdom
47.70000076293945,10.350000381469727,3c64c3
(14) Durach; Germany
-23.516157695225306,-46.63072749546596,3c64c3
(14) São Paulo; Brazil
40.497829164777485,-74.50156620570591,3c64c3
(14) Newark; United States
38.86399841308594,-77.19219970703125,3c64c3
(14) Falls Church; United States
18.132200241088867,-67.11859893798828,3c64c3
(14) Hormigueros; Puerto Rico
36.36920166015625,115.05400085449219,4f74c9
(13) Xidian; China
-6.1743998527526855,106.82930755615234,4f74c9
(13) Jakarta; Indonesia
55.766985379732574,12.51570752950815,4f74c9
(13) Kongens Lyngby; Denmark
6.453100204467773,3.3958001136779785,4f74c9
(13) Lagos; Nigeria
49.58962954007662,11.004269526554989,4f74c9
(13) Erlangen; Germany
53.163506727952225,-1.2173461547264686,4f74c9
(13) Mansfield; United Kingdom
51.51537763155424,7.45166906943688,4f74c9
(13) Dortmund; Germany
41.80799865722656,-72.2509994506836,4f74c9
(13) Storrs Mansfield; United States
37.366923992450424,31.767239790696365,4f74c9
(13) Gazi; Turkey
51.516700744628906,-0.11670000106096268,4f74c9
(13) Bloomsbury; United Kingdom
48.758769695575424,9.305630683898926,4f74c9
(13) Esslingen; Germany
34.68360137939453,113.53250122070312,4f74c9
(12) Zhengzhou; China
38.71670150756836,-9.133299827575684,4f74c9
(12) Lisbon; Portugal
20.66670036315918,-103.33304977416992,4f74c9
(12) Guadalajara; Mexico
50.43330001831055,30.516700744628906,4f74c9
(12) Kiev; Ukraine
53.03350702921549,18.60040028889974,4f74c9
(12) Torun; Poland
51.25825055440267,7.176383336385091,4f74c9
(12) Wuppertal; Germany
51.969676653544106,5.665708263715108,4f74c9
(12) Wageningen; Netherlands
51.51329231262207,7.062208414077759,4f74c9
(12) Gelsenkirchen; Germany
49.13330078125,6.1666998863220215,4f74c9
(12) Metz; France
43.78329849243164,10.383299827575684,4f74c9
(12) Vecchiano; Italy
50.83330154418945,-0.15000000596046448,4f74c9
(12) Brighton; United Kingdom
46.63330078125,32.599998474121094,4f74c9
(12) Kherson; Ukraine
39.923325538635254,32.85837459564209,4f74c9
(12) Ankara; Turkey
54.349998474121094,18.66670036315918,4f74c9
(12) Gdansk; Poland
40.79172547658285,-77.87685012817383,4f74c9
(12) State College; United States
52.06669998168945,7,4f74c9
(12) Ahaus; Germany
52.25,4.566699981689453,4f74c9
(12) Lisse; Netherlands
45.56669998168945,5.933300018310547,4f74c9
(12) Chambéry; France
50.04999923706055,22,4f74c9
(12) Rzeszów; Poland
33.610775311787926,-111.8886267344157,4f74c9
(12) Scottsdale; United States
13.08329963684082,80.2833023071289,4f74c9
(12) Madras; India
39.05326461791992,-77.01179920543323,6383cf
(11) Silver Spring; United States
51.48129237781871,6.847099911082875,6383cf
(11) Oberhausen; Germany
35.98441904241388,-83.97450672496448,6383cf
(11) Knoxville; United States
53.08459195223722,8.797163703224875,6383cf
(11) Bremen; Germany
46.91669845581055,7.466700077056885,6383cf
(11) Bern; Switzerland
46.96590042114258,31.997400283813477,6383cf
(11) Nikolaev; Ukraine
46.25,20.16670036315918,6383cf
(11) Szeged; Hungary
46.099998474121094,19.66670036315918,6383cf
(11) Subotica; Serbia
53.53105302290483,-2.6145181222395464,6383cf
(11) Wigan; United Kingdom
36.66830062866211,116.99714591286399,6383cf
(11) Jinan; China
-22.895054383711383,-43.22253626043146,6383cf
(11) Rio De Janeiro; Brazil
52.36669921875,5.150000095367432,6383cf
(11) Almere; Netherlands
45.75,3.1166999340057373,6383cf
(11) Aubière; France
48.25,12.316699981689453,6383cf
(11) Rattenkirchen; Germany
47.91669845581055,11.100000381469727,6383cf
(11) Raisting; Germany
33.53810119628906,-112.18509674072266,6383cf
(11) Glendale; United States
52.33330154418945,4.783299922943115,6383cf
(11) Badhoevedorp; Netherlands
51.93330001831055,15.5,6383cf
(11) Zielona Góra; Poland
55.844573974609375,-4.253027222373269,6383cf
(11) Glasgow; United Kingdom
50.733299255371094,7.099999904632568,6383cf
(11) Bonn; Germany
51.38330078125,8.08329963684082,6383cf
(11) Arnsberg; Germany
50,8.271100044250488,6383cf
(11) Mainz; Germany
56.349998474121094,21.066699981689453,6383cf
(11) Nica; Latvia
51.79999923706055,-0.3499999940395355,6383cf
(11) Harpenden; United Kingdom
38.983299255371094,-1.850000023841858,6383cf
(10) Albacete; Spain
51.53989944458008,9.9234299659729,6383cf
(10) Göttingen; Germany
-6.903900146484375,107.61888198852539,6383cf
(10) Bandung; Indonesia
52.150001525878906,9.966699600219727,6383cf
(10) Hildesheim; Germany
43.880001068115234,125.322998046875,6383cf
(10) Changchun; China
9.933300018310547,-84.08329772949219,6383cf
(10) San José; Costa Rica
51.20120124816894,6.774799871444702,6383cf
(10) Düsseldorf; Germany
-22.75,-47.16669845581055,6383cf
(10) Paulínia; Brazil
45.765499114990234,4.875500202178955,6383cf
(10) Villeurbanne; France
50.72911949157715,12.49734001159668,6383cf
(10) Zwickau; Germany
39.46670150756836,-0.3666999936103821,6383cf
(10) Valencia; Spain
51.43330001831055,14.25,6383cf
(10) Hoyerswerda; Germany
51.45000076293945,-2.5833001136779785,6383cf
(10) Bristol; United Kingdom
48.400001525878906,10.01669979095459,6383cf
(10) Neu-ulm; Germany
49.83330154418945,18.283300399780273,6383cf
(10) Ostrava; Czech Republic
47.71670150756836,10.316699981689453,6383cf
(10) Kempten; Germany
55.39861145019531,10.397479820251466,6383cf
(10) Odense; Denmark
53.43330001831055,-3.066699981689453,6383cf
(10) Wallasey; United Kingdom

News

  • 2023-08-17 stable version for Windows (Linux and MACOSX come soon) supporting High-level stochastic simulator for the colored stochastic Petri nets with a prototype implementation.
  • 2022-08-27 stable version release for Windows/Linux/MAC supporting Fuzzy coloured stochastic/continuous/hybrid Petri nets, harmonizing the concept of constants in coloured Petri nets as in uncoloured counterparts, new colour operations for coloured Petri nets, supporting obeservers for coloured quantitative Petri nets, the possibility to specify the seed value for stochastic simulation, and fixing many bugs
  • 2019-04-24 beta version release for Windows supporting fuzzy stochastic/continuous/hybrid Petri nets; Mac OS X and Linux versions in preparation
  • 2017-12-13 bugfix release; among others, bug in rate functions fixed
  • 2017-06-19 added PNML import for P/T nets and High-Level Petri nets, added observers to SPN, CPN and HPN, many bugfixes
  • 2017-04-18 added attribute fixed to discrete Petri net classes, improved hybrid simulation algorithms, many bugfixes
  • 2017-04-03 comprehensive Manual for Coloured Hybrid Petri Nets in Snoopy published
  • 2017-01-19 new improved hybrid simulation algorithm, many bugfixes
  • 2016-09-30 bugfix release, e.g. andl import, layout generation, error messages
  • 2016-07-03 bugfix release
  • 2016-06-19 new approximate stochastic simulation method: delta-leaping
  • 2016-04-26 update to wxWidgets 3.1, many bugfixes
  • 2016-01-15 bugfix release
  • 2015-12-21 handling of larger nets (1000+ nodes, 1000+ edges) optimized, new export snoopy2latex, new simulation GUI, source code refactoring, many bugfixes, 64bit versions only
  • 2014-04-01 bugfix release
  • 2014-01-27 Snoopy’s Steering and Simulation Server (S4) goes online
  • 2013-07-30 bugfix release
  • 2013-06-20 new constant implementation and several bug fixes
  • 2012-04-27 loading of exported simulation data in simulation dialog and several bug fixes
  • 2012-01-30 export and import of Colored Abstract Net Description Language (CANDL) and simulation of colored hybrid Petri nets is now available
  • 2011-12-02 new netclass colored hybrid Petri nets (simulation is not available yet) and many improvements for colored Petri nets
  • 2011-05-19 improvements of handling larger colored Petri nets and several bug fixes again
  • 2011-02-18 new net class hybrid (continuous / stochastic) Petri nets
  • 2010-12-17 animation of Snoopy files in a web browser now available
  • 2010-09-28 new net classes: colored Petri nets, colored stochastic and continuous Petri nets
  • 2009-12-02 new net class Freestyle net
  • 2009-07-06 new export of stochastic attributes lists to csv
  • 2009-06-10 some bugfixes in the stochastic simulation
  • 2009-05-26 New stable version of Snoopy
  • 2009-03-27 New Export from stochastic Petri nets to PRISM
  • 2009-03-06 New PRNG (Mersenne-Twister) for stochastic Simulation
  • 2009-02-04 Many bugfixes and small changes regarding the stability of snoopy
  • 2008-11-18 Snoopy is now Unicode capable, many bugfixes
  • 2008-10-09 New net class MusicNets available, again many bugfixes

Downloads

  • Windows version (64bit)
    • snoopy-stable-windows-2023-08-17.msi (PN2024 conference)
    • after download finished double click on the *.msi and the installation starts
    • start snoopy, e.g. by double click on the icon on your desktop
    • if you get an error message about missing msvcp140.dll, please download and install the visual C++ redistributable for visual studio 2015 here
    • if you get an error message about corrupt or invalid signature on snoopy installation file (*.msi), please relate to this.
  • Linux version
    • Mint, Arch distributions 20.2 or higher (64bit): snoopy-stable-linux-Mint64-2022-08-27.tgz
    • other linux distributions available on request
    • after download, extract the archive with "tar xzfv snoopy-stable-linux*.tgz"
    • change into the directory "cd snoopy2/bin" and start snoopy by calling "./snoopy2.sh"
  • Mac OS X version (10.11+, Intel only, 64bit)
    • snoopy-stable-macosx-intel-2022-08-27.dmg
    • open the dmg and drag Snoopy to your favorite location
    • start Snoopy, e.g. by double click on the name
    • macOS Catalina, error fix for App can’t be opened because it is from an unidentified developer - youTube

For our faithful long-term friends, who want to transfer their PED-files, we provide here a ped2snoopy converter, and some useful hints to use it.

Here are some examples to get used to the tool:


There is no all-covering manual available, but you will hopefully not miss it. Anyway, below you find some useful hints (tricks and tips, undocumented features, scheduled extensions, etc) - not supposed to be exhaustive. Please see also Manuals and FAQ.

General Description

Snoopy is a software tool to design and animate hierarchical graphs, among others Petri nets. The tool has been developed - and is still under development - at the University of Technology in Cottbus, Dep. of Computer Science, "Data Structures and Software Dependability".

The tool is in use for the verification of technical systems, especially software-based systems, as well as for the validation of natural systems, i.e. biochemcial networks as metabolic, signal transduction, gene regulatory networks, compare poster "overview on the research activities of our working group".

Basic Properties

  • extensible
  • generic design facilitates add on of new graph types
  • adaptive
  • simultaneous use of several graph types
  • GUI adopts dynamically to graph type in active window
  • platform independent
  • implementation: C++, wxWidgets, Xerces
  • supported for Windows, Mac OS X and Linux

Main Features

  • hierarchies by subgraphs
  • logical (fusion) nodes
  • different shapes for net elements
  • colouring of graph elements (e.g. paths or invariants)
  • automated layout by Graphviz library
  • digital signature by md5 hash function
  • animation of place/transition Petri nets
  • simulation of (fuzzy) stochastic/continuous/hybrid Petri nets
  • printing support: eps, Xfig, FrameMaker
  • import/export from/to analysis tools, see related software
  • SBML L2V4 import/export using LibSBML (rules, events, functions not supported)
  • PNML support, except export of QPNc in Snoopy to High-Level Petri Nets in PNML
  • support of web-based Petri net animation, see sampler
  • generation of Latex documentation
  • constants multi-column sorting
  • cleaning unused declarations (with dependency check)
  • selective import/export features from/to ANDL/CANDL formats
  • Snoopy command-line feature with a few available commands so far

Available Graph Classes

  • place/transition Petri net - QPN
  • extended Petri net (read / inhibitor / equal / reset / marking-dependent arcs) - XPN
  • time(d) Petri net - TPN
  • (extended) stochastic Petri net - XSPN
  • continuous Petri net - CPN
  • hybrid (continuous & stochastic) Petri nets - HPN
  • fuzzy stochastic / continuous / hybrid Petri nets - FSPN / FCPN / FHPN
  • coloured fuzzy stochastic / continuous / hybrid Petri nets - FSPNC / FCPNC / FHPNC
  • colored qualitative / stochastic / continuous / hybrid Petri nets - QPNc / XSPNc / CPNc / HPNc
  • modulo Petri net - MPN
  • "music" Petri net
  • reachability graph - RG
  • MTBDD/MTIDD
  • fault tree - FT
  • extended fault tree - XFT
  • freestyle net
  • EDL signature net
  • < your favourite graph class ? >

Upcoming

  • coloured Petri net classes (as already supported in uncoloured classes)
    • value sets for constants and merging of constants with parameters;
    • general functions
    • marking-dependent arcs;
    • general observers
    • acyclic colour sets
    • export of QPNc to High-Level Petri Nets in PNML

Imports and Exports

All imports and exports to non Snoopy file formats are listed here.

Imports

  • ANDL ⇒ QPN, XPN, CPN, XSPN, HPN
  • CANDL ⇒ QPNc, XPNc, CPNc, XSPNc, HPNc
  • APNN ⇒ QPN, XPN, XSPN
  • SBML ⇒ QPN, CPN, XSPN
  • PED ⇒ QPN
  • PNML ⇒ QPN, QPNc
  • TINA ⇒ QPN
  • CSV (colored Declarations) ⇒ QPNc, XPNc, CPNc, XSPNc, HPNc
  • CSV (Markings, Functions, Parameters) ⇒ XSPN
  • DNF ⇒ FT, XFT
  • Simulation results in CSV ⇒ CPN, XSPN, HPN, CPNc, XSPNc, HPNc

Exports

  • EPS, Latex, MIF, XFig ⇒ all graph classes
  • ANDL ⇒ QPN, XPN, CPN, XSPN, HPN
  • CANDL ⇒ QPNc, XPNc, CPNc, XSPNc, HPNc
  • APNN ⇒ QPN, XPN, XSPN, QPNc, XPNc, CPNc, XSPNc, HPNc
  • SBML ⇒ QPN, XPN, CPN, XSPN
  • ODEs to Text ⇒ CPN, HPN
  • METATOOL ⇒ QPN, XPN, CPN, XSPN
  • Modelica ⇒ CPN, XSPN, HPN
  • CPNTool ⇒ QPNc, XPNc, XSPNc
  • CSV (colored Declarations) ⇒ QPNc, XPNc, CPNc, XSPNc, HPNc
  • CSV (Markings, Functions, Parameters) ⇒ XSPN
  • SMART ⇒ QPN, XSPN
  • INA ⇒ QPN
  • LoLA ⇒ QPN
  • Maria ⇒ QPN
  • PEP ⇒ QPN
  • PNML ⇒ QPN
  • Prod ⇒ QPN
  • TINA ⇒ QPN
  • PRISM ⇒ XSPN
  • Simulation results in CSV ⇒ CPN, XSPN, HPN, CPNc, XSPNc, HPNc

Video clips, Manuals, Tutorials

Video clips

Manuals

  • User's manual for coloured fuzzy Petri nets in Snoopy (pdf) (July 15, 2020)
  • Mini manual for fuzzy Petri nets in Snoopy (txt) (April 24, 2019)
  • [HLRH17.manual]
    M Herajy, F Liu, C Rohr and M Heiner:
    (Coloured Hybrid Petri Nets in Snoopy - User Manual;
    Technical report 01-17, Brandenburg University of Technology Cottbus, Department of Computer Science, March 2017. [ url ] [ BibTeX ] pn sources
  • [S15]
    A Sharma:
    Snoopy Report Generator Snoopy2LATEX (Internship report);
    Technical report, Brandenburg University of Technology Cottbus, Department of Computer Science, July 2015. [ pdf ] [ BibTeX ]
  • [HH13.manual]
    M Herajy and M Heiner:
    Snoopy Computational Steering Framework – User Manual Version 1.0;
    Technical report 02-13, Brandenburg University of Technology Cottbus, Department of Computer Science, July 2013. [ pdf ] [ BibTeX ]
  • [LHR12.manual]
    F Liu, M Heiner and C Rohr:
    Manual for Colored Petri Nets in Snoopy;
    Technical report 02-12, Brandenburg University of Technology Cottbus, Department of Computer Science, March 2012. [ pdf ] [ BibTeX ] pn sources

Tutorials (selection)

  • [BHM15]
    MA Blätke, M Heiner and W Marwan:
    BioModel Engineering with Petri Nets;
    In Algebraic and Discrete Mathematical Methods for Modern Biology, (R Robeva, Ed.), Elsevier Inc., pages 141–193, March 2015. [ url ] [ doi ] [ BibTeX ]
  • [MRH12]
    W Marwan, C Rohr and M Heiner:
    Petri nets in Snoopy: A unifying framework for the graphical display, computational modelling, and simulation of bacterial regulatory networks;
    In Methods in Molecular Biology – Bacterial Molecular Networks, (Jv Helden, A Toussaint and D Thieffry, Eds.), Humana Press, pages 409–437, 2012. [ pdf ] [ doi ] [ BibTeX ]
  • [BHM11]
    MA Blätke, M Heiner, and W Marwan:
    Tutorial - Petri Nets in Systems Biology;
    Technical report, Otto von Guericke University Magdeburg, Magdeburg Centre for Systems Biology, August 2011. [ pdf ] [ BibTeX ]
  • for more, see Snoopy's bibliography

Snoopy’s Steering and Simulation Server (S4)

S4 is an extension of Snoopy, which permits to remotely simulate and interactively steer quantitative Petri net models during a running simulation. Users can share models and collaborate by controlling the execution of a model remotely from different machines (clients). S4 is shipped with an application programming interface (API) which enables user-defined extensions of the core functionalities. Stochastic, continuous and hybrid Petri nets are supported, both as low-level and coloured ones. S4 is platform-independent and distributed free of charge for academic use.

Downloads

User guides

References

  • [HH14b]
    M Herajy and M Heiner:
    A Steering Server for Collaborative Simulation of Quantitative Petri Nets;
    In Proc. PETRI NETS 2014, Tunis, Springer, LNCS, volume 8489, pages 374–384, June 2014. [ url ] [ doi ] [ BibTeX ]
  • [HH14a]
    M Herajy and M Heiner:
    Petri Net-Based Collaborative Simulation and Steering of Biochemical Reaction Networks;
    Fundamenta Informaticae, 129(1-2):49-67, 2014. [ url ] [ doi ] [ BibTeX ]
  • [Herajy13]
    Mostafa Herajy:
    Computational Steering of Multi-Scale Biochemical Networks;
    PhD thesis, BTU Cottbus, Dep. of CS, January 2013. [ pdf ] [ BibTeX ]
  • [HH12]
    M Herajy and M Heiner:
    Hybrid Representation and Simulation of Stiff Biochemical Networks;
    J. Nonlinear Analysis: Hybrid Systems, 6(4):942–959, November 2012. [ url ] [ doi ] [ BibTeX ]

Web Animation

We support web browser animation of Snoopy files (extended Petri nets only). Therefor we use XSL transformation to SVG and JavaScript for animation. Download: patty.zip

Installation notes:

  • Unpack patty.zip into the root folder of your web server.
  • Copy your Snoopy files on your web server.
  • Add the Snoopy files to the type text/xml, e.a. add the line "AddType text/xml spept spped" to your .htaccess file.
  • If that is not possible rename the files from "filename.spped" to "filename.xml".
  • Now you can open your Snoopy files in your browser basicStructures.pn.

Attention: Web browsers are constantly evolving and often differ in some subtle details. It is hardly possible to master this vast variety at the current state of technology. For known bugs see sampler.

This feature is based on:

  • [Schw09]
    Marcel Schwarze:
    Web-based Petri net animation (in German);
    Diploma thesis, FH Lausitz, Dep. of CS, November 2009. [ BibTeX ]
  • [Schu08]
    Krispin Schulz:
    An Extension of the Snoopy Software to Process and Manage Petri Net Animations (in German);
    Bachelor thesis, BTU Cottbus, Dep. of CS, November 2008. [ pdf ] [ BibTeX ]

Related Software

Known Issues

  • The following three issues are caused by (current state of) the wxWidgets library
    • Mac OS: the key shortcut 'cmd-C' is used twice: for copy in text fields and as accelerator for the cancel button, with cancel button overwriting the former functionality. intermediate solution: use cmd-X followed by cmd-V instead.
    • Linux: shortcuts to select net elements (such as P, T, A, S) don't work;
    • Retina display: support is buggy, that’s why it’s in Snoopy disabled;
  • PNML: Snoopy does not support acyclic colour sets (sorts), ie all colour sets (sorts) are cyclic in Snoopy. Please check your imported High-Level Petri Nets.
  • The colour operator "--" is only supported by the Generic and Gecode unfolders, but not by the IDD unfolder.
  • The colour operator 'numOf' is only supported by Snoopy. However, unfolding colour expressions involving this operator is not appropriately implemented. Snoopy Animator gives a the expected behaviour, but the unfolded net is not correct.
  • Unfolding sophisticated arc colour expressions involving the operator "++" using the IDD unfolder may result in unexpected results due to a bug in the implementation of the IDD unfolder, so please use the Genereic/Gecode unfolders in this case.
  • Unfolding colour expressions involving nested colour functions (for coloured Petri nets) is only supported by the Geneeric/Gecode unfolders, but not by the IDD unfolder.
  • Unfolding sophisticated tuple colour expressions involving the pre-define function "all()" is only supported by the Generic/Gecode unfolders, so please do not use the IDD unfolder.

Bug Reports

Submit your bug reports and comments about Snoopy HERE.

  • Please check, if your problem still exists in the latest available version of Snoopy
  • Please include the information about your platform (Windows, Linux) and Snoopy build details (available in the Help->About window)

Mailing List

You can join our mailing list if you want to kept posted of Snoopy's development: snoopy [period] informatik [snail] lists [period] b-tu [period] de

This mailing list is for discussion of new features, bug reports, and for announcements of new Snoopy versions.

For joining our mailing list write an email to snoopy [period] informatik-join [snail] lists [period] b-tu [period] de (both the Subject: header and body of such a message are ignored).

For leaving our mailing list you may send an email to snoopy [period] informatik-leave [snail] lists [period] b-tu [period] de (as with the -join address, the Subject: header and body of the message is ignored).

Another way you can subscribe to or unsubscribe from the list is through the web interface.

… the end …

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