Abstrakt. Vi föreslår en ram för specificering av beteendebevarande omkonfigureringar av system som är modellerade som Petri-nät. Ramen bygger på öppna nät, en mild generalisering av vanliga plats-/övergångsnät som lämpar sig för att modellera öppna system som kan samverka med den omgivande miljön och utrustas med en samlimitbaserad sammansättning. Vi visar att naturliga begrepp om tvåsimilaritet över öppna nät är kongruenser när det gäller sammansättningen. De berörda beteendejämvikterna skiljer sig åt när det gäller valet av observationer, som kan vara enstaka avfyrningar eller parallella steg. Dessutom betraktar vi svaga former av sådana likvärdigheter, som uppstår i närvaro av omärkliga handlingar. Vi tillhandahåller också en up-to-teknik för att underlätta bisimilaritetsproofs. Teorin används för att identifiera lämpliga klasser av omkonfigureringsregler (i dubbel-pushout tillvägagångssätt för omskrivning) vars tillämpning bevarar observationssemantik av nätet.
Beteende som bevarar omkonfigureringar av öppna Petrinät studeras i REF.
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets
{'venue': 'LMCS 4 (4:3) 2008', 'journal': None, 'mag_field_of_study': ['Computer Science', 'Mathematics']}