Results 1  10
of
411,947
Generalised Composition Operations for Highlevel Petri Nets
, 1999
"... We propose generic schemes for basic composition operations (sequential composition, choice, iteration, and refinement) for highlevel Petri nets. They tolerate liberal combinations of place types (equal, disjoint, intersecting) and, owing to a parameterised scheme of type construction, allow for we ..."
Abstract
 Add to MetaCart
We propose generic schemes for basic composition operations (sequential composition, choice, iteration, and refinement) for highlevel Petri nets. They tolerate liberal combinations of place types (equal, disjoint, intersecting) and, owing to a parameterised scheme of type construction, allow
Slicing highlevel petri nets
, 2014
"... Abstract. Highlevel Petri nets (evolutions of lowlevel Petri nets) are well suitable formalisms to represent complex data, which influence the behavior of distributed, concurrent systems. However, usual verification techniques such as model checking and testing remain an open challenge for both (i ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
Abstract. Highlevel Petri nets (evolutions of lowlevel Petri nets) are well suitable formalisms to represent complex data, which influence the behavior of distributed, concurrent systems. However, usual verification techniques such as model checking and testing remain an open challenge for both
A HighLevel Petri Net . . .
"... For complementing the weakness of Petri nets in terms of naturallity, modularity, and reusability, a number of highlevel Petri nets with the concepts of objects were suggested. However, it is difficult to apply these nets for the requirements specification of objectoriented software systems becaus ..."
Abstract
 Add to MetaCart
For complementing the weakness of Petri nets in terms of naturallity, modularity, and reusability, a number of highlevel Petri nets with the concepts of objects were suggested. However, it is difficult to apply these nets for the requirements specification of objectoriented software systems
A Memory Module Specification using Composable Highlevel Petri Nets
 M. Broy, St. Merz and K. Spies (eds). SpringerVerlag, LNCS
, 1996
"... This paper describes a solution of the RPCmemory specification problem defined by M. Broy and L. Lamport on the occasion of a Dagstuhl seminar in 1994. The approach is based on a recently developed model of composable highlevel Petri nets called Mnets, on which CCSlike composition operations suc ..."
Abstract

Cited by 6 (1 self)
 Add to MetaCart
This paper describes a solution of the RPCmemory specification problem defined by M. Broy and L. Lamport on the occasion of a Dagstuhl seminar in 1994. The approach is based on a recently developed model of composable highlevel Petri nets called Mnets, on which CCSlike composition operations
On the Compositionality and Analysis of Algebraic HighLevel Nets
 RESEARCH REPORT A16, DIGITAL SYSTEMS LABORATORY
, 1991
"... This work discusses three aspects of net theory: compositionality of nets, analysis of nets and highlevel nets. Net theory has often been criticised for the difficulty of giving a compositional semantics to a net. In this work we discuss this problem form a category theoretic point of view. In cate ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
This work discusses three aspects of net theory: compositionality of nets, analysis of nets and highlevel nets. Net theory has often been criticised for the difficulty of giving a compositional semantics to a net. In this work we discuss this problem form a category theoretic point of view
Branching processes of highlevel petri nets
, 2003
"... In this paper, we define branching processes and unfoldings of highlevel Petri nets and propose an algorithm which builds finite and complete prefixes of such unfoldings. The advantage of our method is that it avoids a potentially expensive translation of a highlevel Petri net into a lowlevel on ..."
Abstract

Cited by 17 (1 self)
 Add to MetaCart
In this paper, we define branching processes and unfoldings of highlevel Petri nets and propose an algorithm which builds finite and complete prefixes of such unfoldings. The advantage of our method is that it avoids a potentially expensive translation of a highlevel Petri net into a lowlevel
Mnets: an Algebra of Highlevel Petri Nets, with an Application to the Semantics of Concurrent Programming Languages
"... This paper describes a highlevel Petri net model called Mnets (for modular multilabelled nets). A distinctive feature of this model is that it allows both: unfolding, as do most other highlevel net models; and composition  in particular, synchronisation  in a process algebraic style, turning t ..."
Abstract

Cited by 22 (10 self)
 Add to MetaCart
This paper describes a highlevel Petri net model called Mnets (for modular multilabelled nets). A distinctive feature of this model is that it allows both: unfolding, as do most other highlevel net models; and composition  in particular, synchronisation  in a process algebraic style, turning
Versatile boxes: a multipurpose algebra of highlevel Petri nets
 DADS/SCSCâ€™07, SCS/ACM
, 2007
"... This paper introduces a model of composable Petri nets, called Versatile Boxes, that has all the highlevel features already introduced in the family of the Petri Box Calculus (mainly: data and time representation) as well as a new interruption capability. This allows for defining processes that are ..."
Abstract

Cited by 3 (3 self)
 Add to MetaCart
This paper introduces a model of composable Petri nets, called Versatile Boxes, that has all the highlevel features already introduced in the family of the Petri Box Calculus (mainly: data and time representation) as well as a new interruption capability. This allows for defining processes
On the Structure of Highlevel Nets
 Helsinki University of Technology
, 1995
"... : The structure of Highlevel nets is studied from an algebraic and a logical point of view using Algebraic nets as an example. First the category of Algebraic nets is defined and the semantics given through an unfolding construction. Other kinds of Highlevel net formalisms are then presented. It is ..."
Abstract

Cited by 10 (0 self)
 Add to MetaCart
: The structure of Highlevel nets is studied from an algebraic and a logical point of view using Algebraic nets as an example. First the category of Algebraic nets is defined and the semantics given through an unfolding construction. Other kinds of Highlevel net formalisms are then presented
Practical Use of Highlevel Petri Nets
, 2000
"... Computer simulation of biochemical processes is a means to augment the knowledge about the control mechanisms of such processes in particular organisms. This knowledge can be helpful for the goal oriented design of drugs. Normally, continuous models (differential equations) are chosen for modelling ..."
Abstract
 Add to MetaCart
examples of enzymatic reaction chains (metabolic pathways). The paper discusses the steps that lead from gaining necessary knowledge about the involved enzymes and substances, to establishing and tuning highlevel net models, to performing a series of simulations, and finally to analysing the results. We
Results 1  10
of
411,947