Building specifications in an arbitrary institution
Proc. of the international symposium on Semantics of data types
Petri nets: basic notions, structure, behaviour
Current trends in concurrency. Overviews and tutorials
Petr nets, algebras, morphisms, and compositionality
Information and Computation
OBJSA nets: a class of high-level nets having objects as domains
Advances in Petri Nets 1988
Abstract and concrete categories
Abstract and concrete categories
Empty carriers: the categorical burden on logic
Categorical methods in computer science with aspects from topology
Information and Computation
Petri nets and algebraic specifications
Theoretical Computer Science
A survey of behaviour and equivalence preserving refinements of Petri nets
APN 90 Proceedings on Advances in Petri nets 1990
Software process model analysis based on FUNSOFT nets
Systems Analysis Modelling Simulation
High-level Petri nets: theory and application
High-level Petri nets: theory and application
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Conditional rewriting logic as a unified model of concurrency
Selected papers of the Second Workshop on Concurrency and compositionality
Petri nets and automata with concurrency relations—an adjunction
Semantics of programming languages and model theory
Petri nets for modeling of dynamic systems—a survey
Automatica (Journal of IFAC)
Algebraic high level nets: Petri nets revisited
Selected papers from 9th workshop on Specification of abstract data types : recent trends in data type specification: recent trends in data type specification
Functorial theory of parameterized specifications in a general specification framework
Theoretical Computer Science
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
Process Management in Practice Applying the FUNSOFT NetApproach to Large-Scale Processes
Automated Software Engineering
Incremental Development of Safety Properties in Petri Net Transformations
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
A Uniform Approach to Petri Nets
Foundations of Computer Science: Potential - Theory - Cognition, to Wilfried Brauer on the occasion of his sixtieth birthday
Selected papers from the 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop on Recent Trends in Data Type Specification
Theory of Algebraic Module Specification including Behavioral Semantics and Constraints
AMAST '91 Proceedings of the Second International Conference on Methodology and Software Technology: Algebraic Methodology and Software Technology
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
From Graph Grammars to High Level Replacement Systems
Proceedings of the 4th International Workshop on Graph-Grammars and Their Application to Computer Science
Reasoning about Algebraic Generalisation of Petri Nets
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
The box calculus: a new causal algebra with multi-label communication
Advances in Petri Nets 1992, The DEMON Project
A survey of basic net models and modular net classes
Advances in Petri Nets 1992, The DEMON Project
Petri Nets over Partial Algebra
Unifying Petri Nets, Advances in Petri Nets
Generalized Automata and Their Net Representations
Unifying Petri Nets, Advances in Petri Nets
Continuous Petri Nets and Transition Systems
Unifying Petri Nets, Advances in Petri Nets
Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs
Unifying Petri Nets, Advances in Petri Nets
Parallel systems specitications with coloured Petri nets and algebraic specifications
Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets
Proceedings of the Carnegie Mellon Workshop on Logic of Programs
Dualities Between Nets and Automata Induced by Schizophrenic Objects
CTCS '95 Proceedings of the 6th International Conference on Category Theory and Computer Science
Abstract and behaviour module specifications
Mathematical Structures in Computer Science
An axiomatization of the category of Petri net computations
Mathematical Structures in Computer Science
Flexible Integration Of Petri Net Based Process Description With User-Specific Data Descriptions
Journal of Integrated Design & Process Science
Petri Nets over Partial Algebra
Unifying Petri Nets, Advances in Petri Nets
Implementation of Parameterized Net Classes with the Petri Net Kernel of the »Petri Net Baukasten«
Unifying Petri Nets, Advances in Petri Nets
Modeling and verification of a class of real-time systems by the use of high level petri nets
Journal of Systems and Software
Semantics of petri nets: a comparison
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'06)
Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'06)
Hi-index | 0.00 |
The concept of parameterized net classes is introduced in order to allow a uniform approach to different kinds of Petri net classes. By different actualizations of the net structure parameter and the data type formalism parameter we obtain several well-known net classes, like elementary nets, place-transition nets, colored nets, predicate transition nets, and algebraic high-level nets, as well as several interesting new classes of low- and high-level nets. First the concept of parameterized net classes is defined on a purely set theoretical level, subsequently we give the concepts taking into account also morphisms and universal properties in the sense of category theory. We explain the underlying notions in an intuitive way. Moreover we give extracts from two of our case studies, where the application of these notions are illustrated in specific net classes, i.e. in instantiations of the parameterized net class.The formal foundation of parameterized net classes this the uniform theory of abstract Petri nets. Low-level abstract Petri nets are a special case of high-level abstract Petri nets, but for better understanding they are presented separately. The theory of abstract Petri nets yields sufficient concepts and results for a specification technique of parameterized net classes. Operational behavior of nets is so presented in a uniform way. Different notions of horizontal structuring, rule-based refinement and their compatibility become available. The horizontal structuring techniques comprise union and fusion of nets. Last but not least we present some examples from our case studies using the notions and results introduced in this paper.