Building specifications in an arbitrary institution
Proc. of the international symposium on Semantics of data types
Bits and pieces of the theory of institutions
Proceedings of a tutorial and workshop on Category theory and computer programming
Extended ML: an institution-independent framework for formal program development
Proceedings of a tutorial and workshop on Category theory and computer programming
On observational equivalence and algebraic specification
Journal of Computer and System Sciences
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
High-level Petri nets: theory and application
High-level Petri nets: theory and application
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
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
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Rule-based refinement of high-level nets preserving safety properties
Science of Computer Programming - Specical issue on fundamental approaches to software engineering
Universal Theory of Automata
Process Management in Practice Applying the FUNSOFT NetApproach to Large-Scale Processes
Automated Software Engineering
Proceedings of the 17th International Conference on Application and Theory of Petri Nets
Proceedings of the 17th International Conference on Application and Theory of Petri Nets
Proceedings of the 18th International Conference on Application and Theory of Petri Nets
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
A Uniform Approach to Petri Nets
Foundations of Computer Science: Potential - Theory - Cognition, to Wilfried Brauer on the occasion of his sixtieth birthday
A Soft Stairway to Institutions
Selected papers from the 8th Workshop on Specification of Abstract Data Types Joint with the 3rd COMPASS Workshop on Recent Trends in Data Type Specification
From Graph Grammars to High Level Replacement Systems
Proceedings of the 4th International Workshop on Graph-Grammars and Their Application to Computer Science
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Proceedings of the Carnegie Mellon Workshop on Logic of Programs
Unifying Petri Nets, Advances in Petri Nets
The »Petri Net Baukasten«: An Overview
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
Hi-index | 0.00 |
In the area of Petri nets, many different developments have taken place within the last 30 years, in academia as well as in practice. For an adequate use in practice, a coherent and application oriented combination of various types and techniques for Petri nets is necessary. In order to attain a formal basis for different classes of Petri nets we introduce the concept of abstract Petri nets. The essential point of abstract Petri nets is to allow different kinds of net structures as well as the combination of various kinds of data types. This means that in abstract Petri nets the data type and the net structure part can be considered as abstract parameters which can be instantiated to different concrete net classes. We show that several net classes, like place/transition nets, elementary nets, S-graphs, algebraic high-level nets, and predicate/transitions nets are instantiations of abstract Petri nets. Moreover, we discuss coloured Petri nets in this context.