Topic
Process architecture
About: Process architecture is a research topic. Over the lifetime, 4876 publications have been published within this topic receiving 104171 citations.
Papers published on a yearly basis
Papers
More filters
••
20 Aug 2001TL;DR: This work defines a truly concurrent semantics for open nets by extending the Goltz-Reisig process semantics of Petri nets, and introduces a composition operation over open nets, characterized as a pushout in the corresponding category, suitable to model both interaction through open places and synchronization of transitions.
Abstract: In order to model the behaviour of open concurrent systems by means of Petri nets, we introduce open Petri nets, a generalization of the ordinary model where some places, designated as open, represent an interface of the system towards the environment. Besides generalizing the token game to reflect this extension, we define a truly concurrent semantics for open nets by extending the Goltz-Reisig process semantics of Petri nets.We introduce a composition operation over open nets, characterized as a pushout in the corresponding category, suitable to model both interaction through open places and synchronization of transitions. The process semantics is shown to be compositional with respect to such composition operation. Technically, our result is similar to the amalgamation theorem for data-types in the framework of algebraic specifications. A possible application field of the proposed constructions and results is the modeling of interorganizational workflows, recently studied in the literature. This is illustrated by a running example.
51 citations
••
[...]
TL;DR: A Petri net tool, P3, is implemented, which can be used as a knowledge acquisition tool based on the PetriNet ontology, which is represented on the Semantic Web using XML-based ontology languages, RDF and OWL.
Abstract: The paper presents the Petri net ontology that enables sharing Petri nets on the Semantic Web. Previous work on formal methods for representing Petri nets mainly defines tool-specific descriptions or formats for model interchange. However, such efforts do not provide a suitable description for using Petri nets on the Semantic Web. This paper uses the Petri net UML model as a starting point for implementing the ontology. Resulting Petri net models are represented on the Semantic Web using XML-based ontology languages, RDF and OWL. We implemented a Petri net tool, P3, which can be used as a knowledge acquisition tool based on the Petri net ontology.
51 citations
••
TL;DR: This paper is proposing an expandable PAF structure that organizes 27 + new and existing views, suggesting examples of three new views that align well with specific concerns of users, and presenting insights to guide the development of new views.
51 citations
••
15 May 1990TL;DR: An interpretation of linear logic in Petri nets is proposed, with respect to which the expressive power of the logic is investigated, to appraise the feasibility of Girard's linear logic as a specification language for parallel processes.
Abstract: The chief purpose of this paper is to appraise the feasibility of Girard's linear logic as a specification language for parallel processes. To this end we propose an interpretation of linear logic in Petri nets, with respect to which we investigate the expressive power of the logic.
51 citations