document: Dynamic modification of object Petri nets . An application to modelling protocols with fork-join structures In this paper we discuss possibilities of modelling protocols by objects in object-based high-level Petri nets . Some advantages of dynamically modifying the structure of token objects are discussed and the need for further investigations into mathematically rigorous foundations of object net formalisms incorporating facilities for such operations on its token nets is emphasised
doc_bio_tags: B I O B I I O O O O O B O O O O O O O O O O O B O O O O O O O O O O O O O O O O B I O O O O O O O O O B I I O B I I O O O O O O O O O O O
extractive_keyphrases: dynamic modification object petri nets protocols token objects mathematically rigorous foundations object net formalisms
abstractive_keyphrases: fork-join structures