Information and Computation
Petri nets and algebraic specifications
Theoretical Computer Science
Software process model analysis based on FUNSOFT nets
Systems Analysis Modelling Simulation
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Income/star: the Petri net simulation concepts
Systems Analysis Modelling Simulation
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
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
Business Process Management, Models, Techniques, and Empirical Studies
Business Process Management, Models, Techniques, and Empirical Studies
Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
A systematic study of mappings between institutions
WADT '97 Selected papers from the 12th International Workshop on Recent Trends in Algebraic Development Techniques
From abstract data types to algebraic development techniques: A shift of paradigms
WADT '97 Selected papers from the 12th International Workshop on Recent Trends in Algebraic Development Techniques
Abstract Petri Nets as a Uniform Approach to High/Level Petri Nets
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
A Uniform Approach to Petri Nets
Foundations of Computer Science: Potential - Theory - Cognition, to Wilfried Brauer on the occasion of his sixtieth birthday
Improving the Usability of Petri Nets with the »Petri Net Baukasten«
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
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
Semantics, composition and net properties of algebraic high-level nets
Papers from the 11th International Conference on Applications and Theory of Petri Net: Advances in Petri Nets 1991
Improving the Usability of Petri Nets with the »Petri Net Baukasten«
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
| Hi-index | 0.00 |
This paper presents an overview of the 驴Petri Net Baukasten 驴 developed by the "DFG-Forschergruppe Petrinetz-Technologie" in Berlin. The 驴Petri Net Baukasten驴 provides a unified presentation with different views on theory, application, and tools of Petri nets: The Expert View, the Application Developer View, and the Tool Developer View. All of these views are related to a Common Base, which comprises Petri net notions in a semiformal description. The relations establish so-called Petri net techniques given by a combination of Petri net types, corresponding methodological procedures, formalizations, and tools from the different views. The 驴Petri Net Baukasten驴 represents the Petri net techniques in a structured and application-oriented way, which yields an application oriented Petri net technology. It bridges the gap between theory, practice and tools for Petri nets. In this paper the basic concepts are summarized.