id sid tid token lemma pos ap-676 1 1 ap05_2.vp ap05_2.vp VERB ap-676 1 2 1 1 NUM ap-676 1 3 introduction introduction NOUN ap-676 1 4 and and CCONJ ap-676 1 5 motivation motivation NOUN ap-676 1 6 petri petri ADJ ap-676 1 7 nets net NOUN ap-676 1 8 ( ( PUNCT ap-676 1 9 pn pn NOUN ap-676 1 10 ) ) PUNCT ap-676 1 11 are be AUX ap-676 1 12 a a DET ap-676 1 13 well well ADV ap-676 1 14 established establish VERB ap-676 1 15 mechanism mechanism NOUN ap-676 1 16 for for ADP ap-676 1 17 system system NOUN ap-676 1 18 modeling modeling NOUN ap-676 1 19 . . PUNCT ap-676 2 1 they they PRON ap-676 2 2 are be AUX ap-676 2 3 a a DET ap-676 2 4 mathematically mathematically ADV ap-676 2 5 defined define VERB ap-676 2 6 formal formal ADJ ap-676 2 7 model model NOUN ap-676 2 8 , , PUNCT ap-676 2 9 and and CCONJ ap-676 2 10 can can AUX ap-676 2 11 be be AUX ap-676 2 12 subjected subject VERB ap-676 2 13 to to ADP ap-676 2 14 a a DET ap-676 2 15 large large ADJ ap-676 2 16 variety variety NOUN ap-676 2 17 of of ADP ap-676 2 18 systems system NOUN ap-676 2 19 . . PUNCT ap-676 3 1 pn pn PROPN ap-676 3 2 based base VERB ap-676 3 3 models model NOUN ap-676 3 4 have have AUX ap-676 3 5 been be AUX ap-676 3 6 widely widely ADV ap-676 3 7 used use VERB ap-676 3 8 due due ADP ap-676 3 9 to to ADP ap-676 3 10 their their PRON ap-676 3 11 ease ease NOUN ap-676 3 12 of of ADP ap-676 3 13 understanding understanding NOUN ap-676 3 14 , , PUNCT ap-676 3 15 declarative declarative NOUN ap-676 3 16 , , PUNCT ap-676 3 17 logic logic NOUN ap-676 3 18 based base VERB ap-676 3 19 and and CCONJ ap-676 3 20 modular modular ADJ ap-676 3 21 modeling modeling NOUN ap-676 3 22 principles principle NOUN ap-676 3 23 , , PUNCT ap-676 3 24 and and CCONJ ap-676 3 25 finally finally ADV ap-676 3 26 because because SCONJ ap-676 3 27 they they PRON ap-676 3 28 can can AUX ap-676 3 29 be be AUX ap-676 3 30 represented represent VERB ap-676 3 31 graphically graphically ADV ap-676 3 32 . . PUNCT ap-676 4 1 since since SCONJ ap-676 4 2 petri petri ADJ ap-676 4 3 nets net NOUN ap-676 4 4 began begin VERB ap-676 4 5 to to PART ap-676 4 6 be be AUX ap-676 4 7 exploited exploit VERB ap-676 4 8 in in ADP ap-676 4 9 the the DET ap-676 4 10 1960s 1960 NOUN ap-676 4 11 , , PUNCT ap-676 4 12 many many ADJ ap-676 4 13 different different ADJ ap-676 4 14 types type NOUN ap-676 4 15 of of ADP ap-676 4 16 models model NOUN ap-676 4 17 have have AUX ap-676 4 18 been be AUX ap-676 4 19 introduced introduce VERB ap-676 4 20 and and CCONJ ap-676 4 21 used use VERB ap-676 4 22 . . PUNCT ap-676 5 1 the the DET ap-676 5 2 most most ADV ap-676 5 3 popular popular ADJ ap-676 5 4 models model NOUN ap-676 5 5 are be AUX ap-676 5 6 presented present VERB ap-676 5 7 in in ADP ap-676 5 8 this this DET ap-676 5 9 paper paper NOUN ap-676 5 10 by by ADP ap-676 5 11 their their PRON ap-676 5 12 definitions definition NOUN ap-676 5 13 and and CCONJ ap-676 5 14 by by ADP ap-676 5 15 specific specific ADJ ap-676 5 16 models model NOUN ap-676 5 17 . . PUNCT ap-676 6 1 their their PRON ap-676 6 2 main main ADJ ap-676 6 3 advantages advantage NOUN ap-676 6 4 are be AUX ap-676 6 5 shown show VERB ap-676 6 6 and and CCONJ ap-676 6 7 the the DET ap-676 6 8 differences difference NOUN ap-676 6 9 between between ADP ap-676 6 10 them they PRON ap-676 6 11 are be AUX ap-676 6 12 mentioned mention VERB ap-676 6 13 . . PUNCT ap-676 7 1 petri petri VERB ap-676 7 2 net net ADJ ap-676 7 3 based base VERB ap-676 7 4 models model NOUN ap-676 7 5 have have AUX ap-676 7 6 been be AUX ap-676 7 7 used use VERB ap-676 7 8 in in ADP ap-676 7 9 our our PRON ap-676 7 10 research research NOUN ap-676 7 11 on on ADP ap-676 7 12 digital digital ADJ ap-676 7 13 design design NOUN ap-676 7 14 methodology methodology NOUN ap-676 7 15 : : PUNCT ap-676 7 16 the the DET ap-676 7 17 design design NOUN ap-676 7 18 of of ADP ap-676 7 19 a a DET ap-676 7 20 processor processor NOUN ap-676 7 21 or or CCONJ ap-676 7 22 control control NOUN ap-676 7 23 system system NOUN ap-676 7 24 architecture architecture NOUN ap-676 7 25 with with ADP ap-676 7 26 special special ADJ ap-676 7 27 properties property NOUN ap-676 7 28 , , PUNCT ap-676 7 29 e.g. e.g. ADV ap-676 7 30 fault fault NOUN ap-676 7 31 - - PUNCT ap-676 7 32 tolerant tolerant ADJ ap-676 7 33 or or CCONJ ap-676 7 34 fault fault NOUN ap-676 7 35 - - PUNCT ap-676 7 36 secure secure ADJ ap-676 7 37 , , PUNCT ap-676 7 38 hardware hardware NOUN ap-676 7 39 - - PUNCT ap-676 7 40 software software NOUN ap-676 7 41 co co NOUN ap-676 7 42 - - NOUN ap-676 7 43 design design ADJ ap-676 7 44 , , PUNCT ap-676 7 45 computer computer NOUN ap-676 7 46 networks network NOUN ap-676 7 47 architecture architecture NOUN ap-676 7 48 , , PUNCT ap-676 7 49 etc etc X ap-676 7 50 . . X ap-676 8 1 this this PRON ap-676 8 2 has have AUX ap-676 8 3 led lead VERB ap-676 8 4 to to ADP ap-676 8 5 the the DET ap-676 8 6 development development NOUN ap-676 8 7 of of ADP ap-676 8 8 pn pn PROPN ap-676 8 9 models model NOUN ap-676 8 10 in in ADP ap-676 8 11 some some DET ap-676 8 12 petri petri ADJ ap-676 8 13 net net ADJ ap-676 8 14 design design NOUN ap-676 8 15 tools tool NOUN ap-676 8 16 ( ( PUNCT ap-676 8 17 design design NOUN ap-676 8 18 / / SYM ap-676 8 19 cpn cpn NOUN ap-676 8 20 , , PUNCT ap-676 8 21 [ [ X ap-676 8 22 1 1 NUM ap-676 8 23 ] ] PUNCT ap-676 8 24 , , PUNCT ap-676 8 25 jarp jarp NOUN ap-676 8 26 , , PUNCT ap-676 8 27 [ [ X ap-676 8 28 2 2 NUM ap-676 8 29 ] ] PUNCT ap-676 8 30 , , PUNCT ap-676 8 31 cpn cpn NOUN ap-676 8 32 tools tool NOUN ap-676 8 33 , , PUNCT ap-676 8 34 [ [ X ap-676 8 35 3 3 NUM ap-676 8 36 ] ] NUM ap-676 8 37 ) ) PUNCT ap-676 8 38 , , PUNCT ap-676 8 39 and and CCONJ ap-676 8 40 analysis analysis NOUN ap-676 8 41 and and CCONJ ap-676 8 42 simulation simulation NOUN ap-676 8 43 of of ADP ap-676 8 44 the the DET ap-676 8 45 model model NOUN ap-676 8 46 using use VERB ap-676 8 47 these these DET ap-676 8 48 tools tool NOUN ap-676 8 49 . . PUNCT ap-676 9 1 after after SCONJ ap-676 9 2 this this DET ap-676 9 3 high high ADJ ap-676 9 4 - - PUNCT ap-676 9 5 level level NOUN ap-676 9 6 design design NOUN ap-676 9 7 has have AUX ap-676 9 8 been be AUX ap-676 9 9 developed develop VERB ap-676 9 10 and and CCONJ ap-676 9 11 validated validate VERB ap-676 9 12 it it PRON ap-676 9 13 becomes become VERB ap-676 9 14 possible possible ADJ ap-676 9 15 , , PUNCT ap-676 9 16 through through ADP ap-676 9 17 automatic automatic ADJ ap-676 9 18 translation translation NOUN ap-676 9 19 to to ADP ap-676 9 20 a a DET ap-676 9 21 vhdl vhdl PROPN ap-676 9 22 description description NOUN ap-676 9 23 , , PUNCT ap-676 9 24 to to PART ap-676 9 25 employ employ VERB ap-676 9 26 an an DET ap-676 9 27 fpga fpga PROPN ap-676 9 28 implementation implementation NOUN ap-676 9 29 that that PRON ap-676 9 30 will will AUX ap-676 9 31 enable enable VERB ap-676 9 32 a a DET ap-676 9 33 custom custom NOUN ap-676 9 34 device device NOUN ap-676 9 35 to to PART ap-676 9 36 be be AUX ap-676 9 37 rapidly rapidly ADV ap-676 9 38 prototyped prototype VERB ap-676 9 39 and and CCONJ ap-676 9 40 tested test VERB ap-676 9 41 ( ( PUNCT ap-676 9 42 asic asic ADJ ap-676 9 43 implementation implementation NOUN ap-676 9 44 is be AUX ap-676 9 45 also also ADV ap-676 9 46 possible possible ADJ ap-676 9 47 ) ) PUNCT ap-676 9 48 . . PUNCT ap-676 10 1 an an DET ap-676 10 2 fpga fpga PROPN ap-676 10 3 version version NOUN ap-676 10 4 of of ADP ap-676 10 5 a a DET ap-676 10 6 digital digital ADJ ap-676 10 7 circuit circuit NOUN ap-676 10 8 is be AUX ap-676 10 9 likely likely ADJ ap-676 10 10 to to PART ap-676 10 11 be be AUX ap-676 10 12 slower slow ADJ ap-676 10 13 than than ADP ap-676 10 14 the the DET ap-676 10 15 equivalent equivalent ADJ ap-676 10 16 asic asic NOUN ap-676 10 17 version version NOUN ap-676 10 18 , , PUNCT ap-676 10 19 due due ADP ap-676 10 20 to to ADP ap-676 10 21 the the DET ap-676 10 22 regularly regularly ADV ap-676 10 23 structured structured ADJ ap-676 10 24 fpga fpga PROPN ap-676 10 25 wiring wiring NOUN ap-676 10 26 channels channel NOUN ap-676 10 27 compared compare VERB ap-676 10 28 to to ADP ap-676 10 29 the the DET ap-676 10 30 asic asic ADJ ap-676 10 31 custom custom NOUN ap-676 10 32 logic logic NOUN ap-676 10 33 . . PUNCT ap-676 11 1 however however ADV ap-676 11 2 , , PUNCT ap-676 11 3 the the DET ap-676 11 4 easier easy ADJ ap-676 11 5 custom custom NOUN ap-676 11 6 design design NOUN ap-676 11 7 changes change NOUN ap-676 11 8 , , PUNCT ap-676 11 9 the the DET ap-676 11 10 possibility possibility NOUN ap-676 11 11 of of ADP ap-676 11 12 easy easy ADJ ap-676 11 13 fpga fpga PROPN ap-676 11 14 reconfiguration reconfiguration NOUN ap-676 11 15 , , PUNCT ap-676 11 16 and and CCONJ ap-676 11 17 relatively relatively ADV ap-676 11 18 easy easy ADJ ap-676 11 19 manipulation manipulation NOUN ap-676 11 20 make make VERB ap-676 11 21 fpgas fpgas NOUN ap-676 11 22 very very ADV ap-676 11 23 good good ADJ ap-676 11 24 final final ADJ ap-676 11 25 implementation implementation NOUN ap-676 11 26 bases basis NOUN ap-676 11 27 for for ADP ap-676 11 28 experiments experiment NOUN ap-676 11 29 . . PUNCT ap-676 12 1 most most ADJ ap-676 12 2 models model NOUN ap-676 12 3 used use VERB ap-676 12 4 in in ADP ap-676 12 5 the the DET ap-676 12 6 hardware hardware NOUN ap-676 12 7 design design NOUN ap-676 12 8 process process NOUN ap-676 12 9 are be AUX ap-676 12 10 equivalent equivalent ADJ ap-676 12 11 to to ADP ap-676 12 12 the the DET ap-676 12 13 finite finite ADJ ap-676 12 14 state state NOUN ap-676 12 15 machine machine NOUN ap-676 12 16 ( ( PUNCT ap-676 12 17 fsm fsm PROPN ap-676 12 18 ) ) PUNCT ap-676 12 19 , , PUNCT ap-676 13 1 [ [ X ap-676 13 2 4 4 NUM ap-676 13 3 ] ] PUNCT ap-676 13 4 , , PUNCT ap-676 13 5 [ [ X ap-676 13 6 5 5 NUM ap-676 13 7 ] ] PUNCT ap-676 13 8 , , PUNCT ap-676 13 9 [ [ X ap-676 13 10 6 6 NUM ap-676 13 11 ] ] PUNCT ap-676 13 12 , , PUNCT ap-676 13 13 [ [ X ap-676 13 14 7 7 NUM ap-676 13 15 ] ] PUNCT ap-676 13 16 . . PUNCT ap-676 14 1 it it PRON ap-676 14 2 is be AUX ap-676 14 3 said say VERB ap-676 14 4 that that SCONJ ap-676 14 5 the the DET ap-676 14 6 resulting result VERB ap-676 14 7 hardware hardware NOUN ap-676 14 8 must must AUX ap-676 14 9 be be AUX ap-676 14 10 deterministic deterministic ADJ ap-676 14 11 , , PUNCT ap-676 14 12 but but CCONJ ap-676 14 13 we we PRON ap-676 14 14 have have AUX ap-676 14 15 found find VERB ap-676 14 16 real real ADJ ap-676 14 17 models model NOUN ap-676 14 18 that that PRON ap-676 14 19 are be AUX ap-676 14 20 not not PART ap-676 14 21 equivalent equivalent ADJ ap-676 14 22 to to ADP ap-676 14 23 an an DET ap-676 14 24 fsm fsm NOUN ap-676 14 25 and and CCONJ ap-676 14 26 their their PRON ap-676 14 27 real real ADJ ap-676 14 28 behavior behavior NOUN ap-676 14 29 was be AUX ap-676 14 30 tested test VERB ap-676 14 31 on on ADP ap-676 14 32 the the DET ap-676 14 33 final final ADJ ap-676 14 34 fpga fpga PROPN ap-676 14 35 design design NOUN ap-676 14 36 kit kit NOUN ap-676 14 37 platform platform NOUN ap-676 14 38 [ [ X ap-676 14 39 8 8 NUM ap-676 14 40 ] ] PUNCT ap-676 14 41 . . PUNCT ap-676 15 1 therefore therefore ADV ap-676 15 2 we we PRON ap-676 15 3 have have AUX ap-676 15 4 concentrated concentrate VERB ap-676 15 5 on on ADP ap-676 15 6 those those DET ap-676 15 7 models model NOUN ap-676 15 8 with with ADP ap-676 15 9 really really ADV ap-676 15 10 concurrent concurrent ADJ ap-676 15 11 actions action NOUN ap-676 15 12 , , PUNCT ap-676 15 13 with with ADP ap-676 15 14 various various ADJ ap-676 15 15 types type NOUN ap-676 15 16 of of ADP ap-676 15 17 dependencies dependency NOUN ap-676 15 18 ( ( PUNCT ap-676 15 19 mutual mutual ADJ ap-676 15 20 exclusion exclusion NOUN ap-676 15 21 , , PUNCT ap-676 15 22 parallel parallel NOUN ap-676 15 23 , , PUNCT ap-676 15 24 scheduled schedule VERB ap-676 15 25 ) ) PUNCT ap-676 15 26 , , PUNCT ap-676 15 27 and and CCONJ ap-676 15 28 have have AUX ap-676 15 29 studied study VERB ap-676 15 30 their their PRON ap-676 15 31 hardware hardware NOUN ap-676 15 32 implementation implementation NOUN ap-676 15 33 . . PUNCT ap-676 16 1 © © PROPN ap-676 16 2 czech czech PROPN ap-676 16 3 technical technical PROPN ap-676 16 4 university university PROPN ap-676 16 5 publishing publishing NOUN ap-676 16 6 house house NOUN ap-676 16 7 http://ctn.cvut.cz/ap/ http://ctn.cvut.cz/ap/ PROPN ap-676 16 8 5 5 NUM ap-676 16 9 czech czech PROPN ap-676 16 10 technical technical PROPN ap-676 16 11 university university PROPN ap-676 16 12 in in ADP ap-676 16 13 prague prague PROPN ap-676 16 14 acta acta PROPN ap-676 16 15 polytechnica polytechnica PROPN ap-676 16 16 vol vol NOUN ap-676 16 17 . . PROPN ap-676 17 1 45 45 NUM ap-676 17 2 no no NOUN ap-676 17 3 . . PUNCT ap-676 18 1 2/2005 2/2005 NUM ap-676 18 2 modeling modeling NOUN ap-676 18 3 by by ADP ap-676 18 4 petri petri ADJ ap-676 18 5 nets net NOUN ap-676 18 6 h. h. PROPN ap-676 18 7 kubátová kubátová PROPN ap-676 18 8 one one NUM ap-676 18 9 specific specific ADJ ap-676 18 10 model model NOUN ap-676 18 11 of of ADP ap-676 18 12 a a DET ap-676 18 13 digital digital ADJ ap-676 18 14 system system NOUN ap-676 18 15 in in ADP ap-676 18 16 different different ADJ ap-676 18 17 types type NOUN ap-676 18 18 of of ADP ap-676 18 19 petri petri ADJ ap-676 18 20 nets net NOUN ap-676 18 21 is be AUX ap-676 18 22 presented present VERB ap-676 18 23 . . PUNCT ap-676 19 1 the the DET ap-676 19 2 formal formal ADJ ap-676 19 3 definitions definition NOUN ap-676 19 4 of of ADP ap-676 19 5 the the DET ap-676 19 6 basic basic ADJ ap-676 19 7 ( ( PUNCT ap-676 19 8 black black NOUN ap-676 19 9 - - PUNCT ap-676 19 10 and and CCONJ ap-676 19 11 - - PUNCT ap-676 19 12 white white ADJ ap-676 19 13 ) ) PUNCT ap-676 19 14 petri petri ADJ ap-676 19 15 net net NOUN ap-676 19 16 , , PUNCT ap-676 19 17 a a DET ap-676 19 18 place place NOUN ap-676 19 19 / / SYM ap-676 19 20 transition transition NOUN ap-676 19 21 net net NOUN ap-676 19 22 ( ( PUNCT ap-676 19 23 p p NOUN ap-676 19 24 / / SYM ap-676 19 25 t t PROPN ap-676 19 26 net net NOUN ap-676 19 27 ) ) PUNCT ap-676 19 28 , , PUNCT ap-676 19 29 an an DET ap-676 19 30 arc arc NOUN ap-676 19 31 - - PUNCT ap-676 19 32 constant constant ADJ ap-676 19 33 coloured colour VERB ap-676 19 34 petri petri ADJ ap-676 19 35 net net NOUN ap-676 19 36 ( ( PUNCT ap-676 19 37 ac ac NOUN ap-676 19 38 - - PUNCT ap-676 19 39 cpn cpn NOUN ap-676 19 40 ) ) PUNCT ap-676 19 41 and and CCONJ ap-676 19 42 a a DET ap-676 19 43 coloured colour VERB ap-676 19 44 petri petri ADJ ap-676 19 45 net net ADJ ap-676 19 46 ( ( PUNCT ap-676 19 47 cpn cpn NOUN ap-676 19 48 ) ) PUNCT ap-676 19 49 are be AUX ap-676 19 50 presented present VERB ap-676 19 51 and and CCONJ ap-676 19 52 explained explain VERB ap-676 19 53 on on ADP ap-676 19 54 the the DET ap-676 19 55 basis basis NOUN ap-676 19 56 of of ADP ap-676 19 57 this this DET ap-676 19 58 example example NOUN ap-676 19 59 . . PUNCT ap-676 20 1 real real ADJ ap-676 20 2 models model NOUN ap-676 20 3 of of ADP ap-676 20 4 dining dining NOUN ap-676 20 5 philosophers philosopher NOUN ap-676 20 6 , , PUNCT ap-676 20 7 a a DET ap-676 20 8 producer producer NOUN ap-676 20 9 - - PUNCT ap-676 20 10 consumer consumer NOUN ap-676 20 11 system system NOUN ap-676 20 12 and and CCONJ ap-676 20 13 railway railway NOUN ap-676 20 14 tracks track NOUN ap-676 20 15 are be AUX ap-676 20 16 described describe VERB ap-676 20 17 . . PUNCT ap-676 21 1 keywords keyword NOUN ap-676 21 2 : : PUNCT ap-676 21 3 petri petri ADJ ap-676 21 4 nets net NOUN ap-676 21 5 , , PUNCT ap-676 21 6 formal formal ADJ ap-676 21 7 models model NOUN ap-676 21 8 , , PUNCT ap-676 21 9 hardware hardware NOUN ap-676 21 10 , , PUNCT ap-676 21 11 digital digital ADJ ap-676 21 12 design design NOUN ap-676 21 13 , , PUNCT ap-676 21 14 field field NOUN ap-676 21 15 programmable programmable ADJ ap-676 21 16 gate gate NOUN ap-676 21 17 array array NOUN ap-676 21 18 ( ( PUNCT ap-676 21 19 fpga fpga PROPN ap-676 21 20 ) ) PUNCT ap-676 21 21 , , PUNCT ap-676 21 22 pnml pnml NOUN ap-676 21 23 , , PUNCT ap-676 21 24 vhdl vhdl PROPN ap-676 21 25 , , PUNCT ap-676 21 26 finite finite VERB ap-676 21 27 state state NOUN ap-676 21 28 machine machine NOUN ap-676 21 29 ( ( PUNCT ap-676 21 30 fsm fsm PROPN ap-676 21 31 ) ) PUNCT ap-676 21 32 fig fig NOUN ap-676 21 33 . . PUNCT ap-676 22 1 1 1 NUM ap-676 22 2 : : PUNCT ap-676 22 3 design design NOUN ap-676 22 4 methodology methodology NOUN ap-676 22 5 block block NOUN ap-676 22 6 diagram diagram NOUN ap-676 22 7 with with ADP ap-676 22 8 dark dark ADJ ap-676 22 9 parts part NOUN ap-676 22 10 corresponding correspond VERB ap-676 22 11 to to ADP ap-676 22 12 possible possible ADJ ap-676 22 13 use use NOUN ap-676 22 14 of of ADP ap-676 22 15 petri petri ADJ ap-676 22 16 nets net NOUN ap-676 22 17 petri petri ADJ ap-676 22 18 nets net NOUN ap-676 22 19 are be AUX ap-676 22 20 a a DET ap-676 22 21 good good ADJ ap-676 22 22 platform platform NOUN ap-676 22 23 and and CCONJ ap-676 22 24 tool tool NOUN ap-676 22 25 in in ADP ap-676 22 26 the the DET ap-676 22 27 “ " PUNCT ap-676 22 28 multiple multiple ADJ ap-676 22 29 - - PUNCT ap-676 22 30 level level NOUN ap-676 22 31 ” " PUNCT ap-676 22 32 design design NOUN ap-676 22 33 process process NOUN ap-676 22 34 , , PUNCT ap-676 22 35 see see VERB ap-676 22 36 fig fig NOUN ap-676 22 37 . . PUNCT ap-676 23 1 1 1 X ap-676 23 2 . . X ap-676 23 3 they they PRON ap-676 23 4 can can AUX ap-676 23 5 serve serve VERB ap-676 23 6 as as ADP ap-676 23 7 a a DET ap-676 23 8 specification specification NOUN ap-676 23 9 language language NOUN ap-676 23 10 on on ADP ap-676 23 11 all all DET ap-676 23 12 levels level NOUN ap-676 23 13 of of ADP ap-676 23 14 specifications specification NOUN ap-676 23 15 , , PUNCT ap-676 23 16 and and CCONJ ap-676 23 17 as as ADP ap-676 23 18 a a DET ap-676 23 19 formal formal ADJ ap-676 23 20 verification verification NOUN ap-676 23 21 tool tool NOUN ap-676 23 22 throughout throughout ADP ap-676 23 23 these these DET ap-676 23 24 specification specification NOUN ap-676 23 25 and and CCONJ ap-676 23 26 architectural architectural ADJ ap-676 23 27 description description NOUN ap-676 23 28 levels level NOUN ap-676 23 29 . . PUNCT ap-676 24 1 the the DET ap-676 24 2 first first ADJ ap-676 24 3 problem problem NOUN ap-676 24 4 to to PART ap-676 24 5 be be AUX ap-676 24 6 solved solve VERB ap-676 24 7 during during ADP ap-676 24 8 the the DET ap-676 24 9 design design NOUN ap-676 24 10 process process NOUN ap-676 24 11 is be AUX ap-676 24 12 the the DET ap-676 24 13 construction construction NOUN ap-676 24 14 of of ADP ap-676 24 15 a a DET ap-676 24 16 good good ADJ ap-676 24 17 model model NOUN ap-676 24 18 , , PUNCT ap-676 24 19 which which PRON ap-676 24 20 will will AUX ap-676 24 21 enable enable VERB ap-676 24 22 the the DET ap-676 24 23 specification specification NOUN ap-676 24 24 and and CCONJ ap-676 24 25 further further ADJ ap-676 24 26 handling handling NOUN ap-676 24 27 and and CCONJ ap-676 24 28 verification verification NOUN ap-676 24 29 of of ADP ap-676 24 30 the the DET ap-676 24 31 different different ADJ ap-676 24 32 levels level NOUN ap-676 24 33 of of ADP ap-676 24 34 this this DET ap-676 24 35 design design NOUN ap-676 24 36 . . PUNCT ap-676 25 1 therefore therefore ADV ap-676 25 2 this this DET ap-676 25 3 paper paper NOUN ap-676 25 4 presents present VERB ap-676 25 5 such such ADJ ap-676 25 6 model model NOUN ap-676 25 7 constructions construction NOUN ap-676 25 8 on on ADP ap-676 25 9 the the DET ap-676 25 10 basis basis NOUN ap-676 25 11 of of ADP ap-676 25 12 a a DET ap-676 25 13 number number NOUN ap-676 25 14 of of ADP ap-676 25 15 simple simple ADJ ap-676 25 16 examples example NOUN ap-676 25 17 . . PUNCT ap-676 26 1 2 2 NUM ap-676 26 2 petri petri ADJ ap-676 26 3 net net ADJ ap-676 26 4 definitions definition NOUN ap-676 26 5 and and CCONJ ap-676 26 6 examples example NOUN ap-676 26 7 petri petri ADJ ap-676 26 8 nets net NOUN ap-676 26 9 can can AUX ap-676 26 10 be be AUX ap-676 26 11 introduced introduce VERB ap-676 26 12 in in ADP ap-676 26 13 many many ADJ ap-676 26 14 ways way NOUN ap-676 26 15 , , PUNCT ap-676 26 16 according accord VERB ap-676 26 17 to to ADP ap-676 26 18 their their PRON ap-676 26 19 numerous numerous ADJ ap-676 26 20 features feature NOUN ap-676 26 21 and and CCONJ ap-676 26 22 various various ADJ ap-676 26 23 applications application NOUN ap-676 26 24 . . PUNCT ap-676 27 1 this this DET ap-676 27 2 text text NOUN ap-676 27 3 will will AUX ap-676 27 4 focus focus VERB ap-676 27 5 on on ADP ap-676 27 6 basic basic ADJ ap-676 27 7 principles principle NOUN ap-676 27 8 and and CCONJ ap-676 27 9 modeling modeling NOUN ap-676 27 10 of of ADP ap-676 27 11 actions action NOUN ap-676 27 12 . . PUNCT ap-676 28 1 in in ADP ap-676 28 2 this this DET ap-676 28 3 section section NOUN ap-676 28 4 , , PUNCT ap-676 28 5 a a DET ap-676 28 6 formal formal ADJ ap-676 28 7 definition definition NOUN ap-676 28 8 of of ADP ap-676 28 9 place place NOUN ap-676 28 10 / / SYM ap-676 28 11 transition transition NOUN ap-676 28 12 nets net NOUN ap-676 28 13 and and CCONJ ap-676 28 14 coloured coloured ADJ ap-676 28 15 petri petri ADJ ap-676 28 16 nets net NOUN ap-676 28 17 is be AUX ap-676 28 18 given give VERB ap-676 28 19 . . PUNCT ap-676 29 1 they they PRON ap-676 29 2 have have AUX ap-676 29 3 been be AUX ap-676 29 4 presented present VERB ap-676 29 5 in in ADP ap-676 29 6 many many ADJ ap-676 29 7 books book NOUN ap-676 29 8 and and CCONJ ap-676 29 9 publications publication NOUN ap-676 29 10 , , PUNCT ap-676 29 11 the the DET ap-676 29 12 definitions definition NOUN ap-676 29 13 presented present VERB ap-676 29 14 here here ADV ap-676 29 15 being be AUX ap-676 29 16 taken take VERB ap-676 29 17 from from ADP ap-676 29 18 [ [ X ap-676 29 19 9 9 NUM ap-676 29 20 ] ] PUNCT ap-676 29 21 . . PUNCT ap-676 30 1 many many ADJ ap-676 30 2 attempts attempt NOUN ap-676 30 3 have have AUX ap-676 30 4 been be AUX ap-676 30 5 made make VERB ap-676 30 6 to to PART ap-676 30 7 define define VERB ap-676 30 8 the the DET ap-676 30 9 principles principle NOUN ap-676 30 10 of of ADP ap-676 30 11 basic basic ADJ ap-676 30 12 types type NOUN ap-676 30 13 of of ADP ap-676 30 14 petri petri ADJ ap-676 30 15 nets net NOUN ap-676 30 16 . . PUNCT ap-676 31 1 the the DET ap-676 31 2 way way NOUN ap-676 31 3 chosen choose VERB ap-676 31 4 here here ADV ap-676 31 5 involves involve VERB ap-676 31 6 a a DET ap-676 31 7 brief brief ADJ ap-676 31 8 introduction introduction NOUN ap-676 31 9 to to ADP ap-676 31 10 the the DET ap-676 31 11 basic basic ADJ ap-676 31 12 principles principle NOUN ap-676 31 13 and and CCONJ ap-676 31 14 to to ADP ap-676 31 15 the the DET ap-676 31 16 hierarchical hierarchical ADJ ap-676 31 17 construction construction NOUN ap-676 31 18 of of ADP ap-676 31 19 the the DET ap-676 31 20 most most ADV ap-676 31 21 complicated complicated ADJ ap-676 31 22 and and CCONJ ap-676 31 23 widely widely ADV ap-676 31 24 used use VERB ap-676 31 25 petri petri ADJ ap-676 31 26 net net ADJ ap-676 31 27 based base VERB ap-676 31 28 models model NOUN ap-676 31 29 used use VERB ap-676 31 30 in in ADP ap-676 31 31 professional professional ADJ ap-676 31 32 software software NOUN ap-676 31 33 tools tool NOUN ap-676 31 34 . . PUNCT ap-676 32 1 the the DET ap-676 32 2 essential essential ADJ ap-676 32 3 features feature NOUN ap-676 32 4 of of ADP ap-676 32 5 petri petri ADJ ap-676 32 6 nets net NOUN ap-676 32 7 are be AUX ap-676 32 8 the the DET ap-676 32 9 principles principle NOUN ap-676 32 10 of of ADP ap-676 32 11 duality duality NOUN ap-676 32 12 , , PUNCT ap-676 32 13 locality locality NOUN ap-676 32 14 , , PUNCT ap-676 32 15 concurrency concurrency NOUN ap-676 32 16 , , PUNCT ap-676 32 17 graphical graphical ADJ ap-676 32 18 and and CCONJ ap-676 32 19 algebraic algebraic ADJ ap-676 32 20 representation representation NOUN ap-676 32 21 . . PUNCT ap-676 33 1 these these DET ap-676 33 2 notions notion NOUN ap-676 33 3 will will AUX ap-676 33 4 be be AUX ap-676 33 5 presented present VERB ap-676 33 6 on on ADP ap-676 33 7 a a DET ap-676 33 8 simple simple ADJ ap-676 33 9 model model NOUN ap-676 33 10 of of ADP ap-676 33 11 a a DET ap-676 33 12 handshake handshake NOUN ap-676 33 13 used use VERB ap-676 33 14 by by ADP ap-676 33 15 printers printer NOUN ap-676 33 16 communicating communicate VERB ap-676 33 17 with with ADP ap-676 33 18 a a DET ap-676 33 19 control control NOUN ap-676 33 20 unit unit NOUN ap-676 33 21 that that PRON ap-676 33 22 transmits transmit VERB ap-676 33 23 data datum NOUN ap-676 33 24 according accord VERB ap-676 33 25 to to ADP ap-676 33 26 the the DET ap-676 33 27 handshake handshake ADJ ap-676 33 28 scheme scheme NOUN ap-676 33 29 . . PUNCT ap-676 34 1 the the DET ap-676 34 2 control control PROPN ap-676 34 3 unit unit NOUN ap-676 34 4 uses use VERB ap-676 34 5 the the DET ap-676 34 6 control control PROPN ap-676 34 7 signal signal PROPN ap-676 34 8 strobe strobe PROPN ap-676 34 9 to to PART ap-676 34 10 signal signal VERB ap-676 34 11 “ " PUNCT ap-676 34 12 data data X ap-676 34 13 valid valid NOUN ap-676 34 14 ” " PUNCT ap-676 34 15 to to ADP ap-676 34 16 the the DET ap-676 34 17 target target NOUN ap-676 34 18 units unit NOUN ap-676 34 19 – – PUNCT ap-676 34 20 printers printer NOUN ap-676 34 21 , , PUNCT ap-676 34 22 receivers receiver NOUN ap-676 34 23 . . PUNCT ap-676 35 1 the the DET ap-676 35 2 printers printer NOUN ap-676 35 3 signal signal VERB ap-676 35 4 “ " PUNCT ap-676 35 5 data datum NOUN ap-676 35 6 is be AUX ap-676 35 7 printing print VERB ap-676 35 8 ” " PUNCT ap-676 35 9 to to ADP ap-676 35 10 the the DET ap-676 35 11 control control NOUN ap-676 35 12 unit unit NOUN ap-676 35 13 by by ADP ap-676 35 14 ack ack PROPN ap-676 35 15 signals signal NOUN ap-676 35 16 . . PUNCT ap-676 36 1 after after ADP ap-676 36 2 the the DET ap-676 36 3 falling fall VERB ap-676 36 4 edge edge NOUN ap-676 36 5 of of ADP ap-676 36 6 a a DET ap-676 36 7 strobe strobe NOUN ap-676 36 8 signal signal NOUN ap-676 36 9 , , PUNCT ap-676 36 10 all all DET ap-676 36 11 printers printer NOUN ap-676 36 12 must must AUX ap-676 36 13 react react VERB ap-676 36 14 by by ADP ap-676 36 15 the the DET ap-676 36 16 falling fall VERB ap-676 36 17 edges edge NOUN ap-676 36 18 of of ADP ap-676 36 19 ack ack NOUN ap-676 36 20 signals signal NOUN ap-676 36 21 to to PART ap-676 36 22 obtain obtain VERB ap-676 36 23 the the DET ap-676 36 24 next next ADJ ap-676 36 25 portion portion NOUN ap-676 36 26 of of ADP ap-676 36 27 data datum NOUN ap-676 36 28 ( ( PUNCT ap-676 36 29 e.g. e.g. ADV ap-676 36 30 , , PUNCT ap-676 36 31 a a DET ap-676 36 32 byte byte NOUN ap-676 36 33 ) ) PUNCT ap-676 36 34 . . PUNCT ap-676 37 1 our our PRON ap-676 37 2 petri petri ADJ ap-676 37 3 net net NOUN ap-676 37 4 will will AUX ap-676 37 5 model model VERB ap-676 37 6 cooperation cooperation NOUN ap-676 37 7 between between ADP ap-676 37 8 only only ADV ap-676 37 9 two two NUM ap-676 37 10 printers printer NOUN ap-676 37 11 a a PRON ap-676 37 12 , , PUNCT ap-676 37 13 and and CCONJ ap-676 37 14 b b NOUN ap-676 37 15 , , PUNCT ap-676 37 16 with with ADP ap-676 37 17 one one NUM ap-676 37 18 control control NOUN ap-676 37 19 unit unit NOUN ap-676 37 20 c c AUX ap-676 37 21 , , PUNCT ap-676 37 22 see see VERB ap-676 37 23 fig fig NOUN ap-676 37 24 . . PUNCT ap-676 38 1 2 2 X ap-676 38 2 . . X ap-676 38 3 following follow VERB ap-676 38 4 essential essential ADJ ap-676 38 5 conditions condition NOUN ap-676 38 6 and and CCONJ ap-676 38 7 actions action NOUN ap-676 38 8 have have AUX ap-676 38 9 been be AUX ap-676 38 10 identified identify VERB ap-676 38 11 : : PUNCT ap-676 38 12 � � PROPN ap-676 38 13 list list NOUN ap-676 38 14 of of ADP ap-676 38 15 conditions condition NOUN ap-676 38 16 : : PUNCT ap-676 38 17 p1 p1 NOUN ap-676 38 18 : : PUNCT ap-676 38 19 control control NOUN ap-676 38 20 unit unit NOUN ap-676 38 21 c c PROPN ap-676 38 22 has have VERB ap-676 38 23 a a DET ap-676 38 24 byte byte NOUN ap-676 38 25 prepared prepare VERB ap-676 38 26 for for ADP ap-676 38 27 printing print VERB ap-676 38 28 p2 p2 NOUN ap-676 38 29 : : PUNCT ap-676 38 30 control control NOUN ap-676 38 31 unit unit NOUN ap-676 38 32 c c PROPN ap-676 38 33 is be AUX ap-676 38 34 waiting wait VERB ap-676 38 35 for for SCONJ ap-676 38 36 signals signal NOUN ap-676 38 37 ack ack VERB ap-676 38 38 p3 p3 PROPN ap-676 38 39 : : PUNCT ap-676 38 40 control control NOUN ap-676 38 41 unit unit NOUN ap-676 38 42 c c PROPN ap-676 38 43 is be AUX ap-676 38 44 sending send VERB ap-676 38 45 a a DET ap-676 38 46 byte byte NOUN ap-676 38 47 and and CCONJ ap-676 38 48 a a DET ap-676 38 49 strobe strobe NOUN ap-676 38 50 signal signal NOUN ap-676 38 51 to to PART ap-676 38 52 printer printer VERB ap-676 38 53 a a DET ap-676 38 54 p4 p4 ADJ ap-676 38 55 : : PUNCT ap-676 38 56 printer printer NOUN ap-676 38 57 a a NOUN ap-676 38 58 is be AUX ap-676 38 59 ready ready ADJ ap-676 38 60 to to PART ap-676 38 61 print print VERB ap-676 38 62 p5 p5 NOUN ap-676 38 63 : : PUNCT ap-676 38 64 printer printer NOUN ap-676 38 65 a a PRON ap-676 38 66 is be AUX ap-676 38 67 printing print VERB ap-676 38 68 a a DET ap-676 38 69 byte byte NOUN ap-676 38 70 p6 p6 NOUN ap-676 38 71 : : PUNCT ap-676 38 72 printer printer NOUN ap-676 38 73 a a DET ap-676 38 74 sends send NOUN ap-676 38 75 ack ack PROPN ap-676 38 76 signal signal PROPN ap-676 38 77 p7 p7 PROPN ap-676 38 78 : : PUNCT ap-676 38 79 control control NOUN ap-676 38 80 unit unit NOUN ap-676 38 81 c c PROPN ap-676 38 82 sends send VERB ap-676 38 83 strobe strobe NOUN ap-676 38 84 = = PUNCT ap-676 38 85 0 0 PUNCT ap-676 38 86 to to ADP ap-676 38 87 a a DET ap-676 38 88 p8 p8 PROPN ap-676 38 89 : : PUNCT ap-676 38 90 control control NOUN ap-676 38 91 unit unit NOUN ap-676 38 92 c c PROPN ap-676 38 93 is be AUX ap-676 38 94 sending send VERB ap-676 38 95 a a DET ap-676 38 96 byte byte NOUN ap-676 38 97 and and CCONJ ap-676 38 98 a a DET ap-676 38 99 strobe strobe NOUN ap-676 38 100 signal signal NOUN ap-676 38 101 to to PART ap-676 38 102 printer printer PROPN ap-676 38 103 b b PROPN ap-676 38 104 p9 p9 PROPN ap-676 38 105 : : PUNCT ap-676 38 106 printer printer NOUN ap-676 38 107 b b PROPN ap-676 38 108 is be AUX ap-676 38 109 ready ready ADJ ap-676 38 110 to to PART ap-676 38 111 print print VERB ap-676 38 112 p10 p10 NOUN ap-676 38 113 : : PUNCT ap-676 38 114 printer printer NOUN ap-676 38 115 b b PROPN ap-676 38 116 is be AUX ap-676 38 117 printing print VERB ap-676 38 118 a a DET ap-676 38 119 byte byte NOUN ap-676 38 120 p11 p11 NOUN ap-676 38 121 : : PUNCT ap-676 38 122 printer printer VERB ap-676 38 123 a a DET ap-676 38 124 sends send NOUN ap-676 38 125 ack ack PROPN ap-676 38 126 signal signal PROPN ap-676 38 127 p12 p12 PROPN ap-676 38 128 : : PUNCT ap-676 38 129 control control NOUN ap-676 38 130 unit unit NOUN ap-676 38 131 c c PROPN ap-676 38 132 sends send VERB ap-676 38 133 strobe strobe NOUN ap-676 38 134 = = PUNCT ap-676 38 135 0 0 NUM ap-676 38 136 to to ADP ap-676 38 137 b b PROPN ap-676 38 138 � � PROPN ap-676 38 139 list list NOUN ap-676 38 140 of of ADP ap-676 38 141 actions action NOUN ap-676 38 142 : : PUNCT ap-676 38 143 t1 t1 NOUN ap-676 38 144 : : PUNCT ap-676 38 145 control control NOUN ap-676 38 146 unit unit NOUN ap-676 38 147 c c PROPN ap-676 38 148 sends send VERB ap-676 38 149 strobe strobe NOUN ap-676 38 150 = = SYM ap-676 38 151 1 1 NUM ap-676 38 152 t2 t2 NOUN ap-676 38 153 : : PUNCT ap-676 38 154 control control NOUN ap-676 38 155 unit unit NOUN ap-676 38 156 c c PROPN ap-676 38 157 sends send VERB ap-676 38 158 strobe strobe NOUN ap-676 38 159 = = SYM ap-676 38 160 0 0 NUM ap-676 38 161 t3 t3 NOUN ap-676 38 162 : : PUNCT ap-676 38 163 printer printer NOUN ap-676 38 164 a a DET ap-676 38 165 sends send VERB ap-676 38 166 ack ack NOUN ap-676 38 167 = = SYM ap-676 38 168 1 1 NUM ap-676 38 169 t4 t4 PROPN ap-676 38 170 : : PUNCT ap-676 38 171 printer printer NOUN ap-676 38 172 a a DET ap-676 38 173 sends send VERB ap-676 38 174 ack ack NOUN ap-676 38 175 = = SYM ap-676 38 176 0 0 X ap-676 38 177 t5 t5 PROPN ap-676 38 178 : : PUNCT ap-676 38 179 printer printer NOUN ap-676 38 180 b b PROPN ap-676 38 181 sends send VERB ap-676 38 182 ack ack NOUN ap-676 38 183 = = SYM ap-676 38 184 1 1 NUM ap-676 38 185 t1 t1 NOUN ap-676 38 186 : : PUNCT ap-676 38 187 printer printer NOUN ap-676 38 188 b b PROPN ap-676 38 189 sends send VERB ap-676 38 190 ack ack NOUN ap-676 38 191 = = SYM ap-676 38 192 0 0 NUM ap-676 38 193 separating separate VERB ap-676 38 194 or or CCONJ ap-676 38 195 identifying identify VERB ap-676 38 196 passive passive ADJ ap-676 38 197 elements element NOUN ap-676 38 198 ( ( PUNCT ap-676 38 199 such such ADJ ap-676 38 200 as as ADP ap-676 38 201 conditions condition NOUN ap-676 38 202 ) ) PUNCT ap-676 38 203 from from ADP ap-676 38 204 active active ADJ ap-676 38 205 elements element NOUN ap-676 38 206 ( ( PUNCT ap-676 38 207 such such ADJ ap-676 38 208 as as ADP ap-676 38 209 actions action NOUN ap-676 38 210 ) ) PUNCT ap-676 38 211 is be AUX ap-676 38 212 a a DET ap-676 38 213 very very ADV ap-676 38 214 important important ADJ ap-676 38 215 step step NOUN ap-676 38 216 in in ADP ap-676 38 217 the the DET ap-676 38 218 design design NOUN ap-676 38 219 of of ADP ap-676 38 220 systems system NOUN ap-676 38 221 . . PUNCT ap-676 39 1 this this DET ap-676 39 2 duality duality NOUN ap-676 39 3 is be AUX ap-676 39 4 strongly strongly ADV ap-676 39 5 supported support VERB ap-676 39 6 by by ADP ap-676 39 7 petri petri ADJ ap-676 39 8 nets net NOUN ap-676 39 9 . . PUNCT ap-676 40 1 whether whether SCONJ ap-676 40 2 an an DET ap-676 40 3 object object NOUN ap-676 40 4 is be AUX ap-676 40 5 seen see VERB ap-676 40 6 as as ADP ap-676 40 7 active active ADJ ap-676 40 8 or or CCONJ ap-676 40 9 passive passive ADJ ap-676 40 10 may may AUX ap-676 40 11 depend depend VERB ap-676 40 12 on on ADP ap-676 40 13 the the DET ap-676 40 14 context context NOUN ap-676 40 15 or or CCONJ ap-676 40 16 the the DET ap-676 40 17 point point NOUN ap-676 40 18 of of ADP ap-676 40 19 view view NOUN ap-676 40 20 of of ADP ap-676 40 21 the the DET ap-676 40 22 system system NOUN ap-676 40 23 . . PUNCT ap-676 41 1 but but CCONJ ap-676 41 2 it it PRON ap-676 41 3 is be AUX ap-676 41 4 always always ADV ap-676 41 5 necessary necessary ADJ ap-676 41 6 to to PART ap-676 41 7 construct construct VERB ap-676 41 8 a a DET ap-676 41 9 correct correct ADJ ap-676 41 10 petri petri ADJ ap-676 41 11 net net ADJ ap-676 41 12 model model NOUN ap-676 41 13 according accord VERB ap-676 41 14 to to ADP ap-676 41 15 definitions definition NOUN ap-676 41 16 1 1 NUM ap-676 41 17 – – SYM ap-676 41 18 5 5 NUM ap-676 41 19 . . PUNCT ap-676 42 1 basically basically ADV ap-676 42 2 , , PUNCT ap-676 42 3 the the DET ap-676 42 4 edges edge NOUN ap-676 42 5 must must AUX ap-676 42 6 connect connect VERB ap-676 42 7 only only ADJ ap-676 42 8 places place NOUN ap-676 42 9 with with ADP ap-676 42 10 transitions transition NOUN ap-676 42 11 , , PUNCT ap-676 42 12 or or CCONJ ap-676 42 13 vice vice NOUN ap-676 42 14 - - NOUN ap-676 42 15 versa versa ADJ ap-676 42 16 ( ( PUNCT ap-676 42 17 petri petri ADJ ap-676 42 18 nets net NOUN ap-676 42 19 are be AUX ap-676 42 20 a a DET ap-676 42 21 bipartite bipartite ADJ ap-676 42 22 graph graph NOUN ap-676 42 23 ) ) PUNCT ap-676 42 24 . . PUNCT ap-676 43 1 the the DET ap-676 43 2 following follow VERB ap-676 43 3 principles principle NOUN ap-676 43 4 belong belong VERB ap-676 43 5 to to ADP ap-676 43 6 the the DET ap-676 43 7 essential essential ADJ ap-676 43 8 features feature NOUN ap-676 43 9 of of ADP ap-676 43 10 petri petri ADJ ap-676 43 11 nets net NOUN ap-676 43 12 that that PRON ap-676 43 13 express express VERB ap-676 43 14 locality locality NOUN ap-676 43 15 and and CCONJ ap-676 43 16 concurrency concurrency NOUN ap-676 43 17 : : PUNCT ap-676 43 18 � � PROPN ap-676 43 19 the the DET ap-676 43 20 principle principle NOUN ap-676 43 21 of of ADP ap-676 43 22 duality duality NOUN ap-676 43 23 for for ADP ap-676 43 24 petri petri ADJ ap-676 43 25 nets net NOUN ap-676 43 26 : : PUNCT ap-676 43 27 there there PRON ap-676 43 28 are be VERB ap-676 43 29 two two NUM ap-676 43 30 disjoint disjoint NOUN ap-676 43 31 sets set NOUN ap-676 43 32 of of ADP ap-676 43 33 elements element NOUN ap-676 43 34 : : PUNCT ap-676 43 35 p p X ap-676 43 36 - - PUNCT ap-676 43 37 elements element NOUN ap-676 43 38 ( ( PUNCT ap-676 43 39 places place NOUN ap-676 43 40 ) ) PUNCT ap-676 43 41 and and CCONJ ap-676 43 42 t t NOUN ap-676 43 43 - - PUNCT ap-676 43 44 elements element NOUN ap-676 43 45 ( ( PUNCT ap-676 43 46 transitions transition NOUN ap-676 43 47 ) ) PUNCT ap-676 43 48 . . PUNCT ap-676 44 1 entities entity NOUN ap-676 44 2 of of ADP ap-676 44 3 the the DET ap-676 44 4 real real ADJ ap-676 44 5 world world NOUN ap-676 44 6 , , PUNCT ap-676 44 7 interpreted interpret VERB ap-676 44 8 as as ADP ap-676 44 9 passive passive ADJ ap-676 44 10 elements element NOUN ap-676 44 11 , , PUNCT ap-676 44 12 are be AUX ap-676 44 13 represented represent VERB ap-676 44 14 by by ADP ap-676 44 15 p p NOUN ap-676 44 16 - - PUNCT ap-676 44 17 elements element NOUN ap-676 44 18 ( ( PUNCT ap-676 44 19 conditions condition NOUN ap-676 44 20 , , PUNCT ap-676 44 21 places place NOUN ap-676 44 22 , , PUNCT ap-676 44 23 resources resource NOUN ap-676 44 24 , , PUNCT ap-676 44 25 waiting wait VERB ap-676 44 26 pools pool NOUN ap-676 44 27 , , PUNCT ap-676 44 28 channels channel NOUN ap-676 44 29 etc etc X ap-676 44 30 . . PUNCT ap-676 44 31 ) ) PUNCT ap-676 45 1 entities entity NOUN ap-676 45 2 of of ADP ap-676 45 3 the the DET ap-676 45 4 real real ADJ ap-676 45 5 world world NOUN ap-676 45 6 , , PUNCT ap-676 45 7 interpreted interpret VERB ap-676 45 8 as as ADP ap-676 45 9 active active ADJ ap-676 45 10 elements element NOUN ap-676 45 11 , , PUNCT ap-676 45 12 are be AUX ap-676 45 13 represented represent VERB ap-676 45 14 by by ADP ap-676 45 15 t t NOUN ap-676 45 16 - - PUNCT ap-676 45 17 elements element NOUN ap-676 45 18 ( ( PUNCT ap-676 45 19 events event NOUN ap-676 45 20 , , PUNCT ap-676 45 21 transitions transition NOUN ap-676 45 22 , , PUNCT ap-676 45 23 actions action NOUN ap-676 45 24 , , PUNCT ap-676 45 25 executions execution NOUN ap-676 45 26 of of ADP ap-676 45 27 statements statement NOUN ap-676 45 28 , , PUNCT ap-676 45 29 transmissions transmission NOUN ap-676 45 30 of of ADP ap-676 45 31 messages message NOUN ap-676 45 32 etc etc X ap-676 45 33 . . PUNCT ap-676 45 34 ) ) PUNCT ap-676 45 35 . . PUNCT ap-676 46 1 6 6 NUM ap-676 46 2 © © PROPN ap-676 46 3 czech czech PROPN ap-676 46 4 technical technical PROPN ap-676 46 5 university university PROPN ap-676 46 6 publishing publishing NOUN ap-676 46 7 house house NOUN ap-676 46 8 http://ctn.cvut.cz/ap/ http://ctn.cvut.cz/ap/ PROPN ap-676 46 9 acta acta PROPN ap-676 46 10 polytechnica polytechnica PROPN ap-676 46 11 vol vol NOUN ap-676 46 12 . . PROPN ap-676 47 1 45 45 NUM ap-676 47 2 no no NOUN ap-676 47 3 . . PUNCT ap-676 48 1 2/2005 2/2005 NUM ap-676 48 2 czech czech PROPN ap-676 48 3 technical technical PROPN ap-676 48 4 university university PROPN ap-676 48 5 in in ADP ap-676 48 6 prague prague PROPN ap-676 48 7 fig fig NOUN ap-676 48 8 . . PUNCT ap-676 49 1 2 2 NUM ap-676 49 2 : : PUNCT ap-676 49 3 the the DET ap-676 49 4 petri petri ADJ ap-676 49 5 net net ADJ ap-676 49 6 model model NOUN ap-676 49 7 of of ADP ap-676 49 8 two two NUM ap-676 49 9 printers printer NOUN ap-676 49 10 working work VERB ap-676 49 11 in in ADP ap-676 49 12 parallel parallel ADJ ap-676 49 13 � � PROPN ap-676 49 14 the the DET ap-676 49 15 principle principle NOUN ap-676 49 16 of of ADP ap-676 49 17 locality locality NOUN ap-676 49 18 for for ADP ap-676 49 19 petri petri ADJ ap-676 49 20 nets net NOUN ap-676 49 21 : : PUNCT ap-676 49 22 the the DET ap-676 49 23 behavior behavior NOUN ap-676 49 24 of of ADP ap-676 49 25 a a DET ap-676 49 26 transition transition NOUN ap-676 49 27 depends depend VERB ap-676 49 28 exclusively exclusively ADV ap-676 49 29 on on ADP ap-676 49 30 its its PRON ap-676 49 31 locality locality NOUN ap-676 49 32 , , PUNCT ap-676 49 33 which which PRON ap-676 49 34 is be AUX ap-676 49 35 defined define VERB ap-676 49 36 as as ADP ap-676 49 37 the the DET ap-676 49 38 totality totality NOUN ap-676 49 39 of of ADP ap-676 49 40 its its PRON ap-676 49 41 input input NOUN ap-676 49 42 and and CCONJ ap-676 49 43 output output NOUN ap-676 49 44 objects object NOUN ap-676 49 45 ( ( PUNCT ap-676 49 46 preand preand NOUN ap-676 49 47 postconditions postcondition NOUN ap-676 49 48 , , PUNCT ap-676 49 49 input input NOUN ap-676 49 50 and and CCONJ ap-676 49 51 output output NOUN ap-676 49 52 places place NOUN ap-676 49 53 , , PUNCT ap-676 49 54 … … PUNCT ap-676 49 55 ) ) PUNCT ap-676 49 56 together together ADV ap-676 49 57 with with ADP ap-676 49 58 the the DET ap-676 49 59 element element NOUN ap-676 49 60 itself itself PRON ap-676 49 61 . . PUNCT ap-676 50 1 � � PROPN ap-676 50 2 the the DET ap-676 50 3 principle principle NOUN ap-676 50 4 of of ADP ap-676 50 5 concurrency concurrency NOUN ap-676 50 6 for for ADP ap-676 50 7 petri petri ADJ ap-676 50 8 nets net NOUN ap-676 50 9 : : PUNCT ap-676 50 10 transitions transition NOUN ap-676 50 11 having have VERB ap-676 50 12 a a DET ap-676 50 13 disjoint disjoint ADJ ap-676 50 14 locality locality NOUN ap-676 50 15 occur occur VERB ap-676 50 16 independently independently ADV ap-676 50 17 ( ( PUNCT ap-676 50 18 concurrently concurrently ADV ap-676 50 19 ) ) PUNCT ap-676 50 20 . . PUNCT ap-676 51 1 � � PROPN ap-676 51 2 the the DET ap-676 51 3 principle principle NOUN ap-676 51 4 of of ADP ap-676 51 5 graphical graphical ADJ ap-676 51 6 representation representation NOUN ap-676 51 7 for for ADP ap-676 51 8 petri petri ADJ ap-676 51 9 nets net NOUN ap-676 51 10 : : PUNCT ap-676 51 11 p p X ap-676 51 12 - - PUNCT ap-676 51 13 elements element NOUN ap-676 51 14 are be AUX ap-676 51 15 represented represent VERB ap-676 51 16 by by ADP ap-676 51 17 rounded rounded ADJ ap-676 51 18 graphical graphical ADJ ap-676 51 19 elements element NOUN ap-676 51 20 ( ( PUNCT ap-676 51 21 circles circle NOUN ap-676 51 22 , , PUNCT ap-676 51 23 ellipses ellipsis NOUN ap-676 51 24 , , PUNCT ap-676 51 25 … … PUNCT ap-676 51 26 ) ) PUNCT ap-676 51 27 , , PUNCT ap-676 51 28 t t PROPN ap-676 51 29 - - PUNCT ap-676 51 30 elements element NOUN ap-676 51 31 are be AUX ap-676 51 32 represented represent VERB ap-676 51 33 by by ADP ap-676 51 34 edged edge VERB ap-676 51 35 graphical graphical ADJ ap-676 51 36 symbols symbol NOUN ap-676 51 37 ( ( PUNCT ap-676 51 38 rectangles rectangle NOUN ap-676 51 39 , , PUNCT ap-676 51 40 bars bar NOUN ap-676 51 41 , , PUNCT ap-676 51 42 … … PUNCT ap-676 51 43 ) ) PUNCT ap-676 51 44 . . PUNCT ap-676 52 1 arcs arcs PROPN ap-676 52 2 connect connect VERB ap-676 52 3 each each DET ap-676 52 4 t t NOUN ap-676 52 5 - - PUNCT ap-676 52 6 element element NOUN ap-676 52 7 with with ADP ap-676 52 8 its its PRON ap-676 52 9 locality locality NOUN ap-676 52 10 , , PUNCT ap-676 52 11 which which PRON ap-676 52 12 is be AUX ap-676 52 13 a a DET ap-676 52 14 set set NOUN ap-676 52 15 of of ADP ap-676 52 16 p p NOUN ap-676 52 17 - - PUNCT ap-676 52 18 elements element NOUN ap-676 52 19 . . PUNCT ap-676 53 1 additionally additionally ADV ap-676 53 2 , , PUNCT ap-676 53 3 there there PRON ap-676 53 4 may may AUX ap-676 53 5 be be AUX ap-676 53 6 inscriptions inscription NOUN ap-676 53 7 such such ADJ ap-676 53 8 as as ADP ap-676 53 9 names name NOUN ap-676 53 10 , , PUNCT ap-676 53 11 tokens token NOUN ap-676 53 12 , , PUNCT ap-676 53 13 expressions expression NOUN ap-676 53 14 , , PUNCT ap-676 53 15 guards guard NOUN ap-676 53 16 . . PUNCT ap-676 54 1 � � PROPN ap-676 54 2 the the DET ap-676 54 3 principle principle NOUN ap-676 54 4 of of ADP ap-676 54 5 algebraic algebraic ADJ ap-676 54 6 representation representation NOUN ap-676 54 7 for for ADP ap-676 54 8 petri petri ADJ ap-676 54 9 nets net NOUN ap-676 54 10 : : PUNCT ap-676 54 11 for for ADP ap-676 54 12 each each DET ap-676 54 13 graphical graphical ADJ ap-676 54 14 representation representation NOUN ap-676 54 15 there there PRON ap-676 54 16 is be VERB ap-676 54 17 an an DET ap-676 54 18 algebraic algebraic ADJ ap-676 54 19 representation representation NOUN ap-676 54 20 containing contain VERB ap-676 54 21 equivalent equivalent ADJ ap-676 54 22 information information NOUN ap-676 54 23 . . PUNCT ap-676 55 1 it it PRON ap-676 55 2 contains contain VERB ap-676 55 3 the the DET ap-676 55 4 set set NOUN ap-676 55 5 of of ADP ap-676 55 6 places place NOUN ap-676 55 7 , , PUNCT ap-676 55 8 transitions transition NOUN ap-676 55 9 and and CCONJ ap-676 55 10 arcs arc NOUN ap-676 55 11 , , PUNCT ap-676 55 12 and and CCONJ ap-676 55 13 additional additional ADJ ap-676 55 14 information information NOUN ap-676 55 15 such such ADJ ap-676 55 16 as as ADP ap-676 55 17 inscriptions inscription NOUN ap-676 55 18 . . PUNCT ap-676 56 1 in in ADP ap-676 56 2 contrast contrast NOUN ap-676 56 3 to to ADP ap-676 56 4 concurrency concurrency NOUN ap-676 56 5 , , PUNCT ap-676 56 6 there there PRON ap-676 56 7 is be VERB ap-676 56 8 the the DET ap-676 56 9 notion notion NOUN ap-676 56 10 of of ADP ap-676 56 11 conflict conflict NOUN ap-676 56 12 . . PUNCT ap-676 57 1 some some DET ap-676 57 2 transitions transition NOUN ap-676 57 3 can can AUX ap-676 57 4 fire fire VERB ap-676 57 5 independently independently ADV ap-676 57 6 ( ( PUNCT ap-676 57 7 e.g. e.g. ADV ap-676 57 8 t4 t4 PROPN ap-676 57 9 and and CCONJ ap-676 57 10 t6 t6 PROPN ap-676 57 11 in in ADP ap-676 57 12 fig fig NOUN ap-676 57 13 . . PUNCT ap-676 58 1 2 2 NUM ap-676 58 2 , , PUNCT ap-676 58 3 only only ADV ap-676 58 4 tokens token NOUN ap-676 58 5 must must AUX ap-676 58 6 be be AUX ap-676 58 7 inside inside ADP ap-676 58 8 the the DET ap-676 58 9 input input NOUN ap-676 58 10 places place NOUN ap-676 58 11 ) ) PUNCT ap-676 58 12 , , PUNCT ap-676 58 13 but but CCONJ ap-676 58 14 there there PRON ap-676 58 15 can can AUX ap-676 58 16 be be AUX ap-676 58 17 petri petri ADJ ap-676 58 18 nets net NOUN ap-676 58 19 that that PRON ap-676 58 20 model model VERB ap-676 58 21 mutual mutual ADJ ap-676 58 22 exclusion exclusion NOUN ap-676 58 23 , , PUNCT ap-676 58 24 see see VERB ap-676 58 25 fig fig NOUN ap-676 58 26 . . PUNCT ap-676 59 1 3 3 X ap-676 59 2 . . X ap-676 59 3 concurrent concurrent ADJ ap-676 59 4 transitions transition NOUN ap-676 59 5 behave behave VERB ap-676 59 6 independently independently ADV ap-676 59 7 and and CCONJ ap-676 59 8 should should AUX ap-676 59 9 not not PART ap-676 59 10 have have VERB ap-676 59 11 any any DET ap-676 59 12 impact impact NOUN ap-676 59 13 on on ADP ap-676 59 14 each each DET ap-676 59 15 other other ADJ ap-676 59 16 . . PUNCT ap-676 60 1 sometimes sometimes ADV ap-676 60 2 this this PRON ap-676 60 3 can can AUX ap-676 60 4 depend depend VERB ap-676 60 5 on on ADP ap-676 60 6 the the DET ap-676 60 7 state state NOUN ap-676 60 8 of of ADP ap-676 60 9 the the DET ap-676 60 10 net net NOUN ap-676 60 11 – – PUNCT ap-676 60 12 these these DET ap-676 60 13 transitions transition NOUN ap-676 60 14 can can AUX ap-676 60 15 behave behave VERB ap-676 60 16 independently independently ADV ap-676 60 17 . . PUNCT ap-676 61 1 situations situation NOUN ap-676 61 2 that that PRON ap-676 61 3 show show VERB ap-676 61 4 the the DET ap-676 61 5 sophisticated sophisticated ADJ ap-676 61 6 interaction interaction NOUN ap-676 61 7 of of ADP ap-676 61 8 concurrency concurrency NOUN ap-676 61 9 and and CCONJ ap-676 61 10 conflicts conflict NOUN ap-676 61 11 are be AUX ap-676 61 12 called call VERB ap-676 61 13 confu confu ADJ ap-676 61 14 © © PROPN ap-676 61 15 czech czech PROPN ap-676 61 16 technical technical PROPN ap-676 61 17 university university PROPN ap-676 61 18 publishing publishing NOUN ap-676 61 19 house house NOUN ap-676 61 20 http://ctn.cvut.cz/ap/ http://ctn.cvut.cz/ap/ PROPN ap-676 61 21 7 7 NUM ap-676 61 22 czech czech PROPN ap-676 61 23 technical technical PROPN ap-676 61 24 university university PROPN ap-676 61 25 in in ADP ap-676 61 26 prague prague PROPN ap-676 61 27 acta acta PROPN ap-676 61 28 polytechnica polytechnica PROPN ap-676 61 29 vol vol NOUN ap-676 61 30 . . PROPN ap-676 62 1 45 45 NUM ap-676 62 2 no no NOUN ap-676 62 3 . . PUNCT ap-676 63 1 2/2005 2/2005 NUM ap-676 63 2 fig fig NOUN ap-676 63 3 . . PUNCT ap-676 64 1 3 3 X ap-676 64 2 . . NUM ap-676 64 3 : : PUNCT ap-676 65 1 initial initial ADJ ap-676 65 2 state state NOUN ap-676 65 3 of of ADP ap-676 65 4 the the DET ap-676 65 5 petri petri ADJ ap-676 65 6 net net NOUN ap-676 65 7 from from ADP ap-676 65 8 fig fig NOUN ap-676 65 9 . . PUNCT ap-676 66 1 2 2 NUM ap-676 66 2 a a DET ap-676 66 3 ) ) PUNCT ap-676 66 4 b b NOUN ap-676 66 5 ) ) PUNCT ap-676 66 6 fig fig NOUN ap-676 66 7 . . PUNCT ap-676 67 1 4 4 NUM ap-676 67 2 : : PUNCT ap-676 67 3 concurrency concurrency NOUN ap-676 67 4 of of ADP ap-676 67 5 t3 t3 PROPN ap-676 67 6 and and CCONJ ap-676 67 7 t5 t5 PROPN ap-676 67 8 transitions transition NOUN ap-676 67 9 a a PRON ap-676 67 10 ) ) PUNCT ap-676 67 11 after after SCONJ ap-676 67 12 t1 t1 NOUN ap-676 67 13 firing fire VERB ap-676 67 14 both both CCONJ ap-676 67 15 t3 t3 PROPN ap-676 67 16 and and CCONJ ap-676 67 17 t5 t5 PROPN ap-676 67 18 are be AUX ap-676 67 19 enabled enable VERB ap-676 67 20 , , PUNCT ap-676 67 21 b b X ap-676 67 22 ) ) PUNCT ap-676 67 23 after after SCONJ ap-676 67 24 t3 t3 PROPN ap-676 67 25 firing fire VERB ap-676 67 26 t5 t5 PROPN ap-676 67 27 still still ADV ap-676 67 28 remains remain VERB ap-676 67 29 enabled enable VERB ap-676 67 30 sions sion NOUN ap-676 68 1 [ [ X ap-676 68 2 9 9 NUM ap-676 68 3 ] ] PUNCT ap-676 68 4 , , PUNCT ap-676 68 5 [ [ X ap-676 68 6 10 10 NUM ap-676 68 7 ] ] PUNCT ap-676 68 8 . . PUNCT ap-676 69 1 building build VERB ap-676 69 2 hierarchies hierarchy NOUN ap-676 69 3 by by ADP ap-676 69 4 abstraction abstraction NOUN ap-676 69 5 or or CCONJ ap-676 69 6 refinement refinement NOUN ap-676 69 7 is be AUX ap-676 69 8 an an DET ap-676 69 9 important important ADJ ap-676 69 10 technique technique NOUN ap-676 69 11 in in ADP ap-676 69 12 system system NOUN ap-676 69 13 design design NOUN ap-676 69 14 . . PUNCT ap-676 70 1 pn pn PROPN ap-676 70 2 supports support VERB ap-676 70 3 such such ADJ ap-676 70 4 approaches approach NOUN ap-676 70 5 by by ADP ap-676 70 6 abstraction abstraction NOUN ap-676 70 7 techniques technique NOUN ap-676 70 8 that that PRON ap-676 70 9 are be AUX ap-676 70 10 inherently inherently ADV ap-676 70 11 compatible compatible ADJ ap-676 70 12 with with ADP ap-676 70 13 the the DET ap-676 70 14 structure structure NOUN ap-676 70 15 of of ADP ap-676 70 16 the the DET ap-676 70 17 model model NOUN ap-676 70 18 , , PUNCT ap-676 70 19 [ [ X ap-676 70 20 9 9 NUM ap-676 70 21 ] ] PUNCT ap-676 70 22 . . PUNCT ap-676 71 1 definition definition NOUN ap-676 71 2 1 1 NUM ap-676 71 3 : : PUNCT ap-676 71 4 a a DET ap-676 71 5 net net NOUN ap-676 71 6 is be AUX ap-676 71 7 a a DET ap-676 71 8 triple triple ADJ ap-676 71 9 n n NOUN ap-676 71 10 = = SYM ap-676 71 11 ( ( PUNCT ap-676 71 12 p p X ap-676 71 13 , , PUNCT ap-676 71 14 t t PROPN ap-676 71 15 , , PUNCT ap-676 71 16 f f NOUN ap-676 71 17 ) ) PUNCT ap-676 71 18 where where SCONJ ap-676 71 19 � � PROPN ap-676 71 20 p p PROPN ap-676 71 21 is be AUX ap-676 71 22 a a DET ap-676 71 23 set set NOUN ap-676 71 24 of of ADP ap-676 71 25 places place NOUN ap-676 71 26 � � PROPN ap-676 71 27 t t PROPN ap-676 71 28 is be AUX ap-676 71 29 a a DET ap-676 71 30 set set NOUN ap-676 71 31 of of ADP ap-676 71 32 transitions transition NOUN ap-676 71 33 , , PUNCT ap-676 71 34 disjoint disjoint VERB ap-676 71 35 from from ADP ap-676 71 36 p p PRON ap-676 71 37 , , PUNCT ap-676 71 38 and and CCONJ ap-676 71 39 � � PROPN ap-676 71 40 f f PROPN ap-676 71 41 is be AUX ap-676 71 42 a a DET ap-676 71 43 flow flow NOUN ap-676 71 44 relation relation NOUN ap-676 72 1 f f PROPN ap-676 72 2 p p PROPN ap-676 72 3 t t PROPN ap-676 72 4 t t PROPN ap-676 72 5 p p X ap-676 72 6 � � PROPN ap-676 72 7 � � PROPN ap-676 72 8 � � PROPN ap-676 72 9 ( ( PUNCT ap-676 72 10 ) ) PUNCT ap-676 72 11 ( ( PUNCT ap-676 72 12 ) ) PUNCT ap-676 72 13 � � PROPN ap-676 72 14 for for ADP ap-676 72 15 the the DET ap-676 72 16 set set NOUN ap-676 72 17 of of ADP ap-676 72 18 arcs arc NOUN ap-676 72 19 . . PUNCT ap-676 73 1 if if SCONJ ap-676 73 2 p p PROPN ap-676 73 3 and and CCONJ ap-676 73 4 t t PROPN ap-676 73 5 are be AUX ap-676 73 6 finite finite ADJ ap-676 73 7 , , PUNCT ap-676 73 8 the the DET ap-676 73 9 net net NOUN ap-676 73 10 is be AUX ap-676 73 11 said say VERB ap-676 73 12 to to PART ap-676 73 13 be be AUX ap-676 73 14 finite finite VERB ap-676 73 15 . . PUNCT ap-676 74 1 the the DET ap-676 74 2 state state NOUN ap-676 74 3 of of ADP ap-676 74 4 the the DET ap-676 74 5 net net NOUN ap-676 74 6 is be AUX ap-676 74 7 represented represent VERB ap-676 74 8 by by ADP ap-676 74 9 tokens token NOUN ap-676 74 10 in in ADP ap-676 74 11 places place NOUN ap-676 74 12 . . PUNCT ap-676 75 1 the the DET ap-676 75 2 tokens tokens PROPN ap-676 75 3 distributions distribution VERB ap-676 75 4 in in ADP ap-676 75 5 places place NOUN ap-676 75 6 are be AUX ap-676 75 7 called call VERB ap-676 75 8 markings marking NOUN ap-676 75 9 . . PUNCT ap-676 76 1 the the DET ap-676 76 2 holding holding NOUN ap-676 76 3 of of ADP ap-676 76 4 a a DET ap-676 76 5 condition condition NOUN ap-676 76 6 ( ( PUNCT ap-676 76 7 which which PRON ap-676 76 8 is be AUX ap-676 76 9 represented represent VERB ap-676 76 10 by by ADP ap-676 76 11 a a DET ap-676 76 12 place place NOUN ap-676 76 13 ) ) PUNCT ap-676 76 14 is be AUX ap-676 76 15 represented represent VERB ap-676 76 16 by by ADP ap-676 76 17 a a DET ap-676 76 18 token token NOUN ap-676 76 19 in in ADP ap-676 76 20 the the DET ap-676 76 21 corresponding corresponding ADJ ap-676 76 22 place place NOUN ap-676 76 23 . . PUNCT ap-676 77 1 in in ADP ap-676 77 2 our our PRON ap-676 77 3 example example NOUN ap-676 77 4 , , PUNCT ap-676 77 5 in in ADP ap-676 77 6 the the DET ap-676 77 7 initial initial ADJ ap-676 77 8 state state NOUN ap-676 77 9 control control NOUN ap-676 77 10 system system NOUN ap-676 77 11 c c NOUN ap-676 77 12 is be AUX ap-676 77 13 prepared prepared ADJ ap-676 77 14 to to PART ap-676 77 15 send send VERB ap-676 77 16 data datum NOUN ap-676 77 17 ( ( PUNCT ap-676 77 18 a a DET ap-676 77 19 token token VERB ap-676 77 20 in in ADP ap-676 77 21 place place NOUN ap-676 77 22 p1 p1 PROPN ap-676 77 23 ) ) PUNCT ap-676 77 24 , , PUNCT ap-676 77 25 printers printer VERB ap-676 77 26 a a PRON ap-676 77 27 and and CCONJ ap-676 77 28 b b NOUN ap-676 77 29 are be AUX ap-676 77 30 ready ready ADJ ap-676 77 31 to to PART ap-676 77 32 print print VERB ap-676 77 33 ( ( PUNCT ap-676 77 34 token token VERB ap-676 77 35 s s X ap-676 77 36 in in ADP ap-676 77 37 places place NOUN ap-676 77 38 p4 p4 ADJ ap-676 77 39 and and CCONJ ap-676 77 40 p9 p9 PROPN ap-676 77 41 ) ) PUNCT ap-676 77 42 , , PUNCT ap-676 77 43 see see VERB ap-676 77 44 fig fig NOUN ap-676 77 45 . . PUNCT ap-676 78 1 3 3 X ap-676 78 2 . . X ap-676 78 3 a a DET ap-676 78 4 state state NOUN ap-676 78 5 change change NOUN ap-676 78 6 or or CCONJ ap-676 78 7 marking mark VERB ap-676 78 8 change change NOUN ap-676 78 9 can can AUX ap-676 78 10 be be AUX ap-676 78 11 performed perform VERB ap-676 78 12 by by ADP ap-676 78 13 firing fire VERB ap-676 78 14 a a DET ap-676 78 15 transition transition NOUN ap-676 78 16 . . PUNCT ap-676 79 1 a a DET ap-676 79 2 transition transition NOUN ap-676 79 3 “ " PUNCT ap-676 79 4 may may AUX ap-676 79 5 occur occur VERB ap-676 79 6 ” " PUNCT ap-676 79 7 or or CCONJ ap-676 79 8 “ " PUNCT ap-676 79 9 is be AUX ap-676 79 10 activated activate VERB ap-676 79 11 ” " PUNCT ap-676 79 12 or or CCONJ ap-676 79 13 “ " PUNCT ap-676 79 14 is be AUX ap-676 79 15 enabled enable VERB ap-676 79 16 ” " PUNCT ap-676 79 17 or or CCONJ ap-676 79 18 “ " PUNCT ap-676 79 19 can can AUX ap-676 79 20 fire fire VERB ap-676 79 21 ” " PUNCT ap-676 79 22 if if SCONJ ap-676 79 23 all all PRON ap-676 79 24 its its PRON ap-676 79 25 input input NOUN ap-676 79 26 places place NOUN ap-676 79 27 are be AUX ap-676 79 28 marked mark VERB ap-676 79 29 by by ADP ap-676 79 30 a a DET ap-676 79 31 token token NOUN ap-676 79 32 . . PUNCT ap-676 80 1 transition transition NOUN ap-676 80 2 firing firing NOUN ap-676 80 3 ( ( PUNCT ap-676 80 4 the the DET ap-676 80 5 occurrence occurrence NOUN ap-676 80 6 of of ADP ap-676 80 7 a a DET ap-676 80 8 transition transition NOUN ap-676 80 9 ) ) PUNCT ap-676 80 10 means mean VERB ap-676 80 11 that that SCONJ ap-676 80 12 all all DET ap-676 80 13 tokens token NOUN ap-676 80 14 are be AUX ap-676 80 15 removed remove VERB ap-676 80 16 from from ADP ap-676 80 17 the the DET ap-676 80 18 input input NOUN ap-676 80 19 places place NOUN ap-676 80 20 and and CCONJ ap-676 80 21 are be AUX ap-676 80 22 added add VERB ap-676 80 23 to to ADP ap-676 80 24 the the DET ap-676 80 25 output output NOUN ap-676 80 26 places place NOUN ap-676 80 27 . . PUNCT ap-676 81 1 the the DET ap-676 81 2 transitions transition NOUN ap-676 81 3 can can AUX ap-676 81 4 fire fire VERB ap-676 81 5 concurrently concurrently ADV ap-676 81 6 ( ( PUNCT ap-676 81 7 simultaneously simultaneously ADV ap-676 81 8 – – PUNCT ap-676 81 9 independently independently ADV ap-676 81 10 , , PUNCT ap-676 81 11 e.g. e.g. ADV ap-676 81 12 t3 t3 PROPN ap-676 81 13 and and CCONJ ap-676 81 14 t5 t5 PROPN ap-676 81 15 in in ADP ap-676 81 16 fig fig NOUN ap-676 81 17 . . PUNCT ap-676 82 1 4 4 NUM ap-676 82 2 , , PUNCT ap-676 82 3 or or CCONJ ap-676 82 4 in in ADP ap-676 82 5 conflict conflict NOUN ap-676 82 6 , , PUNCT ap-676 82 7 see see VERB ap-676 82 8 fig fig NOUN ap-676 82 9 . . PUNCT ap-676 83 1 5 5 NUM ap-676 83 2 ) ) PUNCT ap-676 83 3 . . PUNCT ap-676 84 1 the the DET ap-676 84 2 arc arc NOUN ap-676 84 3 in in ADP ap-676 84 4 the the DET ap-676 84 5 sense sense NOUN ap-676 84 6 of of ADP ap-676 84 7 definition definition NOUN ap-676 84 8 1 1 NUM ap-676 84 9 can can AUX ap-676 84 10 be be AUX ap-676 84 11 only only ADV ap-676 84 12 simple simple ADJ ap-676 84 13 – – PUNCT ap-676 84 14 only only ADV ap-676 84 15 one one NUM ap-676 84 16 token token VERB ap-676 84 17 can can AUX ap-676 84 18 be be AUX ap-676 84 19 transmitted transmit VERB ap-676 84 20 ( ( PUNCT ap-676 84 21 removed remove VERB ap-676 84 22 or or CCONJ ap-676 84 23 added add VERB ap-676 84 24 ) ) PUNCT ap-676 84 25 from from ADP ap-676 84 26 or or CCONJ ap-676 84 27 to to ADP ap-676 84 28 places place NOUN ap-676 84 29 by by ADP ap-676 84 30 transition transition NOUN ap-676 84 31 firings firing NOUN ap-676 84 32 . . PUNCT ap-676 85 1 place place NOUN ap-676 85 2 / / SYM ap-676 85 3 transition transition NOUN ap-676 85 4 nets net NOUN ap-676 85 5 are be AUX ap-676 85 6 nets net NOUN ap-676 85 7 in in ADP ap-676 85 8 the the DET ap-676 85 9 sense sense NOUN ap-676 85 10 of of ADP ap-676 85 11 definition definition NOUN ap-676 85 12 1 1 NUM ap-676 85 13 , , PUNCT ap-676 85 14 together together ADV ap-676 85 15 with with ADP ap-676 85 16 a a DET ap-676 85 17 definition definition NOUN ap-676 85 18 of of ADP ap-676 85 19 arc arc NOUN ap-676 85 20 weights weight NOUN ap-676 85 21 . . PUNCT ap-676 86 1 this this PRON ap-676 86 2 can can AUX ap-676 86 3 be be AUX ap-676 86 4 seen see VERB ap-676 86 5 as as ADP ap-676 86 6 an an DET ap-676 86 7 abstraction abstraction NOUN ap-676 86 8 obtained obtain VERB ap-676 86 9 from from ADP ap-676 86 10 more more ADV ap-676 86 11 powerful powerful ADJ ap-676 86 12 coloured coloured ADJ ap-676 86 13 petri petri ADJ ap-676 86 14 nets net NOUN ap-676 86 15 by by ADP ap-676 86 16 removing remove VERB ap-676 86 17 the the DET ap-676 86 18 individuality individuality NOUN ap-676 86 19 of of ADP ap-676 86 20 the the DET ap-676 86 21 tokens token NOUN ap-676 86 22 , , PUNCT ap-676 86 23 see see VERB ap-676 86 24 below below ADV ap-676 86 25 . . PUNCT ap-676 87 1 the the DET ap-676 87 2 example example NOUN ap-676 87 3 derived derive VERB ap-676 87 4 from from ADP ap-676 87 5 the the DET ap-676 87 6 petri petri ADJ ap-676 87 7 net net NOUN ap-676 87 8 from from ADP ap-676 87 9 fig fig NOUN ap-676 87 10 . . PUNCT ap-676 87 11 2 2 NUM ap-676 87 12 is be AUX ap-676 87 13 shown show VERB ap-676 87 14 in in ADP ap-676 87 15 fig fig NOUN ap-676 87 16 . . PUNCT ap-676 88 1 6 6 NUM ap-676 88 2 . . X ap-676 88 3 here here ADV ap-676 88 4 more more ADV ap-676 88 5 ( ( PUNCT ap-676 88 6 two two NUM ap-676 88 7 ) ) PUNCT ap-676 88 8 printers printer NOUN ap-676 88 9 are be AUX ap-676 88 10 expressed express VERB ap-676 88 11 only only ADV ap-676 88 12 by by ADP ap-676 88 13 two two NUM ap-676 88 14 tokens token NOUN ap-676 88 15 in in ADP ap-676 88 16 one one NUM ap-676 88 17 place place NOUN ap-676 88 18 p4 p4 ADJ ap-676 88 19 . . PUNCT ap-676 89 1 the the DET ap-676 89 2 condition condition NOUN ap-676 89 3 “ " PUNCT ap-676 89 4 all all DET ap-676 89 5 printers printer NOUN ap-676 89 6 are be AUX ap-676 89 7 ready ready ADJ ap-676 89 8 ” " PUNCT ap-676 89 9 expressed express VERB ap-676 89 10 by by ADP ap-676 89 11 two two NUM ap-676 89 12 tokens token NOUN ap-676 89 13 in in ADP ap-676 89 14 place place NOUN ap-676 89 15 p4 p4 ADJ ap-676 89 16 and and CCONJ ap-676 89 17 fulfilled fulfil VERB ap-676 89 18 by by ADP ap-676 89 19 multiply multiply NOUN ap-676 89 20 edge edge NOUN ap-676 89 21 from from ADP ap-676 89 22 place place NOUN ap-676 89 23 p4 p4 ADJ ap-676 89 24 to to ADP ap-676 89 25 transition transition NOUN ap-676 89 26 t3 t3 PROPN ap-676 89 27 . . PUNCT ap-676 90 1 definition definition NOUN ap-676 90 2 2 2 NUM ap-676 90 3 : : PUNCT ap-676 90 4 a a DET ap-676 90 5 place place NOUN ap-676 90 6 / / SYM ap-676 90 7 transition transition NOUN ap-676 90 8 net net NOUN ap-676 90 9 ( ( PUNCT ap-676 90 10 p p NOUN ap-676 90 11 / / SYM ap-676 90 12 t t PROPN ap-676 90 13 net net NOUN ap-676 90 14 ) ) PUNCT ap-676 90 15 is be AUX ap-676 90 16 defined define VERB ap-676 90 17 as as ADP ap-676 90 18 a a DET ap-676 90 19 tuple tuple NOUN ap-676 90 20 n n CCONJ ap-676 90 21 p p NOUN ap-676 90 22 tpt tpt NOUN ap-676 90 23 � � PROPN ap-676 90 24 � � PROPN ap-676 90 25 � � PROPN ap-676 90 26 , , PUNCT ap-676 90 27 , , PUNCT ap-676 90 28 , , PUNCT ap-676 90 29 pre pre X ap-676 90 30 post post VERB ap-676 90 31 where where SCONJ ap-676 90 32 � � PROPN ap-676 90 33 p p PROPN ap-676 90 34 is be AUX ap-676 90 35 a a DET ap-676 90 36 finite finite ADJ ap-676 90 37 set set NOUN ap-676 90 38 ( ( PUNCT ap-676 90 39 the the DET ap-676 90 40 set set NOUN ap-676 90 41 of of ADP ap-676 90 42 places place NOUN ap-676 90 43 of of ADP ap-676 90 44 npt npt PROPN ap-676 90 45 ) ) PUNCT ap-676 90 46 , , PUNCT ap-676 90 47 � � PROPN ap-676 90 48 t t PROPN ap-676 90 49 is be AUX ap-676 90 50 a a DET ap-676 90 51 finite finite ADJ ap-676 90 52 set set NOUN ap-676 90 53 ( ( PUNCT ap-676 90 54 the the DET ap-676 90 55 set set NOUN ap-676 90 56 of of ADP ap-676 90 57 transitions transition NOUN ap-676 90 58 of of ADP ap-676 90 59 npt npt PROPN ap-676 90 60 ) ) PUNCT ap-676 90 61 , , PUNCT ap-676 90 62 disjoint disjoint VERB ap-676 90 63 from from ADP ap-676 90 64 p p PRON ap-676 90 65 , , PUNCT ap-676 90 66 and and CCONJ ap-676 90 67 � � PROPN ap-676 90 68 pre pre PROPN ap-676 90 69 , , PUNCT ap-676 90 70 post post VERB ap-676 90 71 � � PROPN ap-676 90 72 n n PRON ap-676 90 73 |p|×|t| |p|×|t| NOUN ap-676 90 74 are be AUX ap-676 90 75 matrices matrix NOUN ap-676 90 76 ( ( PUNCT ap-676 90 77 the the DET ap-676 90 78 backward backward ADJ ap-676 90 79 and and CCONJ ap-676 90 80 forward forward ADJ ap-676 90 81 incidence incidence NOUN ap-676 90 82 matrices matrix NOUN ap-676 90 83 of of ADP ap-676 90 84 npt npt PROPN ap-676 90 85 ) ) PUNCT ap-676 90 86 . . PUNCT ap-676 91 1 c c PROPN ap-676 91 2 � � PROPN ap-676 91 3 pre pre ADJ ap-676 91 4 � � PROPN ap-676 91 5 post post NOUN ap-676 91 6 is be AUX ap-676 91 7 called call VERB ap-676 91 8 the the DET ap-676 91 9 incidence incidence ADJ ap-676 91 10 matrix matrix NOUN ap-676 91 11 of of ADP ap-676 91 12 npt npt PROPN ap-676 91 13 . . PUNCT ap-676 92 1 the the DET ap-676 92 2 set set NOUN ap-676 92 3 of of ADP ap-676 92 4 these these DET ap-676 92 5 arcs arcs NOUN ap-676 92 6 is be AUX ap-676 92 7 f f PROPN ap-676 92 8 p p PROPN ap-676 92 9 t t PROPN ap-676 92 10 p p X ap-676 92 11 t t PROPN ap-676 92 12 p p PROPN ap-676 92 13 t t PROPN ap-676 92 14 t t PROPN ap-676 92 15 p p X ap-676 92 16 t t PROPN ap-676 92 17 p p PROPN ap-676 92 18 p p PROPN ap-676 92 19 t t PROPN ap-676 92 20 : : PUNCT ap-676 92 21 ( ( PUNCT ap-676 92 22 , , PUNCT ap-676 92 23 ) ) PUNCT ap-676 92 24 [ [ PUNCT ap-676 92 25 , , PUNCT ap-676 92 26 ] ] X ap-676 92 27 ( ( PUNCT ap-676 92 28 , , PUNCT ap-676 92 29 ) ) PUNCT ap-676 92 30 [ [ PUNCT ap-676 92 31 , , PUNCT ap-676 92 32 ] ] PUNCT ap-676 92 33 . . PUNCT ap-676 93 1 � � PROPN ap-676 93 2 � � PROPN ap-676 93 3 � � PROPN ap-676 93 4 � � PROPN ap-676 93 5 � � PROPN ap-676 93 6 � � PROPN ap-676 93 7 � � PROPN ap-676 93 8 pre pre PROPN ap-676 93 9 post0 post0 PROPN ap-676 93 10 0 0 NUM ap-676 93 11 � � PROPN ap-676 93 12 this this DET ap-676 93 13 interpretation interpretation NOUN ap-676 93 14 leads lead VERB ap-676 93 15 to to ADP ap-676 93 16 the the DET ap-676 93 17 alternative alternative ADJ ap-676 93 18 definition definition NOUN ap-676 93 19 , , PUNCT ap-676 93 20 which which PRON ap-676 93 21 is be AUX ap-676 93 22 closer close ADJ ap-676 93 23 to to ADP ap-676 93 24 the the DET ap-676 93 25 graphical graphical ADJ ap-676 93 26 representation representation NOUN ap-676 93 27 . . PUNCT ap-676 94 1 definition definition NOUN ap-676 94 2 3 3 NUM ap-676 94 3 : : PUNCT ap-676 94 4 a a DET ap-676 94 5 place place NOUN ap-676 94 6 / / SYM ap-676 94 7 transition transition NOUN ap-676 94 8 net net NOUN ap-676 94 9 ( ( PUNCT ap-676 94 10 p p NOUN ap-676 94 11 / / SYM ap-676 94 12 t t PROPN ap-676 94 13 net net NOUN ap-676 94 14 ) ) PUNCT ap-676 94 15 is be AUX ap-676 94 16 defined define VERB ap-676 94 17 as as ADP ap-676 94 18 a a DET ap-676 94 19 tuple tuple NOUN ap-676 94 20 npt=

> X ap-676 94 28 , , PUNCT ap-676 94 29 where where SCONJ ap-676 94 30 � � PROPN ap-676 94 31 ( ( PUNCT ap-676 94 32 p p PROPN ap-676 94 33 , , PUNCT ap-676 94 34 t t PROPN ap-676 94 35 , , PUNCT ap-676 94 36 f f X ap-676 94 37 ) ) PUNCT ap-676 94 38 is be AUX ap-676 94 39 a a DET ap-676 94 40 net net NOUN ap-676 94 41 ( ( PUNCT ap-676 94 42 see see VERB ap-676 94 43 definition definition NOUN ap-676 94 44 5.1 5.1 NUM ap-676 94 45 ) ) PUNCT ap-676 94 46 with with ADP ap-676 94 47 finite finite ADJ ap-676 94 48 sets set NOUN ap-676 94 49 p p NOUN ap-676 94 50 and and CCONJ ap-676 94 51 t t PROPN ap-676 94 52 , , PUNCT ap-676 94 53 and and CCONJ ap-676 94 54 � � PROPN ap-676 94 55 w w PROPN ap-676 94 56 : : PUNCT ap-676 94 57 f f PROPN ap-676 94 58 � � PROPN ap-676 94 59 n n CCONJ ap-676 94 60 \ \ NOUN ap-676 94 61 { { PUNCT ap-676 94 62 0 0 NUM ap-676 94 63 } } PUNCT ap-676 94 64 is be AUX ap-676 94 65 a a DET ap-676 94 66 function function NOUN ap-676 94 67 ( ( PUNCT ap-676 94 68 weight weight NOUN ap-676 94 69 function function NOUN ap-676 94 70 ) ) PUNCT ap-676 94 71 . . PUNCT ap-676 95 1 npt npt PROPN ap-676 95 2 together together ADV ap-676 95 3 with with ADP ap-676 95 4 an an DET ap-676 95 5 initial initial ADJ ap-676 95 6 marking marking NOUN ap-676 95 7 ( ( PUNCT ap-676 95 8 m0 m0 NOUN ap-676 95 9 ) ) PUNCT ap-676 95 10 is be AUX ap-676 95 11 called call VERB ap-676 95 12 a a DET ap-676 95 13 p p PROPN ap-676 95 14 / / SYM ap-676 95 15 t t NOUN ap-676 95 16 net net ADJ ap-676 95 17 system system NOUN ap-676 95 18 s s PART ap-676 95 19 � � PROPN ap-676 95 20 < < X ap-676 95 21 npt npt PROPN ap-676 95 22 , , PUNCT ap-676 95 23 m0 m0 PROPN ap-676 95 24 > > X ap-676 95 25 or or CCONJ ap-676 95 26 s s PROPN ap-676 95 27 � � PROPN ap-676 95 28 < < X ap-676 95 29 p p PROPN ap-676 95 30 , , PUNCT ap-676 95 31 t t PROPN ap-676 95 32 , , PUNCT ap-676 95 33 f f PROPN ap-676 95 34 , , PUNCT ap-676 95 35 w w PROPN ap-676 95 36 , , PUNCT ap-676 95 37 m0 m0 PROPN ap-676 95 38 > > X ap-676 95 39 . . PUNCT ap-676 96 1 for for ADP ap-676 96 2 a a DET ap-676 96 3 net net ADJ ap-676 96 4 system system NOUN ap-676 96 5 s s PART ap-676 96 6 � � PROPN ap-676 96 7 < < X ap-676 96 8 npt npt PROPN ap-676 96 9 , , PUNCT ap-676 96 10 m0 m0 PROPN ap-676 96 11 > > X ap-676 96 12 the the DET ap-676 96 13 set set NOUN ap-676 96 14 rs rs NOUN ap-676 96 15 s s NOUN ap-676 96 16 m m PROPN ap-676 96 17 w w PROPN ap-676 96 18 t t PROPN ap-676 96 19 m m VERB ap-676 96 20 mw mw X ap-676 96 21 ( ( PUNCT ap-676 96 22 ): ): PUNCT ap-676 96 23 , , PUNCT ap-676 96 24 * * PROPN ap-676 96 25 � � PROPN ap-676 96 26 � � PROPN ap-676 96 27 � � PROPN ap-676 96 28 � � PROPN ap-676 96 29 0 0 NUM ap-676 96 30 , , PUNCT ap-676 96 31 where where SCONJ ap-676 96 32 t t PROPN ap-676 96 33 * * PROPN ap-676 96 34 is be AUX ap-676 96 35 the the DET ap-676 96 36 sequence sequence NOUN ap-676 96 37 of of ADP ap-676 96 38 transitions transition NOUN ap-676 96 39 and and CCONJ ap-676 96 40 w w PROPN ap-676 96 41 � � PROPN ap-676 96 42 t t PROPN ap-676 96 43 * * PROPN ap-676 96 44 and and CCONJ ap-676 96 45 t t PROPN ap-676 96 46 � � PROPN ap-676 96 47 t t PROPN ap-676 96 48 , , PUNCT ap-676 96 49 is be AUX ap-676 96 50 the the DET ap-676 96 51 reachability reachability NOUN ap-676 96 52 set set VERB ap-676 96 53 . . PUNCT ap-676 97 1 fs fs ADP ap-676 97 2 s s PROPN ap-676 97 3 w w PROPN ap-676 97 4 t t PROPN ap-676 97 5 m m VERB ap-676 97 6 m m VERB ap-676 97 7 mw mw X ap-676 97 8 ( ( PUNCT ap-676 97 9 ): ): PUNCT ap-676 97 10 , , PUNCT ap-676 97 11 * * PROPN ap-676 97 12 � � PROPN ap-676 97 13 � � PROPN ap-676 97 14 � � PROPN ap-676 97 15 � � PROPN ap-676 97 16 0 0 NUM ap-676 97 17 is be AUX ap-676 97 18 a a DET ap-676 97 19 set set NOUN ap-676 97 20 of of ADP ap-676 97 21 occurrence occurrence NOUN ap-676 97 22 - - PUNCT ap-676 97 23 transition transition NOUN ap-676 97 24 sequences sequence NOUN ap-676 97 25 ( ( PUNCT ap-676 97 26 or or CCONJ ap-676 97 27 a a DET ap-676 97 28 firing firing NOUN ap-676 97 29 - - PUNCT ap-676 97 30 sequence sequence NOUN ap-676 97 31 set set NOUN ap-676 97 32 ) ) PUNCT ap-676 97 33 of of ADP ap-676 97 34 s. s. PROPN ap-676 97 35 it it PRON ap-676 97 36 is be AUX ap-676 97 37 sometimes sometimes ADV ap-676 97 38 convenient convenient ADJ ap-676 97 39 to to PART ap-676 97 40 define define VERB ap-676 97 41 the the DET ap-676 97 42 set set NOUN ap-676 97 43 occ(s occ( NOUN ap-676 97 44 ) ) PUNCT ap-676 97 45 of of ADP ap-676 97 46 occurrence occurrence NOUN ap-676 97 47 sequences sequence NOUN ap-676 97 48 to to PART ap-676 97 49 be be AUX ap-676 97 50 the the DET ap-676 97 51 set set NOUN ap-676 97 52 of of ADP ap-676 97 53 all all DET ap-676 97 54 sequences sequence NOUN ap-676 97 55 of of ADP ap-676 97 56 the the DET ap-676 97 57 form form NOUN ap-676 97 58 m m VERB ap-676 97 59 m m VERB ap-676 97 60 m m VERB ap-676 97 61 mn0 mn0 NOUN ap-676 97 62 0 0 NUM ap-676 97 63 1 1 NUM ap-676 98 1 1 1 NUM ap-676 98 2 2 2 NUM ap-676 98 3 2 2 NUM ap-676 98 4 1 1 NUM ap-676 98 5 1 1 NUM ap-676 98 6 , , PUNCT ap-676 98 7 , , PUNCT ap-676 98 8 , , PUNCT ap-676 98 9 , , PUNCT ap-676 98 10 , , PUNCT ap-676 98 11 , , PUNCT ap-676 98 12 , , PUNCT ap-676 98 13 , , PUNCT ap-676 98 14 ( ( PUNCT ap-676 98 15 ) ) PUNCT ap-676 98 16 t t NOUN ap-676 98 17 t t PROPN ap-676 98 18 t t PROPN ap-676 98 19 t t PROPN ap-676 98 20 nn nn PROPN ap-676 98 21 � � PROPN ap-676 98 22 � � PROPN ap-676 98 23 such such ADJ ap-676 98 24 that that SCONJ ap-676 98 25 m m VERB ap-676 98 26 mi mi NOUN ap-676 98 27 ti ti PROPN ap-676 98 28 i+ i+ NOUN ap-676 98 29 i i PROPN ap-676 98 30 n n CCONJ ap-676 98 31 � � PROPN ap-676 98 32 � � PROPN ap-676 98 33 � � PROPN ap-676 98 34 1 1 NUM ap-676 98 35 0 0 NUM ap-676 98 36 1for 1for PROPN ap-676 98 37 { { PUNCT ap-676 98 38 , , PUNCT ap-676 98 39 , , PUNCT ap-676 98 40 } } PUNCT ap-676 98 41 � � PROPN ap-676 98 42 . . PUNCT ap-676 99 1 8 8 NUM ap-676 100 1 © © PROPN ap-676 100 2 czech czech PROPN ap-676 100 3 technical technical PROPN ap-676 100 4 university university PROPN ap-676 100 5 publishing publishing NOUN ap-676 100 6 house house NOUN ap-676 100 7 http://ctn.cvut.cz/ap/ http://ctn.cvut.cz/ap/ PROPN ap-676 100 8 acta acta PROPN ap-676 100 9 polytechnica polytechnica PROPN ap-676 100 10 vol vol NOUN ap-676 100 11 . . PROPN ap-676 101 1 45 45 NUM ap-676 101 2 no no NOUN ap-676 101 3 . . PUNCT ap-676 102 1 2/2005 2/2005 NUM ap-676 102 2 czech czech PROPN ap-676 102 3 technical technical PROPN ap-676 102 4 university university PROPN ap-676 102 5 in in ADP ap-676 102 6 prague prague PROPN ap-676 102 7 a a DET ap-676 102 8 ) ) PUNCT ap-676 102 9 b b NOUN ap-676 102 10 ) ) PUNCT ap-676 102 11 fig fig NOUN ap-676 102 12 . . PUNCT ap-676 103 1 5 5 NUM ap-676 103 2 : : PUNCT ap-676 103 3 mutual mutual ADJ ap-676 103 4 exclusion exclusion NOUN ap-676 103 5 of of ADP ap-676 103 6 places place NOUN ap-676 103 7 p5 p5 ADJ ap-676 103 8 and and CCONJ ap-676 103 9 p10 p10 NOUN ap-676 103 10 , , PUNCT ap-676 103 11 transition transition NOUN ap-676 103 12 t3 t3 PROPN ap-676 103 13 and and CCONJ ap-676 103 14 t5 t5 PROPN ap-676 103 15 in in ADP ap-676 103 16 conflict conflict NOUN ap-676 103 17 , , PUNCT ap-676 103 18 a a PRON ap-676 103 19 ) ) PUNCT ap-676 103 20 initial initial ADJ ap-676 103 21 state state NOUN ap-676 103 22 where where SCONJ ap-676 103 23 t3 t3 PROPN ap-676 103 24 and and CCONJ ap-676 103 25 t5 t5 PROPN ap-676 103 26 are be AUX ap-676 103 27 both both PRON ap-676 103 28 enabled enable VERB ap-676 103 29 , , PUNCT ap-676 103 30 b b X ap-676 103 31 ) ) PUNCT ap-676 103 32 the the DET ap-676 103 33 state state NOUN ap-676 103 34 after after ADP ap-676 103 35 t3 t3 PROPN ap-676 103 36 firing firing PROPN ap-676 103 37 , , PUNCT ap-676 103 38 where where SCONJ ap-676 103 39 t5 t5 PROPN ap-676 103 40 is be AUX ap-676 103 41 not not PART ap-676 103 42 enabled enable VERB ap-676 103 43 fig fig NOUN ap-676 103 44 . . PUNCT ap-676 104 1 6 6 NUM ap-676 104 2 : : PUNCT ap-676 104 3 place place NOUN ap-676 104 4 / / SYM ap-676 104 5 transition transition NOUN ap-676 104 6 net net NOUN ap-676 104 7 the the DET ap-676 104 8 tokens token NOUN ap-676 104 9 in in ADP ap-676 104 10 figs fig NOUN ap-676 104 11 . . PUNCT ap-676 105 1 2–5 2–5 PROPN ap-676 105 2 are be AUX ap-676 105 3 not not PART ap-676 105 4 distinguished distinguish VERB ap-676 105 5 from from ADP ap-676 105 6 each each DET ap-676 105 7 other other ADJ ap-676 105 8 . . PUNCT ap-676 106 1 the the DET ap-676 106 2 tokens token NOUN ap-676 106 3 representing represent VERB ap-676 106 4 printers printer NOUN ap-676 106 5 a a PRON ap-676 106 6 and and CCONJ ap-676 106 7 b b NOUN ap-676 106 8 are be AUX ap-676 106 9 distinguished distinguish VERB ap-676 106 10 by by ADP ap-676 106 11 their their PRON ap-676 106 12 places place NOUN ap-676 106 13 p4 p4 ADJ ap-676 106 14 and and CCONJ ap-676 106 15 p9 p9 PROPN ap-676 106 16 . . PUNCT ap-676 107 1 a a DET ap-676 107 2 more more ADV ap-676 107 3 compact compact ADJ ap-676 107 4 and and CCONJ ap-676 107 5 more more ADV ap-676 107 6 natural natural ADJ ap-676 107 7 way way NOUN ap-676 107 8 is be AUX ap-676 107 9 to to PART ap-676 107 10 represent represent VERB ap-676 107 11 them they PRON ap-676 107 12 in in ADP ap-676 107 13 one one NUM ap-676 107 14 place place NOUN ap-676 107 15 p4&p9 p4&p9 X ap-676 107 16 by by ADP ap-676 107 17 individual individual ADJ ap-676 107 18 tokens token NOUN ap-676 107 19 a a DET ap-676 107 20 and and CCONJ ap-676 107 21 b. b. PROPN ap-676 107 22 distinguishable distinguishable ADJ ap-676 107 23 tokens token NOUN ap-676 107 24 are be AUX ap-676 107 25 said say VERB ap-676 107 26 to to PART ap-676 107 27 be be AUX ap-676 107 28 coloured colour VERB ap-676 107 29 . . PUNCT ap-676 108 1 colours colour NOUN ap-676 108 2 can can AUX ap-676 108 3 be be AUX ap-676 108 4 thought think VERB ap-676 108 5 of of ADP ap-676 108 6 as as ADP ap-676 108 7 data datum NOUN ap-676 108 8 types type NOUN ap-676 108 9 . . PUNCT ap-676 109 1 for for ADP ap-676 109 2 each each DET ap-676 109 3 place place NOUN ap-676 109 4 p p NOUN ap-676 109 5 , , PUNCT ap-676 109 6 colour colour NOUN ap-676 109 7 set set NOUN ap-676 109 8 cd(p cd(p PRON ap-676 109 9 ) ) PUNCT ap-676 109 10 is be AUX ap-676 109 11 defined define VERB ap-676 109 12 . . PUNCT ap-676 110 1 in in ADP ap-676 110 2 our our PRON ap-676 110 3 case case NOUN ap-676 110 4 cd cd NOUN ap-676 110 5 p p NOUN ap-676 110 6 p p PROPN ap-676 110 7 a a DET ap-676 110 8 b b PROPN ap-676 110 9 ( ( PUNCT ap-676 110 10 & & CCONJ ap-676 110 11 ) ) PUNCT ap-676 110 12 { { PUNCT ap-676 110 13 , , PUNCT ap-676 110 14 } } PUNCT ap-676 110 15 4 4 NUM ap-676 110 16 9 9 NUM ap-676 110 17 � � PROPN ap-676 110 18 . . PUNCT ap-676 111 1 for for ADP ap-676 111 2 a a DET ap-676 111 3 coloured coloured ADJ ap-676 111 4 net net NOUN ap-676 111 5 we we PRON ap-676 111 6 have have VERB ap-676 111 7 to to PART ap-676 111 8 specify specify VERB ap-676 111 9 the the DET ap-676 111 10 colours colour NOUN ap-676 111 11 , , PUNCT ap-676 111 12 and and CCONJ ap-676 111 13 for for ADP ap-676 111 14 all all DET ap-676 111 15 places place NOUN ap-676 111 16 and and CCONJ ap-676 111 17 transitions transition NOUN ap-676 111 18 , , PUNCT ap-676 111 19 particular particular ADJ ap-676 111 20 colour colour NOUN ap-676 111 21 sets set NOUN ap-676 111 22 ( ( PUNCT ap-676 111 23 color color NOUN ap-676 111 24 domains domain NOUN ap-676 111 25 ) ) PUNCT ap-676 111 26 . . PUNCT ap-676 112 1 since since SCONJ ap-676 112 2 arc arc NOUN ap-676 112 3 inscriptions inscription NOUN ap-676 112 4 may may AUX ap-676 112 5 contain contain VERB ap-676 112 6 different different ADJ ap-676 112 7 elements element NOUN ap-676 112 8 or or CCONJ ap-676 112 9 multiple multiple ADJ ap-676 112 10 copies copy NOUN ap-676 112 11 of of ADP ap-676 112 12 an an DET ap-676 112 13 element element NOUN ap-676 112 14 , , PUNCT ap-676 112 15 multisets multiset NOUN ap-676 112 16 ( ( PUNCT ap-676 112 17 bags bag NOUN ap-676 112 18 ) ) PUNCT ap-676 112 19 are be AUX ap-676 112 20 used use VERB ap-676 112 21 , , PUNCT ap-676 112 22 ‘ ' PUNCT ap-676 112 23 bg bg X ap-676 112 24 ’ ' PUNCT ap-676 112 25 . . PUNCT ap-676 113 1 a a DET ap-676 113 2 bag bag NOUN ap-676 113 3 over over ADP ap-676 113 4 a a DET ap-676 113 5 non non ADJ ap-676 113 6 - - ADJ ap-676 113 7 empty empty ADJ ap-676 113 8 set set NOUN ap-676 113 9 a a PRON ap-676 113 10 is be AUX ap-676 113 11 a a DET ap-676 113 12 function function NOUN ap-676 113 13 bg bg NOUN ap-676 113 14 a a DET ap-676 113 15 : : PUNCT ap-676 113 16 � � PROPN ap-676 113 17 n n CCONJ ap-676 113 18 , , PUNCT ap-676 113 19 sometimes sometimes ADV ap-676 113 20 denoted denote VERB ap-676 113 21 as as ADP ap-676 113 22 a a DET ap-676 113 23 formal formal ADJ ap-676 113 24 sum sum NOUN ap-676 113 25 bg bg PROPN ap-676 113 26 a a DET ap-676 113 27 a a DET ap-676 113 28 a a DET ap-676 113 29 a a PRON ap-676 113 30 ( ( PUNCT ap-676 113 31 ) ) PUNCT ap-676 113 32 � � PROPN ap-676 113 33 � � PROPN ap-676 113 34 � � PROPN ap-676 113 35 . . PUNCT ap-676 114 1 extending extend VERB ap-676 114 2 set set VERB ap-676 114 3 operations operation NOUN ap-676 114 4 sum sum NOUN ap-676 114 5 and and CCONJ ap-676 114 6 difference difference NOUN ap-676 114 7 to to ADP ap-676 114 8 bag(a bag(a PROPN ap-676 114 9 ) ) PUNCT ap-676 114 10 are be AUX ap-676 114 11 defined define VERB ap-676 114 12 [ [ PUNCT ap-676 114 13 9 9 NUM ap-676 114 14 ] ] PUNCT ap-676 114 15 . . PUNCT ap-676 115 1 definition definition NOUN ap-676 115 2 4 4 NUM ap-676 115 3 . . PUNCT ap-676 116 1 an an DET ap-676 116 2 arc arc NOUN ap-676 116 3 - - PUNCT ap-676 116 4 constant constant ADJ ap-676 116 5 coloured colour VERB ap-676 116 6 petri petri ADJ ap-676 116 7 net net NOUN ap-676 116 8 ( ( PUNCT ap-676 116 9 ac ac ADJ ap-676 116 10 - - PUNCT ap-676 116 11 cpn cpn NOUN ap-676 116 12 ) ) PUNCT ap-676 116 13 is be AUX ap-676 116 14 defined define VERB ap-676 116 15 as as ADP ap-676 116 16 a a DET ap-676 116 17 tuple tuple PROPN ap-676 116 18 nac nac PROPN ap-676 116 19 � � PROPN ap-676 116 20

> X ap-676 116 32 where where SCONJ ap-676 116 33 � � PROPN ap-676 116 34 p p PROPN ap-676 116 35 is be AUX ap-676 116 36 a a DET ap-676 116 37 finite finite ADJ ap-676 116 38 set set NOUN ap-676 116 39 ( ( PUNCT ap-676 116 40 the the DET ap-676 116 41 set set NOUN ap-676 116 42 of of ADP ap-676 116 43 places place NOUN ap-676 116 44 of of ADP ap-676 116 45 nac nac PROPN ap-676 116 46 ) ) PUNCT ap-676 116 47 , , PUNCT ap-676 116 48 � � PROPN ap-676 116 49 t t PROPN ap-676 116 50 is be AUX ap-676 116 51 a a DET ap-676 116 52 finite finite ADJ ap-676 116 53 set set NOUN ap-676 116 54 ( ( PUNCT ap-676 116 55 the the DET ap-676 116 56 set set NOUN ap-676 116 57 of of ADP ap-676 116 58 transitions transition NOUN ap-676 116 59 of of ADP ap-676 116 60 nac nac NOUN ap-676 116 61 ) ) PUNCT ap-676 116 62 , , PUNCT ap-676 116 63 disjoint disjoint VERB ap-676 116 64 from from ADP ap-676 116 65 p p PRON ap-676 116 66 , , PUNCT ap-676 116 67 � � PROPN ap-676 116 68 c c PROPN ap-676 116 69 is be AUX ap-676 116 70 the the DET ap-676 116 71 set set NOUN ap-676 116 72 of of ADP ap-676 116 73 colour colour NOUN ap-676 116 74 classes class NOUN ap-676 116 75 , , PUNCT ap-676 116 76 � � PROPN ap-676 116 77 cd cd PROPN ap-676 116 78 p p PROPN ap-676 116 79 c c PROPN ap-676 116 80 : : PUNCT ap-676 116 81 � � PROPN ap-676 116 82 is be AUX ap-676 116 83 the the DET ap-676 116 84 colour colour ADJ ap-676 116 85 domain domain NOUN ap-676 116 86 mapping mapping NOUN ap-676 116 87 , , PUNCT ap-676 116 88 and and CCONJ ap-676 116 89 � � PROPN ap-676 116 90 pre pre ADJ ap-676 116 91 post post PROPN ap-676 116 92 , , PUNCT ap-676 116 93 � � PROPN ap-676 116 94 � � PROPN ap-676 116 95 b b PROPN ap-676 116 96 p p X ap-676 116 97 t t PROPN ap-676 116 98 are be AUX ap-676 116 99 matrices matrix NOUN ap-676 116 100 ( ( PUNCT ap-676 116 101 the the DET ap-676 116 102 backward backward ADJ ap-676 116 103 and and CCONJ ap-676 116 104 forward forward ADJ ap-676 116 105 incidence incidence NOUN ap-676 116 106 matrices matrix NOUN ap-676 116 107 of of ADP ap-676 116 108 nac nac NOUN ap-676 116 109 ) ) PUNCT ap-676 116 110 such such ADJ ap-676 116 111 that that SCONJ ap-676 116 112 � � PROPN ap-676 116 113 � � PROPN ap-676 116 114 pre pre PROPN ap-676 116 115 p p PROPN ap-676 116 116 t t PROPN ap-676 116 117 cd cd PROPN ap-676 116 118 p p X ap-676 116 119 , , PUNCT ap-676 116 120 ( ( PUNCT ap-676 116 121 ( ( PUNCT ap-676 116 122 ) ) PUNCT ap-676 116 123 ) ) PUNCT ap-676 116 124 � � NOUN ap-676 116 125 bag bag NOUN ap-676 116 126 and and CCONJ ap-676 116 127 � � PROPN ap-676 116 128 � � PROPN ap-676 116 129 post post PROPN ap-676 116 130 p p PROPN ap-676 116 131 t t PROPN ap-676 116 132 cd cd PROPN ap-676 116 133 p p X ap-676 116 134 , , PUNCT ap-676 116 135 ( ( PUNCT ap-676 116 136 ( ( PUNCT ap-676 116 137 ) ) PUNCT ap-676 116 138 ) ) PUNCT ap-676 116 139 � � NOUN ap-676 116 140 bag bag NOUN ap-676 116 141 for for ADP ap-676 116 142 each each PRON ap-676 116 143 ( ( PUNCT ap-676 116 144 , , PUNCT ap-676 116 145 ) ) PUNCT ap-676 117 1 p p NOUN ap-676 117 2 t t PROPN ap-676 117 3 p p PROPN ap-676 117 4 t t PROPN ap-676 117 5 � � PROPN ap-676 117 6 � � PROPN ap-676 117 7 . . PUNCT ap-676 118 1 c c PROPN ap-676 118 2 � � PROPN ap-676 118 3 pre pre ADJ ap-676 118 4 � � PROPN ap-676 118 5 post post NOUN ap-676 118 6 is be AUX ap-676 118 7 called call VERB ap-676 118 8 incidence incidence NOUN ap-676 118 9 matrix matrix NOUN ap-676 118 10 of of ADP ap-676 118 11 nac nac PROPN ap-676 118 12 . . PUNCT ap-676 119 1 in in ADP ap-676 119 2 this this DET ap-676 119 3 definition definition NOUN ap-676 119 4 b b NOUN ap-676 119 5 is be AUX ap-676 119 6 taken take VERB ap-676 119 7 as as ADP ap-676 119 8 the the DET ap-676 119 9 set set NOUN ap-676 119 10 bag(a bag(a PROPN ap-676 119 11 ) ) PUNCT ap-676 119 12 , , PUNCT ap-676 119 13 where where SCONJ ap-676 119 14 a a PRON ap-676 119 15 is be AUX ap-676 119 16 the the DET ap-676 119 17 union union NOUN ap-676 119 18 of of ADP ap-676 119 19 all all DET ap-676 119 20 colour colour NOUN ap-676 119 21 sets set NOUN ap-676 119 22 from from ADP ap-676 119 23 c. c. PROPN ap-676 119 24 the the DET ap-676 119 25 difference difference NOUN ap-676 119 26 operator operator NOUN ap-676 119 27 in in ADP ap-676 119 28 c c PROPN ap-676 119 29 � � PROPN ap-676 119 30 post post PROPN ap-676 119 31 � � PROPN ap-676 119 32 pre pre ADJ ap-676 119 33 is be AUX ap-676 119 34 a a DET ap-676 119 35 formal formal ADJ ap-676 119 36 one one NOUN ap-676 119 37 here here ADV ap-676 119 38 , , PUNCT ap-676 119 39 i.e. i.e. X ap-676 119 40 the the DET ap-676 119 41 difference difference NOUN ap-676 119 42 is be AUX ap-676 119 43 not not PART ap-676 119 44 computed compute VERB ap-676 119 45 as as ADP ap-676 119 46 a a DET ap-676 119 47 value value NOUN ap-676 119 48 . . PUNCT ap-676 120 1 a a DET ap-676 120 2 marking marking NOUN ap-676 120 3 is be AUX ap-676 120 4 a a DET ap-676 120 5 vector vector NOUN ap-676 120 6 m m VERB ap-676 120 7 such such ADJ ap-676 120 8 that that SCONJ ap-676 120 9 m[p m[p PROPN ap-676 120 10 ] ] X ap-676 120 11 � � PROPN ap-676 120 12 bag(cd(p bag(cd(p PROPN ap-676 120 13 ) ) PUNCT ap-676 120 14 ) ) PUNCT ap-676 120 15 for for ADP ap-676 120 16 each each DET ap-676 120 17 p p PROPN ap-676 120 18 � � PROPN ap-676 120 19 p. p. NOUN ap-676 120 20 the the DET ap-676 120 21 reachability reachability NOUN ap-676 120 22 set set NOUN ap-676 120 23 , , PUNCT ap-676 120 24 firing fire VERB ap-676 120 25 sequence sequence NOUN ap-676 120 26 , , PUNCT ap-676 120 27 net net ADJ ap-676 120 28 system system NOUN ap-676 120 29 and and CCONJ ap-676 120 30 occurrence occurrence NOUN ap-676 120 31 have have VERB ap-676 120 32 the the DET ap-676 120 33 same same ADJ ap-676 120 34 meaning meaning NOUN ap-676 120 35 as as ADP ap-676 120 36 for for ADP ap-676 120 37 p p PROPN ap-676 120 38 / / SYM ap-676 120 39 t t NOUN ap-676 120 40 nets net NOUN ap-676 120 41 . . PUNCT ap-676 121 1 the the DET ap-676 121 2 example example NOUN ap-676 121 3 for for ADP ap-676 121 4 constructing construct VERB ap-676 121 5 coloured coloured ADJ ap-676 121 6 petri petri ADJ ap-676 121 7 nets net NOUN ap-676 121 8 ( ( PUNCT ap-676 121 9 cpn cpn NOUN ap-676 121 10 ) ) PUNCT ap-676 121 11 is be AUX ap-676 121 12 discussed discuss VERB ap-676 121 13 in in ADP ap-676 121 14 several several ADJ ap-676 121 15 following follow VERB ap-676 121 16 examples example NOUN ap-676 121 17 and and CCONJ ap-676 121 18 figures figure NOUN ap-676 121 19 derived derive VERB ap-676 121 20 from from ADP ap-676 121 21 our our PRON ap-676 121 22 original original ADJ ap-676 121 23 model model NOUN ap-676 121 24 of of ADP ap-676 121 25 parallel parallel ADJ ap-676 121 26 printers printer NOUN ap-676 121 27 . . PUNCT ap-676 122 1 arc arc NOUN ap-676 122 2 - - PUNCT ap-676 122 3 constant constant ADJ ap-676 122 4 cpn cpn NOUN ap-676 122 5 in in ADP ap-676 122 6 fig fig NOUN ap-676 122 7 . . PUNCT ap-676 123 1 7 7 NUM ap-676 123 2 is be AUX ap-676 123 3 simply simply ADV ap-676 123 4 derived derive VERB ap-676 123 5 from from ADP ap-676 123 6 the the DET ap-676 123 7 initial initial ADJ ap-676 123 8 example example NOUN ap-676 123 9 , , PUNCT ap-676 123 10 with with ADP ap-676 123 11 the the DET ap-676 123 12 same same ADJ ap-676 123 13 meaning meaning NOUN ap-676 123 14 of of ADP ap-676 123 15 all all DET ap-676 123 16 places place NOUN ap-676 123 17 and and CCONJ ap-676 123 18 transitions transition NOUN ap-676 123 19 . . PUNCT ap-676 124 1 places place NOUN ap-676 124 2 p4 p4 ADJ ap-676 124 3 and and CCONJ ap-676 124 4 p9 p9 PROPN ap-676 124 5 ( ( PUNCT ap-676 124 6 and and CCONJ ap-676 124 7 p5 p5 ADJ ap-676 124 8 and and CCONJ ap-676 124 9 p10 p10 NOUN ap-676 124 10 ) ) PUNCT ap-676 124 11 originally originally ADV ap-676 124 12 used use VERB ap-676 124 13 for for ADP ap-676 124 14 distinguishing distinguish VERB ap-676 124 15 two two NUM ap-676 124 16 printers printer NOUN ap-676 124 17 are be AUX ap-676 124 18 connected connect VERB ap-676 124 19 ( ( PUNCT ap-676 124 20 “ " PUNCT ap-676 124 21 folded fold VERB ap-676 124 22 ” " PUNCT ap-676 124 23 ) ) PUNCT ap-676 124 24 to to ADP ap-676 124 25 one one NUM ap-676 124 26 place place NOUN ap-676 124 27 here here ADV ap-676 124 28 named name VERB ap-676 124 29 p4&p9 p4&p9 PROPN ap-676 124 30 ( ( PUNCT ap-676 124 31 p5&p10 p5&p10 NOUN ap-676 124 32 ) ) PUNCT ap-676 124 33 . . PUNCT ap-676 125 1 for for ADP ap-676 125 2 a a DET ap-676 125 3 transition transition NOUN ap-676 125 4 t t NOUN ap-676 125 5 , , PUNCT ap-676 125 6 it it PRON ap-676 125 7 is be AUX ap-676 125 8 necessary necessary ADJ ap-676 125 9 to to PART ap-676 125 10 indicate indicate VERB ap-676 125 11 which which PRON ap-676 125 12 of of ADP ap-676 125 13 the the DET ap-676 125 14 individual individual ADJ ap-676 125 15 tokens token NOUN ap-676 125 16 should should AUX ap-676 125 17 be be AUX ap-676 125 18 removed remove VERB ap-676 125 19 ( ( PUNCT ap-676 125 20 with with ADP ap-676 125 21 respect respect NOUN ap-676 125 22 to to ADP ap-676 125 23 its its PRON ap-676 125 24 input input NOUN ap-676 125 25 places place NOUN ap-676 125 26 ) ) PUNCT ap-676 125 27 . . PUNCT ap-676 126 1 this this PRON ap-676 126 2 is be AUX ap-676 126 3 done do VERB ap-676 126 4 by by ADP ap-676 126 5 the the DET ap-676 126 6 inscriptions inscription NOUN ap-676 126 7 on on ADP ap-676 126 8 the the DET ap-676 126 9 corresponding correspond VERB ap-676 126 10 arcs arc NOUN ap-676 126 11 in in ADP ap-676 126 12 fig fig NOUN ap-676 126 13 . . PUNCT ap-676 127 1 7 7 X ap-676 127 2 . . X ap-676 127 3 transition transition NOUN ap-676 127 4 t3 t3 PROPN ap-676 127 5 can can AUX ap-676 127 6 fire fire VERB ap-676 127 7 if if SCONJ ap-676 127 8 there there PRON ap-676 127 9 is be VERB ap-676 127 10 an an DET ap-676 127 11 object object NOUN ap-676 127 12 a a DET ap-676 127 13 in in ADP ap-676 127 14 place place NOUN ap-676 127 15 p4&p9 p4&p9 X ap-676 127 16 ( ( PUNCT ap-676 127 17 and and CCONJ ap-676 127 18 an an DET ap-676 127 19 indistinguishable indistinguishable ADJ ap-676 127 20 token token VERB ap-676 127 21 in in ADP ap-676 127 22 the the DET ap-676 127 23 place place NOUN ap-676 127 24 p3 p3 PROPN ap-676 127 25 ) ) PUNCT ap-676 127 26 . . PUNCT ap-676 128 1 when when SCONJ ap-676 128 2 it it PRON ap-676 128 3 fires fire VERB ap-676 128 4 , , PUNCT ap-676 128 5 token token VERB ap-676 128 6 a a PRON ap-676 128 7 is be AUX ap-676 128 8 removed remove VERB ap-676 128 9 from from ADP ap-676 128 10 place place NOUN ap-676 128 11 p4&p9 p4&p9 PROPN ap-676 128 12 and and CCONJ ap-676 128 13 is be AUX ap-676 128 14 added add VERB ap-676 128 15 to to PART ap-676 128 16 place place VERB ap-676 128 17 p5&p10 p5&p10 NOUN ap-676 128 18 , , PUNCT ap-676 128 19 and and CCONJ ap-676 128 20 an an DET ap-676 128 21 ( ( PUNCT ap-676 128 22 indistinguishable indistinguishable ADJ ap-676 128 23 ) ) PUNCT ap-676 128 24 token token PROPN ap-676 128 25 is be AUX ap-676 128 26 added add VERB ap-676 128 27 to to AUX ap-676 128 28 p6 p6 PROPN ap-676 128 29 . . PUNCT ap-676 129 1 places places PROPN ap-676 129 2 p4&p9 p4&p9 PROPN ap-676 129 3 and and CCONJ ap-676 129 4 p5&p10 p5&p10 PROPN ap-676 129 5 have have VERB ap-676 129 6 the the DET ap-676 129 7 colour colour NOUN ap-676 129 8 domain domain NOUN ap-676 129 9 printers printer NOUN ap-676 129 10 � � PROPN ap-676 129 11 { { PUNCT ap-676 129 12 a a PROPN ap-676 129 13 , , PUNCT ap-676 129 14 b b NOUN ap-676 129 15 } } PUNCT ap-676 129 16 denoting denote VERB ap-676 129 17 printer printer NOUN ap-676 129 18 a a PRON ap-676 129 19 and and CCONJ ap-676 129 20 printer printer PROPN ap-676 129 21 b. b. PROPN ap-676 130 1 the the DET ap-676 130 2 control control NOUN ap-676 130 3 process process NOUN ap-676 130 4 is be AUX ap-676 130 5 modeled model VERB ap-676 130 6 by by ADP ap-676 130 7 token token PROPN ap-676 130 8 s s PROPN ap-676 130 9 ( ( PUNCT ap-676 130 10 strobe strobe PROPN ap-676 130 11 ) ) PUNCT ap-676 130 12 . . PUNCT ap-676 131 1 colour colour NOUN ap-676 131 2 domains domain NOUN ap-676 131 3 are be AUX ap-676 131 4 represented represent VERB ap-676 131 5 by by ADP ap-676 131 6 lower low ADJ ap-676 131 7 case case NOUN ap-676 131 8 italics italic NOUN ap-676 131 9 near near ADP ap-676 131 10 the the DET ap-676 131 11 place place NOUN ap-676 131 12 symbols symbol NOUN ap-676 131 13 in in ADP ap-676 131 14 fig fig NOUN ap-676 131 15 . . PUNCT ap-676 132 1 7 7 X ap-676 132 2 . . NUM ap-676 132 3 places place NOUN ap-676 132 4 p3 p3 PROPN ap-676 132 5 , , PUNCT ap-676 132 6 p6 p6 PROPN ap-676 132 7 , , PUNCT ap-676 132 8 p7 p7 PROPN ap-676 132 9 , , PUNCT ap-676 132 10 p8 p8 ADJ ap-676 132 11 , , PUNCT ap-676 132 12 p11 p11 ADJ ap-676 132 13 and and CCONJ ap-676 132 14 p12 p12 NOUN ap-676 132 15 are be AUX ap-676 132 16 assumed assume VERB ap-676 132 17 to to PART ap-676 132 18 hold hold VERB ap-676 132 19 an an DET ap-676 132 20 indistinguishable indistinguishable ADJ ap-676 132 21 token token VERB ap-676 132 22 and and CCONJ ap-676 132 23 therefore therefore ADV ap-676 132 24 have have VERB ap-676 132 25 the the DET ap-676 132 26 colour colour NOUN ap-676 132 27 domain domain NOUN ap-676 132 28 token token VERB ap-676 132 29 � � PROPN ap-676 132 30 { { PUNCT ap-676 132 31 � � PROPN ap-676 132 32 } } PUNCT ap-676 132 33 , , PUNCT ap-676 132 34 which which PRON ap-676 132 35 is be AUX ap-676 132 36 assumed assume VERB ap-676 132 37 to to PART ap-676 132 38 hold hold VERB ap-676 132 39 by by ADP ap-676 132 40 default default NOUN ap-676 132 41 . . PUNCT ap-676 133 1 the the DET ap-676 133 2 net net NOUN ap-676 133 3 from from ADP ap-676 133 4 fig fig NOUN ap-676 133 5 . . PUNCT ap-676 134 1 2 2 NUM ap-676 134 2 ( ( PUNCT ap-676 134 3 ordinary ordinary ADJ ap-676 134 4 or or CCONJ ap-676 134 5 black black ADJ ap-676 134 6 - - PUNCT ap-676 134 7 and and CCONJ ap-676 134 8 - - PUNCT ap-676 134 9 white white ADJ ap-676 134 10 pn pn PROPN ap-676 134 11 ) ) PUNCT ap-676 134 12 and and CCONJ ap-676 134 13 the the DET ap-676 134 14 net net NOUN ap-676 134 15 from from ADP ap-676 134 16 fig fig NOUN ap-676 134 17 . . PUNCT ap-676 134 18 7 7 NUM ap-676 135 1 ( ( PUNCT ap-676 135 2 coloured coloured ADJ ap-676 135 3 pn pn NOUN ap-676 135 4 ) ) PUNCT ap-676 135 5 contain contain VERB ap-676 135 6 the the DET ap-676 135 7 same same ADJ ap-676 135 8 information information NOUN ap-676 135 9 and and CCONJ ap-676 135 10 have have VERB ap-676 135 11 similar similar ADJ ap-676 135 12 behavior behavior NOUN ap-676 135 13 . . PUNCT ap-676 136 1 only only ADV ap-676 136 2 two two NUM ap-676 136 3 places place NOUN ap-676 136 4 are be AUX ap-676 136 5 “ " PUNCT ap-676 136 6 safe safe ADJ ap-676 136 7 ” " PUNCT ap-676 136 8 . . PUNCT ap-676 137 1 this this DET ap-676 137 2 cpn cpn NOUN ap-676 137 3 is be AUX ap-676 137 4 called call VERB ap-676 137 5 arc arc NOUN ap-676 137 6 - - PUNCT ap-676 137 7 constant constant ADJ ap-676 137 8 , , PUNCT ap-676 137 9 since since SCONJ ap-676 137 10 the the DET ap-676 137 11 inscriptions inscription NOUN ap-676 137 12 on on ADP ap-676 137 13 the the DET ap-676 137 14 arcs arc NOUN ap-676 137 15 are be AUX ap-676 137 16 constants constant NOUN ap-676 137 17 and and CCONJ ap-676 137 18 not not PART ap-676 137 19 variables variable NOUN ap-676 137 20 . . PUNCT ap-676 138 1 the the DET ap-676 138 2 next next ADJ ap-676 138 3 step step NOUN ap-676 138 4 will will AUX ap-676 138 5 be be AUX ap-676 138 6 to to PART ap-676 138 7 simplify simplify VERB ap-676 138 8 the the DET ap-676 138 9 graph graph NOUN ap-676 138 10 structure structure NOUN ap-676 138 11 of of ADP ap-676 138 12 ac ac PROPN ap-676 138 13 - - NOUN ap-676 138 14 cpn cpn NOUN ap-676 138 15 . . PUNCT ap-676 139 1 we we PRON ap-676 139 2 will will AUX ap-676 139 3 represent represent VERB ap-676 139 4 the the DET ap-676 139 5 messages message NOUN ap-676 139 6 “ " PUNCT ap-676 139 7 strobe strobe NOUN ap-676 139 8 signal signal NOUN ap-676 139 9 sent send VERB ap-676 139 10 to to PART ap-676 139 11 printer printer VERB ap-676 139 12 a a DET ap-676 139 13 ” " PUNCT ap-676 139 14 ( ( PUNCT ap-676 139 15 sta sta NOUN ap-676 139 16 ) ) PUNCT ap-676 139 17 and and CCONJ ap-676 139 18 “ " PUNCT ap-676 139 19 strobe strobe NOUN ap-676 139 20 signal signal NOUN ap-676 139 21 sent send VERB ap-676 139 22 to to AUX ap-676 139 23 printer printer VERB ap-676 139 24 b b NOUN ap-676 139 25 ” " PUNCT ap-676 139 26 ( ( PUNCT ap-676 139 27 stb stb PROPN ap-676 139 28 ) ) PUNCT ap-676 139 29 , , PUNCT ap-676 139 30 ack ack PROPN ap-676 139 31 signal signal PROPN ap-676 139 32 sent send VERB ap-676 139 33 from from ADP ap-676 139 34 printer printer NOUN ap-676 139 35 a a PRON ap-676 139 36 ( ( PUNCT ap-676 139 37 acka acka PROPN ap-676 139 38 ) ) PUNCT ap-676 139 39 and and CCONJ ap-676 139 40 ack ack VERB ap-676 139 41 signal signal NOUN ap-676 139 42 sent send VERB ap-676 139 43 from from ADP ap-676 139 44 printer printer NOUN ap-676 139 45 b b PROPN ap-676 139 46 ( ( PUNCT ap-676 139 47 ackb ackb PROPN ap-676 139 48 ) ) PUNCT ap-676 139 49 . . PUNCT ap-676 140 1 we we PRON ap-676 140 2 can can AUX ap-676 140 3 connect connect VERB ap-676 140 4 places place NOUN ap-676 140 5 p3 p3 PROPN ap-676 140 6 and and CCONJ ap-676 140 7 p8 p8 ADJ ap-676 140 8 , , PUNCT ap-676 140 9 p6 p6 ADJ ap-676 140 10 and and CCONJ ap-676 140 11 p11 p11 NOUN ap-676 140 12 , , PUNCT ap-676 140 13 p7 p7 ADJ ap-676 140 14 and and CCONJ ap-676 140 15 p12 p12 VERB ap-676 140 16 , , PUNCT ap-676 140 17 in in ADP ap-676 140 18 fig fig NOUN ap-676 140 19 . . PUNCT ap-676 141 1 8 8 NUM ap-676 141 2 they they PRON ap-676 141 3 are be AUX ap-676 141 4 named name VERB ap-676 141 5 by by ADP ap-676 141 6 the the DET ap-676 141 7 first first ADJ ap-676 141 8 name name NOUN ap-676 141 9 of of ADP ap-676 141 10 the the DET ap-676 141 11 connected connected ADJ ap-676 141 12 places place NOUN ap-676 141 13 . . PUNCT ap-676 142 1 the the DET ap-676 142 2 behaviour behaviour NOUN ap-676 142 3 of of ADP ap-676 142 4 the the DET ap-676 142 5 net net NOUN ap-676 142 6 is be AUX ap-676 142 7 the the DET ap-676 142 8 same same ADJ ap-676 142 9 . . PUNCT ap-676 143 1 as as ADP ap-676 143 2 a a DET ap-676 143 3 new new ADJ ap-676 143 4 feature feature NOUN ap-676 143 5 of of ADP ap-676 143 6 this this DET ap-676 143 7 net net NOUN ap-676 143 8 , , PUNCT ap-676 143 9 transition transition NOUN ap-676 143 10 t2 t2 NOUN ap-676 143 11 has have VERB ap-676 143 12 to to PART ap-676 143 13 remove remove VERB ap-676 143 14 both both DET ap-676 143 15 signals signal NOUN ap-676 143 16 acka acka PROPN ap-676 143 17 and and CCONJ ap-676 143 18 ackb ackb NOUN ap-676 143 19 from from ADP ap-676 143 20 place place NOUN ap-676 143 21 p6 p6 PROPN ap-676 143 22 . . PUNCT ap-676 144 1 the the DET ap-676 144 2 expression expression NOUN ap-676 144 3 acka acka PROPN ap-676 144 4 � � PROPN ap-676 144 5 ackb ackb PROPN ap-676 144 6 denotes denote VERB ap-676 144 7 the the DET ap-676 144 8 set set NOUN ap-676 144 9 { { PUNCT ap-676 144 10 acka acka PROPN ap-676 144 11 , , PUNCT ap-676 144 12 ackb ackb PROPN ap-676 144 13 } } PUNCT ap-676 144 14 . . PUNCT ap-676 145 1 transi transi PROPN ap-676 145 2 © © PROPN ap-676 145 3 czech czech PROPN ap-676 145 4 technical technical PROPN ap-676 145 5 university university PROPN ap-676 145 6 publishing publishing NOUN ap-676 145 7 house house NOUN ap-676 145 8 http://ctn.cvut.cz/ap/ http://ctn.cvut.cz/ap/ PROPN ap-676 145 9 9 9 NUM ap-676 145 10 czech czech PROPN ap-676 145 11 technical technical PROPN ap-676 145 12 university university PROPN ap-676 145 13 in in ADP ap-676 145 14 prague prague PROPN ap-676 145 15 acta acta PROPN ap-676 145 16 polytechnica polytechnica PROPN ap-676 145 17 vol vol NOUN ap-676 145 18 . . PROPN ap-676 146 1 45 45 NUM ap-676 146 2 no no NOUN ap-676 146 3 . . PUNCT ap-676 147 1 2/2005 2/2005 NUM ap-676 147 2 colour colour NOUN ap-676 147 3 sets set NOUN ap-676 147 4 : : PUNCT ap-676 147 5 control control NOUN ap-676 147 6 = = SYM ap-676 147 7 { { PUNCT ap-676 147 8 s s NOUN ap-676 147 9 } } PUNCT ap-676 147 10 printers printer NOUN ap-676 147 11 = = SYM ap-676 147 12 { { PUNCT ap-676 147 13 a a PRON ap-676 147 14 , , PUNCT ap-676 147 15 b b NOUN ap-676 147 16 } } PUNCT ap-676 147 17 constants constant NOUN ap-676 147 18 : : PUNCT ap-676 147 19 s s X ap-676 147 20 , , PUNCT ap-676 147 21 a a PRON ap-676 147 22 , , PUNCT ap-676 147 23 b b NOUN ap-676 147 24 fig fig NOUN ap-676 147 25 . . PUNCT ap-676 148 1 7 7 NUM ap-676 148 2 : : PUNCT ap-676 148 3 arc arc NOUN ap-676 148 4 - - PUNCT ap-676 148 5 constant constant ADJ ap-676 148 6 cpn cpn NOUN ap-676 148 7 tion tion NOUN ap-676 148 8 t3 t3 PROPN ap-676 148 9 is be AUX ap-676 148 10 enabled enable VERB ap-676 148 11 if if SCONJ ap-676 148 12 both both PRON ap-676 148 13 acka acka PROPN ap-676 148 14 and and CCONJ ap-676 148 15 ackb ackb NOUN ap-676 148 16 are be AUX ap-676 148 17 in in ADP ap-676 148 18 place place NOUN ap-676 148 19 p4 p4 ADJ ap-676 148 20 and and CCONJ ap-676 148 21 by by ADP ap-676 148 22 t3 t3 PROPN ap-676 148 23 firing fire VERB ap-676 148 24 both both DET ap-676 148 25 tokens token NOUN ap-676 148 26 are be AUX ap-676 148 27 removed remove VERB ap-676 148 28 . . PUNCT ap-676 149 1 therefore therefore ADV ap-676 149 2 in in ADP ap-676 149 3 the the DET ap-676 149 4 general general ADJ ap-676 149 5 case case NOUN ap-676 149 6 , , PUNCT ap-676 149 7 bags bag NOUN ap-676 149 8 ( ( PUNCT ap-676 149 9 multisets multiset NOUN ap-676 149 10 ) ) PUNCT ap-676 149 11 will will AUX ap-676 149 12 be be AUX ap-676 149 13 used use VERB ap-676 149 14 instead instead ADV ap-676 149 15 of of ADP ap-676 149 16 sets set NOUN ap-676 149 17 . . PUNCT ap-676 150 1 the the DET ap-676 150 2 transition transition NOUN ap-676 150 3 firing fire VERB ap-676 150 4 rule rule NOUN ap-676 150 5 for for ADP ap-676 150 6 arc arc NOUN ap-676 150 7 - - PUNCT ap-676 150 8 constant constant ADJ ap-676 150 9 cpn cpn NOUN ap-676 150 10 can can AUX ap-676 150 11 be be AUX ap-676 150 12 expressed express VERB ap-676 150 13 as as ADP ap-676 150 14 : : PUNCT ap-676 150 15 all all DET ap-676 150 16 input input NOUN ap-676 150 17 places place NOUN ap-676 150 18 must must AUX ap-676 150 19 contain contain VERB ap-676 150 20 at at ADV ap-676 150 21 least least ADJ ap-676 150 22 as as ADP ap-676 150 23 many many ADJ ap-676 150 24 individual individual ADJ ap-676 150 25 tokens token NOUN ap-676 150 26 as as SCONJ ap-676 150 27 specified specify VERB ap-676 150 28 by by ADP ap-676 150 29 the the DET ap-676 150 30 corresponding corresponding ADJ ap-676 150 31 arcs arc NOUN ap-676 150 32 . . PUNCT ap-676 151 1 the the DET ap-676 151 2 transition transition NOUN ap-676 151 3 firing firing NOUN ap-676 151 4 means mean VERB ap-676 151 5 that that SCONJ ap-676 151 6 these these DET ap-676 151 7 tokens token NOUN ap-676 151 8 are be AUX ap-676 151 9 removed remove VERB ap-676 151 10 and and CCONJ ap-676 151 11 added add VERB ap-676 151 12 to to ADP ap-676 151 13 the the DET ap-676 151 14 output output NOUN ap-676 151 15 places place NOUN ap-676 151 16 as as SCONJ ap-676 151 17 indicated indicate VERB ap-676 151 18 by by ADP ap-676 151 19 arc arc NOUN ap-676 151 20 inscriptions inscription NOUN ap-676 151 21 . . PUNCT ap-676 152 1 the the DET ap-676 152 2 firing firing NOUN ap-676 152 3 rule rule NOUN ap-676 152 4 for for ADP ap-676 152 5 ac ac ADJ ap-676 152 6 - - PUNCT ap-676 152 7 cpn cpn NOUN ap-676 152 8 is be AUX ap-676 152 9 sketched sketch VERB ap-676 152 10 in in ADP ap-676 152 11 fig fig NOUN ap-676 152 12 . . PUNCT ap-676 153 1 9 9 X ap-676 153 2 . . X ap-676 154 1 in in ADP ap-676 154 2 a a DET ap-676 154 3 coloured colour VERB ap-676 154 4 petri petri ADJ ap-676 154 5 net net NOUN ap-676 154 6 the the DET ap-676 154 7 incidence incidence NOUN ap-676 154 8 matrices matrix NOUN ap-676 154 9 can can AUX ap-676 154 10 not not PART ap-676 154 11 be be AUX ap-676 154 12 defined define VERB ap-676 154 13 over over ADP ap-676 154 14 b b PROPN ap-676 154 15 � � PROPN ap-676 154 16 bag(a bag(a PROPN ap-676 154 17 ) ) PUNCT ap-676 154 18 as as ADP ap-676 154 19 for for ADP ap-676 154 20 arc arc NOUN ap-676 154 21 - - PUNCT ap-676 154 22 constant constant ADJ ap-676 154 23 cpns cpns NOUN ap-676 154 24 . . PUNCT ap-676 155 1 the the DET ap-676 155 2 different different ADJ ap-676 155 3 modes mode NOUN ap-676 155 4 or or CCONJ ap-676 155 5 bindings binding NOUN ap-676 155 6 of of ADP ap-676 155 7 a a DET ap-676 155 8 transition transition NOUN ap-676 155 9 have have VERB ap-676 155 10 to to PART ap-676 155 11 be be AUX ap-676 155 12 represented represent VERB ap-676 155 13 . . PUNCT ap-676 156 1 these these PRON ap-676 156 2 are be AUX ap-676 156 3 called call VERB ap-676 156 4 colours colour NOUN ap-676 156 5 , , PUNCT ap-676 156 6 and and CCONJ ap-676 156 7 are be AUX ap-676 156 8 denoted denote VERB ap-676 156 9 by by ADP ap-676 156 10 cd(t cd(t NOUN ap-676 156 11 ) ) PUNCT ap-676 156 12 . . PUNCT ap-676 157 1 therefore therefore ADV ap-676 157 2 the the DET ap-676 157 3 colour colour NOUN ap-676 157 4 domain domain NOUN ap-676 157 5 mapping mapping NOUN ap-676 157 6 cd cd PROPN ap-676 157 7 is be AUX ap-676 157 8 extended extend VERB ap-676 157 9 from from ADP ap-676 157 10 p p NOUN ap-676 157 11 to to ADP ap-676 157 12 p p PROPN ap-676 157 13 t t PROPN ap-676 157 14 � � PROPN ap-676 157 15 . . PUNCT ap-676 158 1 in in ADP ap-676 158 2 the the DET ap-676 158 3 entries entry NOUN ap-676 158 4 of of ADP ap-676 158 5 the the DET ap-676 158 6 incidence incidence NOUN ap-676 158 7 matrices matrix NOUN ap-676 158 8 for for ADP ap-676 158 9 each each DET ap-676 158 10 transition transition NOUN ap-676 158 11 colour colour NOUN ap-676 158 12 , , PUNCT ap-676 158 13 a a DET ap-676 158 14 multiset multiset NOUN ap-676 158 15 has have VERB ap-676 158 16 to to PART ap-676 158 17 be be AUX ap-676 158 18 specified specify VERB ap-676 158 19 . . PUNCT ap-676 159 1 this this PRON ap-676 159 2 is be AUX ap-676 159 3 formalized formalize VERB ap-676 159 4 by by ADP ap-676 159 5 a a DET ap-676 159 6 mapping mapping NOUN ap-676 159 7 from from ADP ap-676 159 8 cd(t cd(t NOUN ap-676 159 9 ) ) PUNCT ap-676 159 10 into into ADP ap-676 159 11 the the DET ap-676 159 12 bags bag NOUN ap-676 159 13 of of ADP ap-676 159 14 colour colour NOUN ap-676 159 15 sets set NOUN ap-676 159 16 over over ADP ap-676 159 17 cd(p cd(p NOUN ap-676 159 18 ) ) PUNCT ap-676 159 19 for for ADP ap-676 159 20 each each DET ap-676 159 21 ( ( PUNCT ap-676 159 22 p p PROPN ap-676 159 23 , , PUNCT ap-676 159 24 t t PROPN ap-676 159 25 ) ) PUNCT ap-676 159 26 � � PROPN ap-676 159 27 p×t p×t PROPN ap-676 159 28 . . PUNCT ap-676 160 1 our our PRON ap-676 160 2 example example NOUN ap-676 160 3 expressed express VERB ap-676 160 4 by by ADP ap-676 160 5 cpn cpn NOUN ap-676 160 6 is be AUX ap-676 160 7 shown show VERB ap-676 160 8 in in ADP ap-676 160 9 fig fig NOUN ap-676 160 10 . . PUNCT ap-676 161 1 11 11 NUM ap-676 161 2 . . PUNCT ap-676 162 1 the the DET ap-676 162 2 number number NOUN ap-676 162 3 of of ADP ap-676 162 4 places place NOUN ap-676 162 5 and and CCONJ ap-676 162 6 transitions transition NOUN ap-676 162 7 corresponds correspond VERB ap-676 162 8 to to ADP ap-676 162 9 the the DET ap-676 162 10 p p PROPN ap-676 162 11 / / SYM ap-676 162 12 t t PROPN ap-676 162 13 net net NOUN ap-676 162 14 in in ADP ap-676 162 15 fig fig NOUN ap-676 162 16 . . PUNCT ap-676 163 1 6 6 NUM ap-676 163 2 , , PUNCT ap-676 163 3 but but CCONJ ap-676 163 4 the the DET ap-676 163 5 expression expression NOUN ap-676 163 6 power power NOUN ap-676 163 7 is be AUX ap-676 163 8 greater great ADJ ap-676 163 9 . . PUNCT ap-676 164 1 for for ADP ap-676 164 2 each each DET ap-676 164 3 transition transition NOUN ap-676 164 4 a a DET ap-676 164 5 finite finite NOUN ap-676 164 6 set set NOUN ap-676 164 7 of of ADP ap-676 164 8 variables variable NOUN ap-676 164 9 is be AUX ap-676 164 10 defined define VERB ap-676 164 11 which which PRON ap-676 164 12 is be AUX ap-676 164 13 strictly strictly ADV ap-676 164 14 local local ADJ ap-676 164 15 to to ADP ap-676 164 16 this this DET ap-676 164 17 transition transition NOUN ap-676 164 18 . . PUNCT ap-676 165 1 these these DET ap-676 165 2 variables variable NOUN ap-676 165 3 have have VERB ap-676 165 4 types type NOUN ap-676 165 5 or or CCONJ ap-676 165 6 colour colour NOUN ap-676 165 7 domains domain NOUN ap-676 165 8 which which PRON ap-676 165 9 are be AUX ap-676 165 10 usually usually ADV ap-676 165 11 the the DET ap-676 165 12 colours colour NOUN ap-676 165 13 of of ADP ap-676 165 14 the the DET ap-676 165 15 places place NOUN ap-676 165 16 connected connect VERB ap-676 165 17 to to ADP ap-676 165 18 the the DET ap-676 165 19 transition transition NOUN ap-676 165 20 . . PUNCT ap-676 166 1 in in ADP ap-676 166 2 fig fig NOUN ap-676 166 3 . . PUNCT ap-676 167 1 11 11 NUM ap-676 167 2 the the DET ap-676 167 3 set set NOUN ap-676 167 4 of of ADP ap-676 167 5 variables variable NOUN ap-676 167 6 of of ADP ap-676 167 7 transition transition NOUN ap-676 167 8 t3 t3 PROPN ap-676 167 9 is be AUX ap-676 167 10 { { PUNCT ap-676 167 11 x x NOUN ap-676 167 12 , , PUNCT ap-676 167 13 y y PROPN ap-676 167 14 } } PUNCT ap-676 167 15 . . PUNCT ap-676 168 1 the the DET ap-676 168 2 types type NOUN ap-676 168 3 of of ADP ap-676 168 4 x x PUNCT ap-676 168 5 and and CCONJ ap-676 168 6 y y PROPN ap-676 168 7 are be AUX ap-676 168 8 dom(x dom(x PROPN ap-676 168 9 ) ) PUNCT ap-676 168 10 � � NOUN ap-676 168 11 printers printer NOUN ap-676 168 12 and and CCONJ ap-676 168 13 dom(y dom(y NOUN ap-676 168 14 ) ) PUNCT ap-676 168 15 � � PROPN ap-676 168 16 ack ack PROPN ap-676 168 17 , , PUNCT ap-676 168 18 respectively respectively ADV ap-676 168 19 . . PUNCT ap-676 169 1 an an DET ap-676 169 2 assignment assignment NOUN ap-676 169 3 of of ADP ap-676 169 4 values value NOUN ap-676 169 5 to to ADP ap-676 169 6 variables variable NOUN ap-676 169 7 is be AUX ap-676 169 8 called call VERB ap-676 169 9 a a DET ap-676 169 10 binding binding NOUN ap-676 169 11 . . PUNCT ap-676 170 1 not not PART ap-676 170 2 all all DET ap-676 170 3 possible possible ADJ ap-676 170 4 bindings binding NOUN ap-676 170 5 can can AUX ap-676 170 6 be be AUX ap-676 170 7 allowed allow VERB ap-676 170 8 for for ADP ap-676 170 9 a a DET ap-676 170 10 correctly correctly ADV ap-676 170 11 behaving behave VERB ap-676 170 12 net net NOUN ap-676 170 13 . . PUNCT ap-676 171 1 the the DET ap-676 171 2 appropriate appropriate ADJ ap-676 171 3 restriction restriction NOUN ap-676 171 4 is be AUX ap-676 171 5 defined define VERB ap-676 171 6 by by ADP ap-676 171 7 a a DET ap-676 171 8 predicate predicate NOUN ap-676 171 9 at at ADP ap-676 171 10 the the DET ap-676 171 11 transition transition NOUN ap-676 171 12 , , PUNCT ap-676 171 13 which which PRON ap-676 171 14 is be AUX ap-676 171 15 called call VERB ap-676 171 16 a a DET ap-676 171 17 guard guard NOUN ap-676 171 18 . . PUNCT ap-676 172 1 now now ADV ap-676 172 2 the the DET ap-676 172 3 occurrence occurrence NOUN ap-676 172 4 ( ( PUNCT ap-676 172 5 firing firing NOUN ap-676 172 6 ) ) PUNCT ap-676 172 7 rule rule NOUN ap-676 172 8 is be AUX ap-676 172 9 as as SCONJ ap-676 172 10 follows follow VERB ap-676 172 11 , , PUNCT ap-676 172 12 see see VERB ap-676 172 13 fig fig NOUN ap-676 172 14 . . PUNCT ap-676 173 1 10 10 NUM ap-676 173 2 , , PUNCT ap-676 173 3 where where SCONJ ap-676 173 4 all all DET ap-676 173 5 places place NOUN ap-676 173 6 have have VERB ap-676 173 7 the the DET ap-676 173 8 colour colour NOUN ap-676 173 9 set set VERB ap-676 173 10 cd(p cd(p NOUN ap-676 173 11 ) ) PUNCT ap-676 173 12 � � PROPN ap-676 173 13 objects object VERB ap-676 173 14 � � PROPN ap-676 173 15 { { PUNCT ap-676 173 16 a a PROPN ap-676 173 17 , , PUNCT ap-676 173 18 b b NOUN ap-676 173 19 , , PUNCT ap-676 173 20 c c NOUN ap-676 173 21 } } PUNCT ap-676 173 22 , , PUNCT ap-676 173 23 and and CCONJ ap-676 173 24 the the DET ap-676 173 25 colour colour NOUN ap-676 173 26 domain domain NOUN ap-676 173 27 of of ADP ap-676 173 28 all all DET ap-676 173 29 variables variable NOUN ap-676 173 30 is be AUX ap-676 173 31 also also ADV ap-676 173 32 objects object NOUN ap-676 173 33 : : PUNCT ap-676 173 34 1 1 X ap-676 173 35 . . X ap-676 173 36 select select VERB ap-676 173 37 a a DET ap-676 173 38 binding bind VERB ap-676 173 39 such such ADJ ap-676 173 40 that that SCONJ ap-676 173 41 the the DET ap-676 173 42 guard guard NOUN ap-676 173 43 holds hold VERB ap-676 173 44 ( ( PUNCT ap-676 173 45 associate associate VERB ap-676 173 46 with with ADP ap-676 173 47 each each DET ap-676 173 48 variable variable NOUN ap-676 173 49 a a DET ap-676 173 50 value value NOUN ap-676 173 51 of of ADP ap-676 173 52 its its PRON ap-676 173 53 colour colour NOUN ap-676 173 54 ) ) PUNCT ap-676 173 55 , , PUNCT ap-676 173 56 fig fig NOUN ap-676 173 57 . . PUNCT ap-676 173 58 10b 10b NOUN ap-676 173 59 . . PUNCT ap-676 174 1 2 2 X ap-676 174 2 . . X ap-676 174 3 temporarily temporarily ADV ap-676 174 4 replace replace VERB ap-676 174 5 variables variable NOUN ap-676 174 6 by by ADP ap-676 174 7 associated associated ADJ ap-676 174 8 constants constant NOUN ap-676 174 9 , , PUNCT ap-676 174 10 fig fig NOUN ap-676 174 11 . . PUNCT ap-676 174 12 10c 10c NOUN ap-676 174 13 . . PUNCT ap-676 175 1 3 3 X ap-676 175 2 . . X ap-676 175 3 apply apply VERB ap-676 175 4 the the DET ap-676 175 5 firing firing NOUN ap-676 175 6 rule rule NOUN ap-676 175 7 from from ADP ap-676 175 8 ac ac NOUN ap-676 175 9 - - NOUN ap-676 175 10 cpn cpn NOUN ap-676 175 11 from from ADP ap-676 175 12 fig fig NOUN ap-676 175 13 . . PUNCT ap-676 176 1 9 9 NUM ap-676 176 2 as as SCONJ ap-676 176 3 shown show VERB ap-676 176 4 in in ADP ap-676 176 5 fig fig NOUN ap-676 176 6 . . PUNCT ap-676 177 1 10d 10d NOUN ap-676 177 2 ( ( PUNCT ap-676 177 3 remove remove VERB ap-676 177 4 all all DET ap-676 177 5 appropriate appropriate ADJ ap-676 177 6 tokens token NOUN ap-676 177 7 from from ADP ap-676 177 8 input input NOUN ap-676 177 9 and and CCONJ ap-676 177 10 add add VERB ap-676 177 11 to to ADP ap-676 177 12 output output NOUN ap-676 177 13 places place NOUN ap-676 177 14 according accord VERB ap-676 177 15 the the DET ap-676 177 16 arc arc NOUN ap-676 177 17 inscriptions inscription NOUN ap-676 177 18 ) ) PUNCT ap-676 177 19 . . PUNCT ap-676 178 1 the the DET ap-676 178 2 firing firing NOUN ap-676 178 3 rule rule NOUN ap-676 178 4 should should AUX ap-676 178 5 be be AUX ap-676 178 6 understood understand VERB ap-676 178 7 as as ADP ap-676 178 8 a a DET ap-676 178 9 single single ADJ ap-676 178 10 step step NOUN ap-676 178 11 from from ADP ap-676 178 12 fig fig NOUN ap-676 178 13 . . PUNCT ap-676 179 1 10a 10a NOUN ap-676 179 2 to to ADP ap-676 179 3 d. d. PROPN ap-676 179 4 if if SCONJ ap-676 179 5 the the DET ap-676 179 6 binding bind VERB ap-676 179 7 x x PROPN ap-676 179 8 � � PROPN ap-676 179 9 a a X ap-676 179 10 , , PUNCT ap-676 179 11 y y PROPN ap-676 179 12 � � PROPN ap-676 179 13 b b PROPN ap-676 179 14 , , PUNCT ap-676 179 15 z z PROPN ap-676 179 16 � � PROPN ap-676 179 17 c c PROPN ap-676 179 18 is be AUX ap-676 179 19 selected select VERB ap-676 179 20 , , PUNCT ap-676 179 21 then then ADV ap-676 179 22 10 10 NUM ap-676 179 23 © © PROPN ap-676 179 24 czech czech PROPN ap-676 179 25 technical technical PROPN ap-676 179 26 university university PROPN ap-676 179 27 publishing publishing NOUN ap-676 179 28 house house NOUN ap-676 179 29 http://ctn.cvut.cz/ap/ http://ctn.cvut.cz/ap/ PROPN ap-676 179 30 acta acta PROPN ap-676 179 31 polytechnica polytechnica PROPN ap-676 179 32 vol vol NOUN ap-676 179 33 . . PROPN ap-676 180 1 45 45 NUM ap-676 180 2 no no NOUN ap-676 180 3 . . PUNCT ap-676 181 1 2/2005 2/2005 NUM ap-676 181 2 czech czech PROPN ap-676 181 3 technical technical PROPN ap-676 181 4 university university PROPN ap-676 181 5 in in ADP ap-676 181 6 prague prague PROPN ap-676 181 7 colour colour NOUN ap-676 181 8 sets set NOUN ap-676 181 9 : : PUNCT ap-676 181 10 control control NOUN ap-676 181 11 = = SYM ap-676 181 12 { { PUNCT ap-676 181 13 s s NOUN ap-676 181 14 } } PUNCT ap-676 181 15 printers printer NOUN ap-676 181 16 = = SYM ap-676 181 17 { { PUNCT ap-676 181 18 a a PRON ap-676 181 19 , , PUNCT ap-676 181 20 b b NOUN ap-676 181 21 } } PUNCT ap-676 181 22 ack ack NOUN ap-676 181 23 = = SYM ap-676 181 24 { { PUNCT ap-676 181 25 acka acka PROPN ap-676 181 26 , , PUNCT ap-676 181 27 ackb ackb ADJ ap-676 181 28 } } PUNCT ap-676 181 29 strobe strobe NOUN ap-676 181 30 = = SYM ap-676 181 31 { { PUNCT ap-676 181 32 sta sta NOUN ap-676 181 33 , , PUNCT ap-676 181 34 stb stb PROPN ap-676 181 35 } } PUNCT ap-676 181 36 constants constant NOUN ap-676 181 37 : : PUNCT ap-676 181 38 s s X ap-676 181 39 , , PUNCT ap-676 181 40 a a PRON ap-676 181 41 , , PUNCT ap-676 181 42 b b NOUN ap-676 181 43 , , PUNCT ap-676 181 44 acka acka PROPN ap-676 181 45 , , PUNCT ap-676 181 46 ackb ackb NOUN ap-676 181 47 , , PUNCT ap-676 181 48 sta sta PROPN ap-676 181 49 , , PUNCT ap-676 181 50 stb stb PROPN ap-676 181 51 fig fig PROPN ap-676 181 52 . . PUNCT ap-676 182 1 8 8 NUM ap-676 182 2 : : PUNCT ap-676 182 3 arc arc NOUN ap-676 182 4 - - PUNCT ap-676 182 5 constant constant ADJ ap-676 182 6 cpn cpn NOUN ap-676 182 7 without without ADP ap-676 182 8 three three NUM ap-676 182 9 places place NOUN ap-676 182 10 fig fig NOUN ap-676 182 11 . . PUNCT ap-676 183 1 9 9 NUM ap-676 183 2 : : PUNCT ap-676 183 3 firing fire VERB ap-676 183 4 rule rule NOUN ap-676 183 5 for for ADP ap-676 183 6 ac ac NOUN ap-676 183 7 - - NOUN ap-676 183 8 cpn cpn NOUN ap-676 183 9 the the DET ap-676 183 10 transition transition NOUN ap-676 183 11 is be AUX ap-676 183 12 not not PART ap-676 183 13 enabled enable VERB ap-676 183 14 in in ADP ap-676 183 15 this this DET ap-676 183 16 binding binding NOUN ap-676 183 17 , , PUNCT ap-676 183 18 since since SCONJ ap-676 183 19 the the DET ap-676 183 20 guard guard NOUN ap-676 183 21 is be AUX ap-676 183 22 not not PART ap-676 183 23 satisfied satisfied ADJ ap-676 183 24 . . PUNCT ap-676 184 1 the the DET ap-676 184 2 selection selection NOUN ap-676 184 3 of of ADP ap-676 184 4 a a DET ap-676 184 5 binding binding NOUN ap-676 184 6 is be AUX ap-676 184 7 local local ADJ ap-676 184 8 to to ADP ap-676 184 9 a a DET ap-676 184 10 transition transition NOUN ap-676 184 11 . . PUNCT ap-676 185 1 definition definition NOUN ap-676 185 2 5 5 NUM ap-676 185 3 . . PUNCT ap-676 186 1 a a DET ap-676 186 2 coloured colour VERB ap-676 186 3 petri petri ADJ ap-676 186 4 net net ADJ ap-676 186 5 ( ( PUNCT ap-676 186 6 cpn cpn NOUN ap-676 186 7 ) ) PUNCT ap-676 186 8 is be AUX ap-676 186 9 defined define VERB ap-676 186 10 by by ADP ap-676 186 11 a a DET ap-676 186 12 tuple tuple NOUN ap-676 186 13 ncpn ncpn NOUN ap-676 186 14 � � PROPN ap-676 186 15 < < X ap-676 186 16 p p PROPN ap-676 186 17 , , PUNCT ap-676 186 18 t t PROPN ap-676 186 19 , , PUNCT ap-676 186 20 pre pre ADJ ap-676 186 21 , , PUNCT ap-676 186 22 post post ADJ ap-676 186 23 , , PUNCT ap-676 186 24 c c NOUN ap-676 186 25 , , PUNCT ap-676 186 26 cd cd PROPN ap-676 186 27 > > X ap-676 186 28 where where SCONJ ap-676 186 29 � � PROPN ap-676 186 30 p p PROPN ap-676 186 31 is be AUX ap-676 186 32 a a DET ap-676 186 33 finite finite ADJ ap-676 186 34 set set NOUN ap-676 186 35 ( ( PUNCT ap-676 186 36 the the DET ap-676 186 37 set set NOUN ap-676 186 38 of of ADP ap-676 186 39 places place NOUN ap-676 186 40 of of ADP ap-676 186 41 ncpn ncpn NOUN ap-676 186 42 ) ) PUNCT ap-676 186 43 , , PUNCT ap-676 186 44 � � PROPN ap-676 186 45 t t PROPN ap-676 186 46 is be AUX ap-676 186 47 a a DET ap-676 186 48 finite finite ADJ ap-676 186 49 set set NOUN ap-676 186 50 ( ( PUNCT ap-676 186 51 the the DET ap-676 186 52 set set NOUN ap-676 186 53 of of ADP ap-676 186 54 transitions transition NOUN ap-676 186 55 of of ADP ap-676 186 56 ncpn ncpn NOUN ap-676 186 57 ) ) PUNCT ap-676 186 58 , , PUNCT ap-676 186 59 disjoint disjoint VERB ap-676 186 60 from from ADP ap-676 186 61 p p PRON ap-676 186 62 , , PUNCT ap-676 186 63 � � PROPN ap-676 186 64 c c PROPN ap-676 186 65 is be AUX ap-676 186 66 the the DET ap-676 186 67 set set NOUN ap-676 186 68 of of ADP ap-676 186 69 colour colour NOUN ap-676 186 70 classes class NOUN ap-676 186 71 , , PUNCT ap-676 186 72 � � PROPN ap-676 186 73 cd cd PROPN ap-676 186 74 : : PUNCT ap-676 186 75 p p PROPN ap-676 186 76 t t PROPN ap-676 186 77 c c PROPN ap-676 186 78 � � PROPN ap-676 186 79 � � PROPN ap-676 186 80 is be AUX ap-676 186 81 the the DET ap-676 186 82 colour colour ADJ ap-676 186 83 domain domain NOUN ap-676 186 84 mapping mapping NOUN ap-676 186 85 , , PUNCT ap-676 186 86 and and CCONJ ap-676 186 87 � � PROPN ap-676 186 88 pre pre PROPN ap-676 186 89 , , PUNCT ap-676 186 90 post post VERB ap-676 186 91 � � PROPN ap-676 186 92 b b PROPN ap-676 186 93 |p|×|t| |p|×|t| PROPN ap-676 186 94 are be AUX ap-676 186 95 matrices matrix NOUN ap-676 186 96 ( ( PUNCT ap-676 186 97 the the DET ap-676 186 98 backward backward ADJ ap-676 186 99 and and CCONJ ap-676 186 100 forward forward ADJ ap-676 186 101 incidence incidence NOUN ap-676 186 102 matrices matrix NOUN ap-676 186 103 of of ADP ap-676 186 104 ncpn ncpn NOUN ap-676 186 105 ) ) PUNCT ap-676 186 106 such such ADJ ap-676 186 107 that that DET ap-676 186 108 pre pre ADJ ap-676 187 1 [ [ X ap-676 187 2 p p X ap-676 187 3 , , PUNCT ap-676 187 4 t t PROPN ap-676 187 5 ] ] X ap-676 187 6 : : PUNCT ap-676 187 7 cd(t cd(t X ap-676 187 8 ) ) PUNCT ap-676 187 9 � � PROPN ap-676 187 10 bag(cd(p bag(cd(p PROPN ap-676 187 11 ) ) PUNCT ap-676 187 12 ) ) PUNCT ap-676 187 13 and and CCONJ ap-676 187 14 post post VERB ap-676 187 15 [ [ X ap-676 187 16 p p X ap-676 187 17 , , PUNCT ap-676 187 18 t t PROPN ap-676 187 19 ] ] X ap-676 187 20 : : PUNCT ap-676 187 21 cd(t cd(t X ap-676 187 22 ) ) PUNCT ap-676 187 23 � � PROPN ap-676 187 24 bag(cd(p bag(cd(p PROPN ap-676 187 25 ) ) PUNCT ap-676 187 26 ) ) PUNCT ap-676 187 27 are be AUX ap-676 187 28 mappings mapping NOUN ap-676 187 29 for for ADP ap-676 187 30 each each DET ap-676 187 31 pair pair NOUN ap-676 187 32 ( ( PUNCT ap-676 187 33 p p X ap-676 187 34 , , PUNCT ap-676 187 35 t t PROPN ap-676 187 36 ) ) PUNCT ap-676 187 37 � � PROPN ap-676 187 38 p×t p×t PROPN ap-676 187 39 . . PUNCT ap-676 188 1 b b PROPN ap-676 188 2 can can AUX ap-676 188 3 be be AUX ap-676 188 4 taken take VERB ap-676 188 5 as as ADP ap-676 188 6 the the DET ap-676 188 7 set set NOUN ap-676 188 8 of of ADP ap-676 188 9 mappings mapping NOUN ap-676 188 10 of of ADP ap-676 188 11 the the DET ap-676 188 12 form form NOUN ap-676 188 13 f f X ap-676 188 14 : : PUNCT ap-676 188 15 cd(t cd(t NUM ap-676 188 16 ) ) PUNCT ap-676 188 17 � � PROPN ap-676 188 18 bag(cd(p bag(cd(p PROPN ap-676 188 19 ) ) PUNCT ap-676 188 20 ) ) PUNCT ap-676 188 21 . . PUNCT ap-676 189 1 c c PROPN ap-676 189 2 � � PROPN ap-676 189 3 post post PROPN ap-676 189 4 � � PROPN ap-676 189 5 pre pre ADJ ap-676 189 6 is be AUX ap-676 189 7 called call VERB ap-676 189 8 incidence incidence NOUN ap-676 189 9 matrix matrix NOUN ap-676 189 10 . . PUNCT ap-676 190 1 the the DET ap-676 190 2 mapping mapping NOUN ap-676 190 3 pre pre ADJ ap-676 190 4 [ [ PUNCT ap-676 190 5 , , PUNCT ap-676 190 6 ] ] X ap-676 190 7 : : PUNCT ap-676 190 8 ( ( PUNCT ap-676 190 9 ) ) PUNCT ap-676 190 10 ( ( PUNCT ap-676 190 11 ( ( PUNCT ap-676 190 12 ) ) PUNCT ap-676 190 13 ) ) PUNCT ap-676 191 1 p p PROPN ap-676 191 2 t t PROPN ap-676 191 3 cd cd PROPN ap-676 191 4 t t PROPN ap-676 191 5 cd cd PROPN ap-676 191 6 p p PROPN ap-676 191 7 � � PROPN ap-676 191 8 bag bag NOUN ap-676 191 9 defines define NOUN ap-676 191 10 for for ADP ap-676 191 11 each each DET ap-676 191 12 transition transition NOUN ap-676 191 13 the the DET ap-676 191 14 colour colour NOUN ap-676 191 15 ( ( PUNCT ap-676 191 16 occurrence occurrence NOUN ap-676 191 17 mode mode NOUN ap-676 191 18 ) ) PUNCT ap-676 191 19 � � PROPN ap-676 191 20 � � PROPN ap-676 191 21 cd cd PROPN ap-676 191 22 t t PROPN ap-676 191 23 ( ( PUNCT ap-676 191 24 ) ) PUNCT ap-676 191 25 of of ADP ap-676 191 26 t t PROPN ap-676 191 27 a a DET ap-676 191 28 bag bag NOUN ap-676 191 29 pre pre X ap-676 192 1 [ [ PUNCT ap-676 192 2 , , PUNCT ap-676 192 3 ] ] X ap-676 192 4 ( ( PUNCT ap-676 192 5 ) ) PUNCT ap-676 192 6 ( ( PUNCT ap-676 192 7 ( ( PUNCT ap-676 192 8 ) ) PUNCT ap-676 192 9 ) ) PUNCT ap-676 192 10 p p PROPN ap-676 192 11 t t PROPN ap-676 192 12 cd cd PROPN ap-676 192 13 p p PROPN ap-676 192 14 � � PROPN ap-676 192 15 � � PROPN ap-676 192 16 bag bag NOUN ap-676 192 17 denoting denote VERB ap-676 192 18 the the DET ap-676 192 19 token token ADJ ap-676 192 20 bag bag NOUN ap-676 192 21 to to PART ap-676 192 22 be be AUX ap-676 192 23 removed remove VERB ap-676 192 24 from from ADP ap-676 192 25 p p NOUN ap-676 192 26 when when SCONJ ap-676 192 27 t t PROPN ap-676 192 28 occurs occur VERB ap-676 192 29 ( ( PUNCT ap-676 192 30 fires fire NOUN ap-676 192 31 ) ) PUNCT ap-676 192 32 in in ADP ap-676 192 33 colour colour PROPN ap-676 192 34 � � PROPN ap-676 192 35 . . PUNCT ap-676 193 1 in in ADP ap-676 193 2 a a DET ap-676 193 3 similar similar ADJ ap-676 193 4 way way NOUN ap-676 193 5 , , PUNCT ap-676 193 6 post post NOUN ap-676 193 7 [ [ PUNCT ap-676 193 8 , , PUNCT ap-676 193 9 ] ] X ap-676 193 10 ( ( PUNCT ap-676 193 11 ) ) PUNCT ap-676 193 12 p p PROPN ap-676 193 13 t t PROPN ap-676 193 14 � � PROPN ap-676 193 15 specifies specify VERB ap-676 193 16 the the DET ap-676 193 17 bag bag NOUN ap-676 193 18 to to PART ap-676 193 19 be be AUX ap-676 193 20 added add VERB ap-676 193 21 to to ADP ap-676 193 22 p p NOUN ap-676 193 23 when when SCONJ ap-676 193 24 t t PROPN ap-676 193 25 occurs occur VERB ap-676 193 26 ( ( PUNCT ap-676 193 27 fires fire NOUN ap-676 193 28 ) ) PUNCT ap-676 193 29 in in ADP ap-676 193 30 colour colour PROPN ap-676 193 31 � � PROPN ap-676 193 32 . . PUNCT ap-676 194 1 the the DET ap-676 194 2 overall overall ADJ ap-676 194 3 effect effect NOUN ap-676 194 4 of of ADP ap-676 194 5 the the DET ap-676 194 6 action action NOUN ap-676 194 7 performed perform VERB ap-676 194 8 on on ADP ap-676 194 9 the the DET ap-676 194 10 transition transition NOUN ap-676 194 11 firing firing NOUN ap-676 194 12 is be AUX ap-676 194 13 given give VERB ap-676 194 14 by by ADP ap-676 194 15 a a DET ap-676 194 16 tuple tuple NOUN ap-676 194 17 corresponding correspond VERB ap-676 194 18 to to ADP ap-676 194 19 the the DET ap-676 194 20 arcs arcs NOUN ap-676 194 21 connected connect VERB ap-676 194 22 with with ADP ap-676 194 23 t. t. NOUN ap-676 194 24 the the DET ap-676 194 25 colours colour NOUN ap-676 194 26 of of ADP ap-676 194 27 the the DET ap-676 194 28 transition transition NOUN ap-676 194 29 can can AUX ap-676 194 30 be be AUX ap-676 194 31 seen see VERB ap-676 194 32 as as ADP ap-676 194 33 particular particular ADJ ap-676 194 34 subsets subset NOUN ap-676 194 35 of of ADP ap-676 194 36 tuples tuples PROPN ap-676 194 37 cd cd PROPN ap-676 194 38 t t PROPN ap-676 194 39 cd cd PROPN ap-676 194 40 p p PROPN ap-676 194 41 cd cd PROPN ap-676 194 42 p p PROPN ap-676 194 43 p p X ap-676 194 44 ( ( PUNCT ap-676 194 45 ) ) PUNCT ap-676 194 46 ( ( PUNCT ap-676 194 47 ( ( PUNCT ap-676 194 48 ) ) PUNCT ap-676 194 49 ) ) PUNCT ap-676 195 1 ( ( PUNCT ap-676 195 2 ( ( PUNCT ap-676 195 3 ) ) PUNCT ap-676 195 4 ) ) PUNCT ap-676 195 5 � � PROPN ap-676 195 6 � � PROPN ap-676 195 7 � � PROPN ap-676 195 8 bag bag PROPN ap-676 195 9 bag1 bag1 NOUN ap-676 195 10 � � PROPN ap-676 195 11 , , PUNCT ap-676 195 12 i.e. i.e. X ap-676 195 13 , , PUNCT ap-676 195 14 vectors vector NOUN ap-676 195 15 having have VERB ap-676 195 16 an an DET ap-676 195 17 entry entry NOUN ap-676 195 18 for for ADP ap-676 195 19 each each DET ap-676 195 20 place place NOUN ap-676 195 21 . . PUNCT ap-676 196 1 but but CCONJ ap-676 196 2 this this PRON ap-676 196 3 can can AUX ap-676 196 4 be be AUX ap-676 196 5 an an DET ap-676 196 6 arbitrary arbitrary ADJ ap-676 196 7 set set NOUN ap-676 196 8 as as ADV ap-676 196 9 well well ADV ap-676 196 10 . . PUNCT ap-676 197 1 effective effective ADJ ap-676 197 2 representations representation NOUN ap-676 197 3 of of ADP ap-676 197 4 this this DET ap-676 197 5 set set NOUN ap-676 197 6 are be AUX ap-676 197 7 © © PROPN ap-676 197 8 czech czech PROPN ap-676 197 9 technical technical PROPN ap-676 197 10 university university PROPN ap-676 197 11 publishing publishing NOUN ap-676 197 12 house house NOUN ap-676 197 13 http://ctn.cvut.cz/ap/ http://ctn.cvut.cz/ap/ PROPN ap-676 197 14 11 11 NUM ap-676 197 15 czech czech PROPN ap-676 197 16 technical technical PROPN ap-676 197 17 university university PROPN ap-676 197 18 in in ADP ap-676 197 19 prague prague PROPN ap-676 197 20 acta acta PROPN ap-676 197 21 polytechnica polytechnica PROPN ap-676 197 22 vol vol NOUN ap-676 197 23 . . PROPN ap-676 198 1 45 45 NUM ap-676 198 2 no no NOUN ap-676 198 3 . . PUNCT ap-676 199 1 2/2005 2/2005 PRON ap-676 199 2 select select VERB ap-676 199 3 a a DET ap-676 199 4 binding binding NOUN ap-676 199 5 , , PUNCT ap-676 199 6 such such ADJ ap-676 199 7 that that SCONJ ap-676 199 8 the the DET ap-676 199 9 guard guard NOUN ap-676 199 10 holds hold VERB ap-676 199 11 , , PUNCT ap-676 199 12 e.g. e.g. ADV ap-676 199 13 : : PUNCT ap-676 199 14 x x SYM ap-676 199 15 a a DET ap-676 199 16 y y PROPN ap-676 199 17 b b PROPN ap-676 199 18 z z PROPN ap-676 199 19 b b PROPN ap-676 199 20 � � PROPN ap-676 199 21 � � PROPN ap-676 199 22 � � PROPN ap-676 199 23 fig fig PROPN ap-676 199 24 . . PUNCT ap-676 200 1 10 10 NUM ap-676 200 2 : : PUNCT ap-676 200 3 firing fire VERB ap-676 200 4 rule rule NOUN ap-676 200 5 for for ADP ap-676 200 6 cpn cpn NOUN ap-676 200 7 colour colour NOUN ap-676 200 8 sets set NOUN ap-676 200 9 : : PUNCT ap-676 200 10 control control NOUN ap-676 200 11 = = SYM ap-676 200 12 { { PUNCT ap-676 200 13 s s NOUN ap-676 200 14 } } PUNCT ap-676 200 15 printers printer NOUN ap-676 200 16 = = SYM ap-676 200 17 { { PUNCT ap-676 200 18 a a PRON ap-676 200 19 , , PUNCT ap-676 200 20 b b NOUN ap-676 200 21 } } PUNCT ap-676 200 22 ack ack NOUN ap-676 200 23 = = SYM ap-676 200 24 { { PUNCT ap-676 200 25 acka acka PROPN ap-676 200 26 , , PUNCT ap-676 200 27 ackb ackb ADJ ap-676 200 28 } } PUNCT ap-676 200 29 strobe strobe NOUN ap-676 200 30 = = SYM ap-676 200 31 { { PUNCT ap-676 200 32 st st PROPN ap-676 200 33 } } PUNCT ap-676 200 34 variables variable NOUN ap-676 200 35 : : PUNCT ap-676 200 36 x x X ap-676 200 37 , , PUNCT ap-676 200 38 y y PROPN ap-676 200 39 , , PUNCT ap-676 200 40 z z PROPN ap-676 200 41 , , PUNCT ap-676 200 42 st st PROPN ap-676 200 43 constants constant NOUN ap-676 200 44 : : PUNCT ap-676 201 1 acka acka PROPN ap-676 201 2 , , PUNCT ap-676 201 3 ackb ackb NOUN ap-676 201 4 , , PUNCT ap-676 201 5 sta sta PROPN ap-676 201 6 , , PUNCT ap-676 201 7 stb stb PROPN ap-676 201 8 x x SYM ap-676 201 9 y y PROPN ap-676 201 10 z z PROPN ap-676 201 11 st st PROPN ap-676 201 12 , , PUNCT ap-676 201 13 , , PUNCT ap-676 201 14 , , PUNCT ap-676 201 15 fig fig NOUN ap-676 201 16 . . PUNCT ap-676 202 1 11 11 NUM ap-676 202 2 : : PUNCT ap-676 202 3 cpn cpn NOUN ap-676 202 4 model model NOUN ap-676 202 5 of of ADP ap-676 202 6 printers printer NOUN ap-676 202 7 necessary necessary ADJ ap-676 202 8 . . PUNCT ap-676 203 1 the the DET ap-676 203 2 mappings mapping NOUN ap-676 203 3 pre pre X ap-676 203 4 [ [ PUNCT ap-676 203 5 , , PUNCT ap-676 203 6 ] ] X ap-676 203 7 p p X ap-676 203 8 t t NOUN ap-676 203 9 and and CCONJ ap-676 203 10 post post VERB ap-676 203 11 [ [ PUNCT ap-676 203 12 , , PUNCT ap-676 203 13 ] ] X ap-676 203 14 p p X ap-676 203 15 t t NOUN ap-676 203 16 can can AUX ap-676 203 17 be be AUX ap-676 203 18 denoted denote VERB ap-676 203 19 by by ADP ap-676 203 20 vectors vector NOUN ap-676 203 21 , , PUNCT ap-676 203 22 projections projection NOUN ap-676 203 23 , , PUNCT ap-676 203 24 functions function NOUN ap-676 203 25 and and CCONJ ap-676 203 26 terms term NOUN ap-676 203 27 with with ADP ap-676 203 28 functions function NOUN ap-676 203 29 and and CCONJ ap-676 203 30 variables variable NOUN ap-676 203 31 . . PUNCT ap-676 204 1 3 3 NUM ap-676 204 2 experiments experiment NOUN ap-676 204 3 with with ADP ap-676 204 4 hardware hardware NOUN ap-676 204 5 implementation implementation NOUN ap-676 204 6 we we PRON ap-676 204 7 performed perform VERB ap-676 204 8 several several ADJ ap-676 204 9 experiments experiment NOUN ap-676 204 10 with with ADP ap-676 204 11 direct direct ADJ ap-676 204 12 implementation implementation NOUN ap-676 204 13 of of ADP ap-676 204 14 the the DET ap-676 204 15 petri petri ADJ ap-676 204 16 nets net NOUN ap-676 204 17 model model NOUN ap-676 204 18 in in ADP ap-676 204 19 hardware hardware NOUN ap-676 204 20 ( ( PUNCT ap-676 204 21 fpga fpga PROPN ap-676 204 22 ) ) PUNCT ap-676 204 23 . . PUNCT ap-676 205 1 the the DET ap-676 205 2 results result NOUN ap-676 205 3 were be AUX ap-676 205 4 presented present VERB ap-676 205 5 in in ADP ap-676 205 6 [ [ X ap-676 205 7 14 14 NUM ap-676 205 8 ] ] PUNCT ap-676 205 9 , , PUNCT ap-676 205 10 [ [ X ap-676 205 11 15 15 NUM ap-676 205 12 ] ] PUNCT ap-676 205 13 and and CCONJ ap-676 205 14 [ [ AUX ap-676 205 15 16].these 16].these ADJ ap-676 205 16 models model NOUN ap-676 205 17 are be AUX ap-676 205 18 briefly briefly ADV ap-676 205 19 described describe VERB ap-676 205 20 here here ADV ap-676 205 21 . . PUNCT ap-676 206 1 they they PRON ap-676 206 2 were be AUX ap-676 206 3 constructed construct VERB ap-676 206 4 in in ADP ap-676 206 5 software software NOUN ap-676 206 6 tools tool NOUN ap-676 206 7 ( ( PUNCT ap-676 206 8 design design NOUN ap-676 206 9 / / SYM ap-676 206 10 cpn cpn NOUN ap-676 206 11 or or CCONJ ap-676 206 12 jarp jarp NOUN ap-676 206 13 editor editor NOUN ap-676 206 14 ) ) PUNCT ap-676 206 15 and and CCONJ ap-676 206 16 from from ADP ap-676 206 17 these these DET ap-676 206 18 tools tool NOUN ap-676 206 19 their their PRON ap-676 206 20 unified unified ADJ ap-676 206 21 description description NOUN ap-676 206 22 in in ADP ap-676 206 23 pnml pnml NOUN ap-676 206 24 language language NOUN ap-676 207 1 [ [ X ap-676 207 2 11 11 NUM ap-676 207 3 ] ] PUNCT ap-676 207 4 , , PUNCT ap-676 207 5 [ [ X ap-676 207 6 12 12 NUM ap-676 207 7 ] ] PUNCT ap-676 207 8 , , PUNCT ap-676 207 9 was be AUX ap-676 207 10 directly directly ADV ap-676 207 11 transformed transform VERB ap-676 207 12 into into ADP ap-676 207 13 the the DET ap-676 207 14 fpga fpga PROPN ap-676 207 15 bitstream bitstream NOUN ap-676 207 16 . . PUNCT ap-676 208 1 we we PRON ap-676 208 2 have have AUX ap-676 208 3 modeled model VERB ap-676 208 4 5 5 NUM ap-676 208 5 philosophers philosopher NOUN ap-676 208 6 , , PUNCT ap-676 208 7 who who PRON ap-676 208 8 are be AUX ap-676 208 9 dining dine VERB ap-676 208 10 together together ADV ap-676 208 11 , , PUNCT ap-676 208 12 fig fig NOUN ap-676 208 13 . . PUNCT ap-676 209 1 12 12 NUM ap-676 209 2 . . PUNCT ap-676 210 1 the the DET ap-676 210 2 philosophers philosopher NOUN ap-676 210 3 each each PRON ap-676 210 4 have have VERB ap-676 210 5 two two NUM ap-676 210 6 forks fork NOUN ap-676 210 7 next next ADV ap-676 210 8 to to ADP ap-676 210 9 them they PRON ap-676 210 10 , , PUNCT ap-676 210 11 both both PRON ap-676 210 12 of of ADP ap-676 210 13 which which PRON ap-676 210 14 they they PRON ap-676 210 15 need need VERB ap-676 210 16 in in ADP ap-676 210 17 order order NOUN ap-676 210 18 to to PART ap-676 210 19 eat eat VERB ap-676 210 20 . . PUNCT ap-676 211 1 as as SCONJ ap-676 211 2 there there PRON ap-676 211 3 are be VERB ap-676 211 4 only only ADV ap-676 211 5 five five NUM ap-676 211 6 forks fork NOUN ap-676 211 7 it it PRON ap-676 211 8 is be AUX ap-676 211 9 not not PART ap-676 211 10 possible possible ADJ ap-676 211 11 for for SCONJ ap-676 211 12 all all PRON ap-676 211 13 5 5 NUM ap-676 211 14 philosophers philosopher NOUN ap-676 211 15 to to PART ap-676 211 16 be be AUX ap-676 211 17 eating eat VERB ap-676 211 18 at at ADP ap-676 211 19 the the DET ap-676 211 20 same same ADJ ap-676 211 21 time time NOUN ap-676 211 22 . . PUNCT ap-676 212 1 the the DET ap-676 212 2 petri petri ADJ ap-676 212 3 net net NOUN ap-676 212 4 shown show VERB ap-676 212 5 here here ADV ap-676 212 6 models model VERB ap-676 212 7 a a DET ap-676 212 8 philosopher philosopher NOUN ap-676 212 9 who who PRON ap-676 212 10 takes take VERB ap-676 212 11 both both DET ap-676 212 12 forks fork NOUN ap-676 212 13 simultaneously simultaneously ADV ap-676 212 14 , , PUNCT ap-676 212 15 thus thus ADV ap-676 212 16 preventing prevent VERB ap-676 212 17 the the DET ap-676 212 18 situation situation NOUN ap-676 212 19 where where SCONJ ap-676 212 20 some some DET ap-676 212 21 philosophers philosopher NOUN ap-676 212 22 may may AUX ap-676 212 23 have have VERB ap-676 212 24 only only ADV ap-676 212 25 one one NUM ap-676 212 26 fork fork NOUN ap-676 212 27 but but CCONJ ap-676 212 28 are be AUX ap-676 212 29 not not PART ap-676 212 30 able able ADJ ap-676 212 31 to to PART ap-676 212 32 pick pick VERB ap-676 212 33 up up ADP ap-676 212 34 the the DET ap-676 212 35 second second ADJ ap-676 212 36 fork fork NOUN ap-676 212 37 as as SCONJ ap-676 212 38 their their PRON ap-676 212 39 neighbors neighbor NOUN ap-676 212 40 have have AUX ap-676 212 41 already already ADV ap-676 212 42 done do VERB ap-676 212 43 so so ADV ap-676 212 44 . . PUNCT ap-676 213 1 the the DET ap-676 213 2 token token NOUN ap-676 213 3 in in ADP ap-676 213 4 the the DET ap-676 213 5 fork fork NOUN ap-676 213 6 place place NOUN ap-676 213 7 ( ( PUNCT ap-676 213 8 places place NOUN ap-676 213 9 p1 p1 NOUN ap-676 213 10 , , PUNCT ap-676 213 11 p2 p2 NOUN ap-676 213 12 , , PUNCT ap-676 213 13 … … PUNCT ap-676 213 14 , , PUNCT ap-676 213 15 p5 p5 ADJ ap-676 213 16 ) ) PUNCT ap-676 213 17 means mean VERB ap-676 213 18 that that SCONJ ap-676 213 19 this this DET ap-676 213 20 fork fork NOUN ap-676 213 21 is be AUX ap-676 213 22 free free ADJ ap-676 213 23 . . PUNCT ap-676 214 1 the the DET ap-676 214 2 token token NOUN ap-676 214 3 in in ADP ap-676 214 4 the the DET ap-676 214 5 eat eat NOUN ap-676 214 6 place place NOUN ap-676 214 7 ( ( PUNCT ap-676 214 8 places place NOUN ap-676 214 9 p6 p6 PROPN ap-676 214 10 , , PUNCT ap-676 214 11 p7 p7 ADJ ap-676 214 12 , , PUNCT ap-676 214 13 … … NUM ap-676 214 14 , , PUNCT ap-676 214 15 p10 p10 NOUN ap-676 214 16 ) ) PUNCT ap-676 214 17 means mean VERB ap-676 214 18 that that SCONJ ap-676 214 19 this this DET ap-676 214 20 philosopher philosopher NOUN ap-676 214 21 is be AUX ap-676 214 22 eating eat VERB ap-676 214 23 . . PUNCT ap-676 215 1 we we PRON ap-676 215 2 also also ADV ap-676 215 3 performed perform VERB ap-676 215 4 experiments experiment NOUN ap-676 215 5 with with ADP ap-676 215 6 a a DET ap-676 215 7 “ " PUNCT ap-676 215 8 producer producer NOUN ap-676 215 9 - - PUNCT ap-676 215 10 consumer consumer NOUN ap-676 215 11 ” " PUNCT ap-676 215 12 system system NOUN ap-676 215 13 , , PUNCT ap-676 215 14 fig fig NOUN ap-676 215 15 . . PUNCT ap-676 216 1 13 13 NUM ap-676 216 2 . . PUNCT ap-676 217 1 our our PRON ap-676 217 2 fpga fpga PROPN ap-676 217 3 implementation implementation NOUN ap-676 217 4 used use VERB ap-676 217 5 59 59 NUM ap-676 217 6 clb clb NOUN ap-676 217 7 blocks block NOUN ap-676 217 8 , , PUNCT ap-676 217 9 47 47 NUM ap-676 217 10 flip flip NOUN ap-676 217 11 - - PUNCT ap-676 217 12 flops flop NOUN ap-676 217 13 with with ADP ap-676 217 14 maximum maximum ADJ ap-676 217 15 working working ADJ ap-676 217 16 frequency frequency NOUN ap-676 217 17 24.4 24.4 NUM ap-676 217 18 mhz mhz NOUN ap-676 217 19 . . PUNCT ap-676 218 1 the the DET ap-676 218 2 maximum maximum ADJ ap-676 218 3 input input NOUN ap-676 218 4 capacity capacity NOUN ap-676 218 5 parameter parameter NOUN ap-676 218 6 for for ADP ap-676 218 7 places place NOUN ap-676 218 8 ( ( PUNCT ap-676 218 9 the the DET ap-676 218 10 size size NOUN ap-676 218 11 of of ADP ap-676 218 12 the the DET ap-676 218 13 counter counter NOUN ap-676 218 14 ) ) PUNCT ap-676 218 15 was be AUX ap-676 218 16 set set VERB ap-676 218 17 to to ADP ap-676 218 18 the the DET ap-676 218 19 value value NOUN ap-676 218 20 3 3 NUM ap-676 218 21 . . PUNCT ap-676 219 1 the the DET ap-676 219 2 average average ADJ ap-676 219 3 buffer buffer NOUN ap-676 219 4 occupation occupation NOUN ap-676 219 5 during during ADP ap-676 219 6 120 120 NUM ap-676 219 7 cycles cycle NOUN ap-676 219 8 ( ( PUNCT ap-676 219 9 transition transition NOUN ap-676 219 10 firings firing NOUN ap-676 219 11 ) ) PUNCT ap-676 219 12 was be AUX ap-676 219 13 1.43 1.43 NUM ap-676 219 14 , , PUNCT ap-676 219 15 [ [ X ap-676 219 16 13 13 NUM ap-676 219 17 ] ] PUNCT ap-676 219 18 , , PUNCT ap-676 219 19 [ [ X ap-676 219 20 14 14 NUM ap-676 219 21 ] ] PUNCT ap-676 219 22 . . PUNCT ap-676 220 1 our our PRON ap-676 220 2 real real ADJ ap-676 220 3 application application NOUN ap-676 220 4 experiment experiment NOUN ap-676 220 5 modeled model VERB ap-676 220 6 a a DET ap-676 220 7 railway railway NOUN ap-676 220 8 with with ADP ap-676 220 9 one one NUM ap-676 220 10 common common ADJ ap-676 220 11 critical critical ADJ ap-676 220 12 part part NOUN ap-676 220 13 – – PUNCT ap-676 220 14 a a DET ap-676 220 15 rail rail NOUN ap-676 220 16 , , PUNCT ap-676 220 17 see see VERB ap-676 220 18 fig fig NOUN ap-676 220 19 . . PUNCT ap-676 221 1 14 14 NUM ap-676 221 2 . . PUNCT ap-676 222 1 the the DET ap-676 222 2 pn pn PROPN ap-676 222 3 model model PROPN ap-676 222 4 , , PUNCT ap-676 222 5 fig fig NOUN ap-676 222 6 . . PUNCT ap-676 222 7 15 15 NUM ap-676 222 8 , , PUNCT ap-676 222 9 has have VERB ap-676 222 10 the the DET ap-676 222 11 initial initial ADJ ap-676 222 12 marking marking NOUN ap-676 222 13 where where SCONJ ap-676 222 14 tokens token NOUN ap-676 222 15 are be AUX ap-676 222 16 in in ADP ap-676 222 17 places place NOUN ap-676 222 18 “ " PUNCT ap-676 222 19 1 1 NUM ap-676 222 20 t t PROPN ap-676 222 21 ” " PUNCT ap-676 222 22 and and CCONJ ap-676 222 23 “ " PUNCT ap-676 222 24 3 3 NUM ap-676 222 25 t t NOUN ap-676 222 26 ” " PUNCT ap-676 222 27 ( ( PUNCT ap-676 222 28 two two NUM ap-676 222 29 trains train NOUN ap-676 222 30 are be AUX ap-676 222 31 on on ADP ap-676 222 32 rails rail NOUN ap-676 222 33 1 1 NUM ap-676 222 34 and and CCONJ ap-676 222 35 3 3 NUM ap-676 222 36 , , PUNCT ap-676 222 37 respectively respectively ADV ap-676 222 38 ) ) PUNCT ap-676 222 39 , , PUNCT ap-676 222 40 “ " PUNCT ap-676 222 41 4f 4f NUM ap-676 222 42 ” " PUNCT ap-676 222 43 ( ( PUNCT ap-676 222 44 a a DET ap-676 222 45 critical critical ADJ ap-676 222 46 rail rail NOUN ap-676 222 47 is be AUX ap-676 222 48 free free ADJ ap-676 222 49 ) ) PUNCT ap-676 222 50 and and CCONJ ap-676 222 51 “ " PUNCT ap-676 222 52 2f 2f NUM ap-676 222 53 ” " PUNCT ap-676 222 54 ( ( PUNCT ap-676 222 55 rail rail NOUN ap-676 222 56 2 2 NUM ap-676 222 57 is be AUX ap-676 222 58 free free ADJ ap-676 222 59 ) ) PUNCT ap-676 222 60 . . PUNCT ap-676 223 1 this this DET ap-676 223 2 model model NOUN ap-676 223 3 has have VERB ap-676 223 4 eight eight NUM ap-676 223 5 places place NOUN ap-676 223 6 , , PUNCT ap-676 223 7 two two NUM ap-676 223 8 places place NOUN ap-676 223 9 t t NOUN ap-676 223 10 ( ( PUNCT ap-676 223 11 train train NOUN ap-676 223 12 ) ) PUNCT ap-676 223 13 and and CCONJ ap-676 223 14 f f PROPN ap-676 223 15 ( ( PUNCT ap-676 223 16 free free ADJ ap-676 223 17 ) ) PUNCT ap-676 223 18 for for ADP ap-676 223 19 each each DET ap-676 223 20 rail rail NOUN ap-676 223 21 : : PUNCT ap-676 223 22 a a DET ap-676 223 23 token token NOUN ap-676 223 24 in in ADP ap-676 223 25 the the DET ap-676 223 26 first first ADJ ap-676 223 27 place place NOUN ap-676 223 28 means mean VERB ap-676 223 29 that that SCONJ ap-676 223 30 the the DET ap-676 223 31 train train NOUN ap-676 223 32 is be AUX ap-676 223 33 in in ADP ap-676 223 34 this this DET ap-676 223 35 rail rail NOUN ap-676 223 36 ( ( PUNCT ap-676 223 37 t t NOUN ap-676 223 38 - - PUNCT ap-676 223 39 places place NOUN ap-676 223 40 ) ) PUNCT ap-676 223 41 , , PUNCT ap-676 223 42 and and CCONJ ap-676 223 43 the the DET ap-676 223 44 second second ADJ ap-676 223 45 means mean VERB ap-676 223 46 that that SCONJ ap-676 223 47 this this DET ap-676 223 48 rail rail NOUN ap-676 223 49 is be AUX ap-676 223 50 free free ADJ ap-676 223 51 ( ( PUNCT ap-676 223 52 f f NOUN ap-676 223 53 - - PUNCT ap-676 223 54 places place NOUN ap-676 223 55 ) ) PUNCT ap-676 223 56 . . PUNCT ap-676 224 1 this this PRON ap-676 224 2 was be AUX ap-676 224 3 described describe VERB ap-676 224 4 and and CCONJ ap-676 224 5 simulated simulate VERB ap-676 224 6 in in ADP ap-676 224 7 the the DET ap-676 224 8 design design NOUN ap-676 224 9 / / SYM ap-676 224 10 cpn cpn NOUN ap-676 224 11 system system NOUN ap-676 224 12 and and CCONJ ap-676 224 13 then then ADV ap-676 224 14 it it PRON ap-676 224 15 was be AUX ap-676 224 16 implemented implement VERB ap-676 224 17 in in ADP ap-676 224 18 the the DET ap-676 224 19 real real ADJ ap-676 224 20 fpga fpga PROPN ap-676 224 21 design design NOUN ap-676 224 22 kit kit NOUN ap-676 224 23 ( ( PUNCT ap-676 224 24 promox promox PROPN ap-676 224 25 , , PUNCT ap-676 224 26 [ [ X ap-676 224 27 15 15 NUM ap-676 224 28 ] ] NUM ap-676 224 29 ) ) PUNCT ap-676 224 30 . . PUNCT ap-676 225 1 conclusions conclusion NOUN ap-676 225 2 this this DET ap-676 225 3 paper paper NOUN ap-676 225 4 deals deal NOUN ap-676 225 5 with with ADP ap-676 225 6 the the DET ap-676 225 7 practical practical ADJ ap-676 225 8 use use NOUN ap-676 225 9 of of ADP ap-676 225 10 petri petri ADJ ap-676 225 11 nets net NOUN ap-676 225 12 and and CCONJ ap-676 225 13 modeling modeling NOUN ap-676 225 14 by by ADP ap-676 225 15 petri petri ADJ ap-676 225 16 nets net NOUN ap-676 225 17 . . PUNCT ap-676 226 1 different different ADJ ap-676 226 2 levels level NOUN ap-676 226 3 and and CCONJ ap-676 226 4 types type NOUN ap-676 226 5 , , PUNCT ap-676 226 6 practical practical ADJ ap-676 226 7 and and CCONJ ap-676 226 8 concrete concrete ADJ ap-676 226 9 styles style NOUN ap-676 226 10 of of ADP ap-676 226 11 modeling modeling NOUN ap-676 226 12 are be AUX ap-676 226 13 presented present VERB ap-676 226 14 on on ADP ap-676 226 15 the the DET ap-676 226 16 basis basis NOUN ap-676 226 17 of of ADP ap-676 226 18 a a DET ap-676 226 19 simple simple ADJ ap-676 226 20 and and CCONJ ap-676 226 21 clear clear ADJ ap-676 226 22 example example NOUN ap-676 226 23 . . PUNCT ap-676 227 1 the the DET ap-676 227 2 practical practical ADJ ap-676 227 3 results result NOUN ap-676 227 4 obtained obtain VERB ap-676 227 5 for for ADP ap-676 227 6 12 12 NUM ap-676 227 7 © © PROPN ap-676 227 8 czech czech PROPN ap-676 227 9 technical technical PROPN ap-676 227 10 university university PROPN ap-676 227 11 publishing publishing NOUN ap-676 227 12 house house NOUN ap-676 227 13 http://ctn.cvut.cz/ap/ http://ctn.cvut.cz/ap/ PROPN ap-676 227 14 acta acta PROPN ap-676 227 15 polytechnica polytechnica PROPN ap-676 227 16 vol vol NOUN ap-676 227 17 . . PROPN ap-676 228 1 45 45 NUM ap-676 228 2 no no NOUN ap-676 228 3 . . PUNCT ap-676 229 1 2/2005 2/2005 NUM ap-676 229 2 czech czech PROPN ap-676 229 3 technical technical PROPN ap-676 229 4 university university PROPN ap-676 229 5 in in ADP ap-676 229 6 prague prague PROPN ap-676 229 7 fig fig NOUN ap-676 229 8 . . PUNCT ap-676 230 1 12 12 NUM ap-676 230 2 : : PUNCT ap-676 231 1 the the DET ap-676 231 2 dining dining NOUN ap-676 231 3 philosophers philosopher NOUN ap-676 231 4 pn pn PROPN ap-676 231 5 model model NOUN ap-676 231 6 buffer buffer PROPN ap-676 231 7 consumerproducer consumerproducer PROPN ap-676 231 8 fig fig NOUN ap-676 231 9 . . PUNCT ap-676 232 1 13 13 NUM ap-676 232 2 : : PUNCT ap-676 232 3 producer producer NOUN ap-676 232 4 – – PUNCT ap-676 232 5 consumer consumer NOUN ap-676 232 6 model model NOUN ap-676 232 7 fig fig NOUN ap-676 232 8 . . PUNCT ap-676 233 1 14 14 NUM ap-676 233 2 : : PUNCT ap-676 233 3 railway railway NOUN ap-676 233 4 semaphore semaphore NOUN ap-676 233 5 model model NOUN ap-676 233 6 fig fig PROPN ap-676 233 7 . . PUNCT ap-676 234 1 15 15 NUM ap-676 234 2 : : PUNCT ap-676 234 3 the the DET ap-676 234 4 pn pn PROPN ap-676 234 5 model model NOUN ap-676 234 6 of of ADP ap-676 234 7 4 4 NUM ap-676 234 8 rails rail NOUN ap-676 234 9 specific specific ADJ ap-676 234 10 fpga fpga PROPN ap-676 234 11 implementations implementation NOUN ap-676 234 12 have have AUX ap-676 234 13 been be AUX ap-676 234 14 published publish VERB ap-676 234 15 and and CCONJ ap-676 234 16 can can AUX ap-676 234 17 be be AUX ap-676 234 18 found find VERB ap-676 234 19 in in ADP ap-676 234 20 [ [ X ap-676 234 21 14 14 NUM ap-676 234 22 ] ] PUNCT ap-676 234 23 , , PUNCT ap-676 234 24 [ [ X ap-676 234 25 15 15 NUM ap-676 234 26 ] ] PUNCT ap-676 234 27 , , PUNCT ap-676 234 28 [ [ X ap-676 234 29 16 16 NUM ap-676 234 30 ] ] PUNCT ap-676 234 31 . . PUNCT ap-676 235 1 the the DET ap-676 235 2 specific specific ADJ ap-676 235 3 petri petri ADJ ap-676 235 4 net net ADJ ap-676 235 5 models model NOUN ap-676 235 6 are be AUX ap-676 235 7 shown show VERB ap-676 235 8 here here ADV ap-676 235 9 . . PUNCT ap-676 236 1 the the DET ap-676 236 2 example example NOUN ap-676 236 3 presented present VERB ap-676 236 4 here here ADV ap-676 236 5 in in ADP ap-676 236 6 which which PRON ap-676 236 7 parallel parallel ADJ ap-676 236 8 printers printer NOUN ap-676 236 9 are be AUX ap-676 236 10 served serve VERB ap-676 236 11 by by ADP ap-676 236 12 a a DET ap-676 236 13 controlling control VERB ap-676 236 14 process process NOUN ap-676 236 15 , , PUNCT ap-676 236 16 was be AUX ap-676 236 17 chosen choose VERB ap-676 236 18 due due ADJ ap-676 236 19 its its PRON ap-676 236 20 practical practical ADJ ap-676 236 21 presentation presentation NOUN ap-676 236 22 and and CCONJ ap-676 236 23 practical practical ADJ ap-676 236 24 iterative iterative NOUN ap-676 236 25 construction construction NOUN ap-676 236 26 during during ADP ap-676 236 27 the the DET ap-676 236 28 teaching teaching NOUN ap-676 236 29 process process NOUN ap-676 236 30 at at ADP ap-676 236 31 the the DET ap-676 236 32 department department NOUN ap-676 236 33 of of ADP ap-676 236 34 computer computer NOUN ap-676 236 35 science science NOUN ap-676 236 36 and and CCONJ ap-676 236 37 engineering engineering NOUN ap-676 236 38 ( ( PUNCT ap-676 236 39 dsce dsce NOUN ap-676 236 40 ) ) PUNCT ap-676 236 41 of of ADP ap-676 236 42 the the DET ap-676 236 43 czech czech PROPN ap-676 236 44 technical technical PROPN ap-676 236 45 university university PROPN ap-676 236 46 in in ADP ap-676 236 47 prague prague PROPN ap-676 236 48 . . PUNCT ap-676 237 1 future future ADJ ap-676 237 2 work work NOUN ap-676 237 3 will will AUX ap-676 237 4 involve involve VERB ap-676 237 5 optimizing optimize VERB ap-676 237 6 the the DET ap-676 237 7 direct direct ADJ ap-676 237 8 implementation implementation NOUN ap-676 237 9 of of ADP ap-676 237 10 petri petri ADJ ap-676 237 11 nets net NOUN ap-676 237 12 with with ADP ap-676 237 13 respect respect NOUN ap-676 237 14 to to ADP ap-676 237 15 space space NOUN ap-676 237 16 , , PUNCT ap-676 237 17 time time NOUN ap-676 237 18 , , PUNCT ap-676 237 19 power power NOUN ap-676 237 20 and and CCONJ ap-676 237 21 reliability reliability NOUN ap-676 237 22 . . PUNCT ap-676 238 1 acknowledgment acknowledgment NOUN ap-676 238 2 this this DET ap-676 238 3 research research NOUN ap-676 238 4 was be AUX ap-676 238 5 in in ADP ap-676 238 6 part part NOUN ap-676 238 7 supported support VERB ap-676 238 8 by by ADP ap-676 238 9 a a DET ap-676 238 10 grant grant NOUN ap-676 238 11 102/04/0737 102/04/0737 NUM ap-676 238 12 of of ADP ap-676 238 13 the the DET ap-676 238 14 czech czech PROPN ap-676 238 15 grant grant NOUN ap-676 238 16 agency agency PROPN ap-676 238 17 ( ( PUNCT ap-676 238 18 gačr gačr NOUN ap-676 238 19 ) ) PUNCT ap-676 238 20 and and CCONJ ap-676 238 21 by by ADP ap-676 238 22 the the DET ap-676 238 23 msm msm NOUN ap-676 238 24 212300014 212300014 NUM ap-676 238 25 research research NOUN ap-676 238 26 program program NOUN ap-676 238 27 . . PUNCT ap-676 239 1 references reference NOUN ap-676 239 2 [ [ X ap-676 239 3 1 1 NUM ap-676 239 4 ] ] PUNCT ap-676 239 5 http://www.daimi.au.dk/designcpn/ http://www.daimi.au.dk/designcpn/ NOUN ap-676 240 1 [ [ X ap-676 240 2 2 2 NUM ap-676 240 3 ] ] PUNCT ap-676 240 4 home home NOUN ap-676 240 5 page page NOUN ap-676 240 6 , , PUNCT ap-676 240 7 2002 2002 NUM ap-676 240 8 : : PUNCT ap-676 241 1 http://jarp.sourceforge.net/ http://jarp.sourceforge.net/ NOUN ap-676 241 2 [ [ X ap-676 241 3 3 3 X ap-676 241 4 ] ] X ap-676 241 5 http://wiki.daimi.au.dk/cpntools/cpntools.wiki http://wiki.daimi.au.dk/cpntools/cpntools.wiki PROPN ap-676 241 6 [ [ X ap-676 241 7 4 4 NUM ap-676 241 8 ] ] X ap-676 241 9 adamski adamski PROPN ap-676 241 10 , , PUNCT ap-676 241 11 m. m. NOUN ap-676 241 12 : : PUNCT ap-676 241 13 “ " PUNCT ap-676 241 14 a a DET ap-676 241 15 rigorous rigorous ADJ ap-676 241 16 design design NOUN ap-676 241 17 methodology methodology NOUN ap-676 241 18 for for ADP ap-676 241 19 reprogrammable reprogrammable ADJ ap-676 241 20 logic logic NOUN ap-676 241 21 controllers controller NOUN ap-676 241 22 . . PUNCT ap-676 241 23 ” " PUNCT ap-676 242 1 proc proc NOUN ap-676 242 2 . . PUNCT ap-676 243 1 desdes desde NOUN ap-676 243 2 ’ ' PUNCT ap-676 243 3 01 01 NUM ap-676 243 4 zielona zielona PROPN ap-676 243 5 gora gora PROPN ap-676 243 6 , , PUNCT ap-676 243 7 poland poland PROPN ap-676 243 8 , , PUNCT ap-676 243 9 2001 2001 NUM ap-676 243 10 , , PUNCT ap-676 243 11 p. p. NOUN ap-676 243 12 53–60 53–60 PROPN ap-676 243 13 . . PUNCT ap-676 244 1 [ [ X ap-676 244 2 5 5 NUM ap-676 244 3 ] ] X ap-676 244 4 erhard erhard NOUN ap-676 244 5 , , PUNCT ap-676 244 6 w. w. PROPN ap-676 244 7 , , PUNCT ap-676 244 8 reinsch reinsch ADJ ap-676 244 9 , , PUNCT ap-676 244 10 a. a. NOUN ap-676 244 11 schober schober PROPN ap-676 244 12 , , PUNCT ap-676 244 13 t. t. PROPN ap-676 244 14 : : PUNCT ap-676 244 15 “ " PUNCT ap-676 244 16 modeling modeling NOUN ap-676 244 17 and and CCONJ ap-676 244 18 verification verification NOUN ap-676 244 19 of of ADP ap-676 244 20 sequential sequential ADJ ap-676 244 21 control control NOUN ap-676 244 22 path path NOUN ap-676 244 23 using use VERB ap-676 244 24 petri petri ADJ ap-676 244 25 nets net NOUN ap-676 244 26 . . PUNCT ap-676 244 27 ” " PUNCT ap-676 245 1 proc proc NOUN ap-676 245 2 . . PUNCT ap-676 246 1 des des X ap-676 246 2 des des PROPN ap-676 246 3 ’ ’ PROPN ap-676 246 4 01 01 NUM ap-676 246 5 zielona zielona PROPN ap-676 246 6 gora gora PROPN ap-676 246 7 , , PUNCT ap-676 246 8 poland poland PROPN ap-676 246 9 , , PUNCT ap-676 246 10 2001 2001 NUM ap-676 246 11 , , PUNCT ap-676 246 12 p. p. NOUN ap-676 246 13 41–46 41–46 NUM ap-676 246 14 . . PUNCT ap-676 247 1 [ [ X ap-676 247 2 6 6 NUM ap-676 247 3 ] ] PUNCT ap-676 247 4 gomes gome NOUN ap-676 247 5 , , PUNCT ap-676 247 6 l. l. PROPN ap-676 247 7 , , PUNCT ap-676 247 8 barros barros PROPN ap-676 247 9 , , PUNCT ap-676 247 10 j j PROPN ap-676 247 11 - - PROPN ap-676 247 12 p. p. NOUN ap-676 247 13 : : PUNCT ap-676 247 14 “ " PUNCT ap-676 247 15 using use VERB ap-676 247 16 hierarchical hierarchical ADJ ap-676 247 17 structuring structuring NOUN ap-676 247 18 mechanism mechanism NOUN ap-676 247 19 with with ADP ap-676 247 20 petri petri ADJ ap-676 247 21 nets net NOUN ap-676 247 22 for for ADP ap-676 247 23 pld pld NOUN ap-676 247 24 based base VERB ap-676 247 25 system system NOUN ap-676 247 26 design design NOUN ap-676 247 27 . . PUNCT ap-676 247 28 ” " PUNCT ap-676 247 29 proc proc NOUN ap-676 247 30 . . PUNCT ap-676 248 1 desdes desde NOUN ap-676 248 2 ’ ' PUNCT ap-676 248 3 01 01 NUM ap-676 248 4 zielona zielona PROPN ap-676 248 5 gora gora PROPN ap-676 248 6 , , PUNCT ap-676 248 7 poland poland PROPN ap-676 248 8 , , PUNCT ap-676 248 9 2001 2001 NUM ap-676 248 10 , , PUNCT ap-676 248 11 p. p. NOUN ap-676 248 12 47–52 47–52 NUM ap-676 248 13 . . PUNCT ap-676 249 1 [ [ X ap-676 249 2 7 7 X ap-676 249 3 ] ] X ap-676 249 4 uzam uzam NOUN ap-676 249 5 , , PUNCT ap-676 249 6 m. m. NOUN ap-676 249 7 , , PUNCT ap-676 249 8 avci avci PROPN ap-676 249 9 , , PUNCT ap-676 249 10 m. m. NOUN ap-676 249 11 kürsat kürsat NOUN ap-676 249 12 , , PUNCT ap-676 249 13 m. m. NOUN ap-676 249 14 : : PUNCT ap-676 249 15 “ " PUNCT ap-676 249 16 digital digital ADJ ap-676 249 17 hardware hardware NOUN ap-676 249 18 implementation implementation NOUN ap-676 249 19 of of ADP ap-676 249 20 petri petri ADJ ap-676 249 21 nets net NOUN ap-676 249 22 based base VERB ap-676 249 23 specification specification NOUN ap-676 249 24 : : PUNCT ap-676 249 25 direct direct ADJ ap-676 249 26 translation translation NOUN ap-676 249 27 from from ADP ap-676 249 28 safe safe ADJ ap-676 249 29 automation automation NOUN ap-676 249 30 petri petri ADJ ap-676 249 31 nets net NOUN ap-676 249 32 to to ADP ap-676 249 33 circuit circuit NOUN ap-676 249 34 elements element NOUN ap-676 249 35 . . PUNCT ap-676 249 36 ” " PUNCT ap-676 249 37 proc proc NOUN ap-676 249 38 . . PUNCT ap-676 250 1 desdes desdes PROPN ap-676 250 2 ’ ' PUNCT ap-676 250 3 01 01 NUM ap-676 250 4 , , PUNCT ap-676 250 5 zielona zielona PROPN ap-676 250 6 gora gora PROPN ap-676 250 7 , , PUNCT ap-676 250 8 poland poland PROPN ap-676 250 9 , , PUNCT ap-676 250 10 2001 2001 NUM ap-676 250 11 , , PUNCT ap-676 250 12 p. p. NOUN ap-676 250 13 25–33 25–33 NUM ap-676 250 14 . . PUNCT ap-676 251 1 [ [ X ap-676 251 2 8 8 NUM ap-676 251 3 ] ] ADJ ap-676 251 4 projects project NOUN ap-676 251 5 ( ( PUNCT ap-676 251 6 2003 2003 NUM ap-676 251 7 ): ): PUNCT ap-676 251 8 http://service.felk.cvut.cz/courses/36apz http://service.felk.cvut.cz/courses/36apz PROPN ap-676 251 9 /archives/2002 /archives/2002 PUNCT ap-676 251 10 - - PUNCT ap-676 251 11 2003 2003 NUM ap-676 251 12 / / SYM ap-676 251 13 w w PROPN ap-676 251 14 / / SYM ap-676 251 15 prj/36apz124/ prj/36apz124/ NOUN ap-676 252 1 [ [ X ap-676 252 2 9 9 NUM ap-676 252 3 ] ] SYM ap-676 252 4 girault girault NOUN ap-676 252 5 , , PUNCT ap-676 252 6 c. c. NOUN ap-676 252 7 , , PUNCT ap-676 252 8 valk valk PROPN ap-676 252 9 , , PUNCT ap-676 252 10 r. r. PROPN ap-676 252 11 : : PUNCT ap-676 252 12 petri petri ADJ ap-676 252 13 nets net NOUN ap-676 252 14 for for ADP ap-676 252 15 systems system NOUN ap-676 252 16 engineering engineering NOUN ap-676 252 17 . . PUNCT ap-676 253 1 berlin berlin PROPN ap-676 253 2 , , PUNCT ap-676 253 3 heidelberg heidelberg PROPN ap-676 253 4 : : PUNCT ap-676 253 5 springer springer NOUN ap-676 253 6 - - PUNCT ap-676 253 7 verlag verlag PROPN ap-676 253 8 , , PUNCT ap-676 253 9 2003 2003 NUM ap-676 253 10 , , PUNCT ap-676 253 11 607 607 NUM ap-676 254 1 p. p. NOUN ap-676 255 1 [ [ X ap-676 255 2 10 10 NUM ap-676 255 3 ] ] SYM ap-676 255 4 češka češka PROPN ap-676 255 5 , , PUNCT ap-676 255 6 m. m. NOUN ap-676 255 7 : : PUNCT ap-676 255 8 petriho petriho PROPN ap-676 255 9 sítě sítě NOUN ap-676 255 10 . . PUNCT ap-676 256 1 brno brno NOUN ap-676 256 2 : : PUNCT ap-676 256 3 akademické akademické PROPN ap-676 256 4 nakladatelství nakladatelství PROPN ap-676 256 5 cerm cerm PROPN ap-676 256 6 , , PUNCT ap-676 256 7 1994 1994 NUM ap-676 256 8 , , PUNCT ap-676 256 9 95 95 NUM ap-676 256 10 p. p. NOUN ap-676 256 11 ( ( PUNCT ap-676 256 12 in in ADP ap-676 256 13 czech czech PROPN ap-676 256 14 ) ) PUNCT ap-676 257 1 [ [ X ap-676 257 2 11 11 NUM ap-676 257 3 ] ] X ap-676 257 4 humboldt humboldt PROPN ap-676 257 5 - - PUNCT ap-676 257 6 universität universität PROPN ap-676 257 7 berlin berlin NOUN ap-676 257 8 : : PUNCT ap-676 258 1 http://www.informatik.hu-berlin.de/top/pnml http://www.informatik.hu-berlin.de/top/pnml NOUN ap-676 259 1 [ [ X ap-676 259 2 12 12 NUM ap-676 259 3 ] ] SYM ap-676 259 4 kindler kindl ADJ ap-676 259 5 , , PUNCT ap-676 259 6 e. e. PROPN ap-676 259 7 , , PUNCT ap-676 259 8 ed ed PROPN ap-676 259 9 . . PUNCT ap-676 259 10 : : PUNCT ap-676 260 1 “ " PUNCT ap-676 260 2 definition definition NOUN ap-676 260 3 , , PUNCT ap-676 260 4 implementation implementation NOUN ap-676 260 5 and and CCONJ ap-676 260 6 application application NOUN ap-676 260 7 of of ADP ap-676 260 8 a a DET ap-676 260 9 standard standard ADJ ap-676 260 10 interchange interchange NOUN ap-676 260 11 format format NOUN ap-676 260 12 for for ADP ap-676 260 13 petri petri ADJ ap-676 260 14 nets net NOUN ap-676 260 15 . . PUNCT ap-676 260 16 ” " PUNCT ap-676 260 17 proceedings proceeding NOUN ap-676 260 18 of of ADP ap-676 260 19 the the DET ap-676 260 20 workshop workshop NOUN ap-676 260 21 of of ADP ap-676 260 22 the the DET ap-676 260 23 satellite satellite NOUN ap-676 260 24 event event NOUN ap-676 260 25 of of ADP ap-676 260 26 the the DET ap-676 260 27 25th 25th ADJ ap-676 260 28 international international ADJ ap-676 260 29 conf conf NOUN ap-676 260 30 . . PUNCT ap-676 261 1 on on ADP ap-676 261 2 application application NOUN ap-676 261 3 and and CCONJ ap-676 261 4 theory theory NOUN ap-676 261 5 of of ADP ap-676 261 6 petri petri ADJ ap-676 261 7 nets net NOUN ap-676 261 8 , , PUNCT ap-676 261 9 bologna bologna NOUN ap-676 261 10 , , PUNCT ap-676 261 11 italy italy PROPN ap-676 261 12 , , PUNCT ap-676 261 13 june june PROPN ap-676 261 14 2004 2004 NUM ap-676 261 15 , , PUNCT ap-676 261 16 85 85 NUM ap-676 261 17 p. p. NOUN ap-676 262 1 [ [ X ap-676 262 2 13 13 NUM ap-676 262 3 ] ] X ap-676 262 4 koblížek koblížek NOUN ap-676 262 5 , , PUNCT ap-676 262 6 m. m. NOUN ap-676 262 7 : : PUNCT ap-676 262 8 “ " PUNCT ap-676 262 9 hardware hardware NOUN ap-676 262 10 implementation implementation NOUN ap-676 262 11 of of ADP ap-676 262 12 petri petri ADJ ap-676 262 13 nets net NOUN ap-676 262 14 . . PUNCT ap-676 262 15 ” " PUNCT ap-676 263 1 diploma diploma NOUN ap-676 263 2 thesis thesis NOUN ap-676 263 3 , , PUNCT ap-676 263 4 ctu ctu NOUN ap-676 263 5 , , PUNCT ap-676 263 6 prague prague NOUN ap-676 263 7 , , PUNCT ap-676 263 8 2002 2002 NUM ap-676 263 9 , , PUNCT ap-676 263 10 51 51 NUM ap-676 263 11 p. p. NOUN ap-676 263 12 ( ( PUNCT ap-676 263 13 in in ADP ap-676 263 14 czech czech PROPN ap-676 263 15 ) ) PUNCT ap-676 263 16 . . PUNCT ap-676 264 1 [ [ X ap-676 264 2 14 14 NUM ap-676 264 3 ] ] X ap-676 264 4 kubátová kubátová PROPN ap-676 264 5 , , PUNCT ap-676 264 6 h. h. PROPN ap-676 264 7 : : PUNCT ap-676 264 8 “ " PUNCT ap-676 264 9 direct direct ADJ ap-676 264 10 implementation implementation NOUN ap-676 264 11 of of ADP ap-676 264 12 petri petri ADJ ap-676 264 13 net net ADJ ap-676 264 14 based base VERB ap-676 264 15 model model NOUN ap-676 264 16 in in ADP ap-676 264 17 fpga fpga PROPN ap-676 264 18 . . PUNCT ap-676 264 19 ” " PUNCT ap-676 264 20 proceedings proceeding NOUN ap-676 264 21 of of ADP ap-676 264 22 the the DET ap-676 264 23 international international ADJ ap-676 264 24 workshop workshop NOUN ap-676 264 25 on on ADP ap-676 264 26 discrete discrete ADJ ap-676 264 27 - - PUNCT ap-676 264 28 event event NOUN ap-676 264 29 system system NOUN ap-676 264 30 design design NOUN ap-676 264 31 – – PUNCT ap-676 264 32 desdes desde NOUN ap-676 264 33 ’ ' PUNCT ap-676 264 34 04 04 NUM ap-676 264 35 . . PUNCT ap-676 265 1 zielona zielona PROPN ap-676 265 2 gora gora PROPN ap-676 265 3 : : PUNCT ap-676 265 4 university university NOUN ap-676 265 5 of of ADP ap-676 265 6 zielona zielona PROPN ap-676 265 7 gora gora PROPN ap-676 265 8 , , PUNCT ap-676 265 9 2004 2004 NUM ap-676 265 10 , , PUNCT ap-676 265 11 p. p. NOUN ap-676 265 12 31 31 NUM ap-676 265 13 - - SYM ap-676 265 14 36 36 NUM ap-676 265 15 . . PUNCT ap-676 266 1 [ [ X ap-676 266 2 15 15 NUM ap-676 266 3 ] ] X ap-676 266 4 kubátová kubátová PROPN ap-676 266 5 , , PUNCT ap-676 266 6 h. h. PROPN ap-676 266 7 : : PUNCT ap-676 266 8 petri petri ADJ ap-676 266 9 net net ADJ ap-676 266 10 models model NOUN ap-676 266 11 in in ADP ap-676 266 12 hardware hardware NOUN ap-676 266 13 . . PUNCT ap-676 267 1 ecms ecms NOUN ap-676 267 2 2003 2003 NUM ap-676 267 3 , , PUNCT ap-676 267 4 technical technical ADJ ap-676 267 5 university university NOUN ap-676 267 6 , , PUNCT ap-676 267 7 liberec liberec PROPN ap-676 267 8 , , PUNCT ap-676 267 9 2003 2003 NUM ap-676 267 10 , , PUNCT ap-676 267 11 p. p. NOUN ap-676 267 12 158–162 158–162 NUM ap-676 267 13 . . PUNCT ap-676 268 1 [ [ X ap-676 268 2 16 16 NUM ap-676 268 3 ] ] X ap-676 268 4 kubátová kubátová PROPN ap-676 268 5 , , PUNCT ap-676 268 6 h. h. PROPN ap-676 268 7 : : PUNCT ap-676 268 8 “ " PUNCT ap-676 268 9 direct direct ADJ ap-676 268 10 hardware hardware NOUN ap-676 268 11 implementation implementation NOUN ap-676 268 12 of of ADP ap-676 268 13 petri petri ADJ ap-676 268 14 net net ADJ ap-676 268 15 based base VERB ap-676 268 16 models model NOUN ap-676 268 17 . . PUNCT ap-676 268 18 ” " PUNCT ap-676 268 19 proceedings proceeding NOUN ap-676 268 20 of of ADP ap-676 268 21 the the DET ap-676 268 22 work work NOUN ap-676 268 23 in in ADP ap-676 268 24 progress progress NOUN ap-676 268 25 session session NOUN ap-676 268 26 of of ADP ap-676 268 27 euromicro euromicro PROPN ap-676 268 28 2003 2003 NUM ap-676 268 29 , , PUNCT ap-676 268 30 linz linz PROPN ap-676 268 31 : : PUNCT ap-676 268 32 j. j. PROPN ap-676 268 33 kepler kepler PROPN ap-676 268 34 university university PROPN ap-676 268 35 – – PUNCT ap-676 268 36 faw faw NOUN ap-676 268 37 . . PUNCT ap-676 268 38 2003 2003 NUM ap-676 268 39 , , PUNCT ap-676 268 40 p. p. NOUN ap-676 268 41 56–57 56–57 NUM ap-676 268 42 . . PUNCT ap-676 269 1 ing ing ADJ ap-676 269 2 . . PUNCT ap-676 270 1 hana hana PROPN ap-676 270 2 kubátová kubátová PROPN ap-676 270 3 , , PUNCT ap-676 270 4 csc csc PROPN ap-676 270 5 . . PUNCT ap-676 270 6 e e X ap-676 270 7 - - NOUN ap-676 270 8 mail mail NOUN ap-676 270 9 : : PUNCT ap-676 270 10 kubatova@fel.cvut.cz kubatova@fel.cvut.cz ADJ ap-676 270 11 department department PROPN ap-676 270 12 of of ADP ap-676 270 13 computer computer NOUN ap-676 270 14 science science NOUN ap-676 270 15 and and CCONJ ap-676 270 16 engineering engineering NOUN ap-676 270 17 czech czech PROPN ap-676 270 18 technical technical PROPN ap-676 270 19 university university PROPN ap-676 270 20 in in ADP ap-676 270 21 prague prague PROPN ap-676 270 22 faculty faculty NOUN ap-676 270 23 of of ADP ap-676 270 24 electrical electrical ADJ ap-676 270 25 engineering engineering NOUN ap-676 270 26 karlovo karlovo PROPN ap-676 270 27 nám nám PROPN ap-676 270 28 . . PUNCT ap-676 271 1 13 13 NUM ap-676 271 2 121 121 NUM ap-676 271 3 35 35 NUM ap-676 271 4 prague prague NOUN ap-676 271 5 , , PUNCT ap-676 271 6 czech czech PROPN ap-676 271 7 republic republic NOUN ap-676 271 8 © © PROPN ap-676 271 9 czech czech PROPN ap-676 271 10 technical technical PROPN ap-676 271 11 university university PROPN ap-676 271 12 publishing publishing NOUN ap-676 271 13 house house NOUN ap-676 271 14 http://ctn.cvut.cz/ap/ http://ctn.cvut.cz/ap/ PROPN ap-676 271 15 13 13 NUM ap-676 271 16 czech czech PROPN ap-676 271 17 technical technical PROPN ap-676 271 18 university university PROPN ap-676 271 19 in in ADP ap-676 271 20 prague prague PROPN ap-676 271 21 acta acta PROPN ap-676 271 22 polytechnica polytechnica PROPN ap-676 271 23 vol vol NOUN ap-676 271 24 . . PROPN ap-676 272 1 45 45 NUM ap-676 272 2 no no NOUN ap-676 272 3 . . PUNCT ap-676 273 1 2/2005 2/2005 NUM