Abstract -I serviceorienterade system, sammansättning av tjänster krävs för att bygga nya, distribuerade och mer komplexa tjänster, baserat på logik beteende enskilda. I detta dokument diskuteras den formella sammansättningen av Petri nätmodeller som används för processbeskrivning och styrning i serviceorienterade automationssystem. I det föreslagna tillvägagångssättet behandlas två former för tjänsternas sammansättning, särskilt sammansättningen offline, som tillämpades under utformningsfasen, och sammansättningen online, i samband med synkroniseringen av Petri-nätmodeller i farten. En experimentell fallstudie används för att illustrera den föreslagna sammansättningsmetoden.
Mendes m.fl. beskrivna tjänster av en serviceorienterad arkitektur med Petri nät och föreslagna formella sammansättning tekniker för att modellera mer komplexa tjänster REF.
Composition of Petri nets models in service-oriented industrial automation
{'venue': '2010 8th IEEE International Conference on Industrial Informatics', 'journal': '2010 8th IEEE International Conference on Industrial Informatics', 'mag_field_of_study': ['Computer Science']}