On the Structure of High-level Nets (1995)

Cached

Download Links

by Johan Lilius , Johan Lilius
Venue:Helsinki University of Technology
Citations:10 - 0 self

Documents Related by Co-Citation

66 Algebraic high-level net transformation systems – J Padberg, H Ehrig, L Ribeiro - 1995
736 Colored Petri Nets: Basic Concepts, Analysis Methods and Practical Use – K Jensen - 1997
36 Abstract Petri Nets as a Uniform Approach to High-Level Petri Nets – J. Padberg - 1998
161 Petri nets are monoids – J Meseguer, U Montanari - 1990
226 Abstract and Concrete Categories – J Ad├ímek, H Herrlich, G Strecker - 1990
15 Rule-Based Refinement of High-Level Nets Preserving Safety Properties – J. Padberg, M. Gajewsky, C. Ermel - 1998
12 Anforderungsanalyse eines medizinischen Informationssystems mit Algebraischen High-Level-Netzen – C Ermel - 1996
8 Algebraische High-Level Netze – U Hummert - 1989
27 From Graph Grammars to High Level Replacement Systems – H Ehrig, A Habel, H J Kreowski, F Parisi-Presicce - 1990
14 L.: Algebraic high-level nets: Petri nets revisited – H Ehrig, J Padberg, Ribeiro - 1993
5 Software Cooperation, 125 Cambridge Park Drive – Meta - 1991
7 Symbolische Analysemethoden fur algebraische Petri-Netze, volume 4. Bertz Verlag, versal edition – K Schmidt - 1996
17 Parallel System Specification with Coloured Petri Nets – J Vautherin
55 Petri Nets and Algebraic Specification – W Reisig - 1991
12 Parallel specification with coloured Petri nets and algebraic data types – J Vautherin - 1986
1497 The Temporal Logic of Reactive and Concurrent Systems – Z Manna, A Pnueli - 1992
8 Behaviour and Realization Construction for Petri Nets based on Free Monoid and Power Set Graphs – H Ehrig, J Padberg, G Rozenberg - 1994
10 Categorical Approach to Horizontal Structuring and Refinement of High-Level Replacement Systems – Julia Padberg - 1998
20 High-Level Replacement Systems with Applications to Algebraic Specifications and Petri Nets, Volume 3 – H Ehrig, M Gajewsky, F Parisi-Presicce - 1999