|
66
|
Algebraic high-level net transformation systems
– J Padberg, H Ehrig, L Ribeiro
- 1995
|
|
676
|
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use Volume 1
– K Jensen
- 1997
|
|
36
|
Abstract Petri Nets as a Uniform Approach to High-Level Petri Nets
– J. Padberg
- 1998
|
|
158
|
nets are monoids
– J Meseguer, Petri U Montanari
- 1990
|
|
208
|
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
|
|
26
|
From graph grammars to high level replacement systems
– H Ehrig, A Habel, H-J Kreowski, F Parisi-Presicce
- 1991
|
|
14
|
L.: Algebraic high-level nets: Petri nets revisited
– H Ehrig, J Padberg, Ribeiro
- 1993
|
|
5
|
Software Cooperation, 125 Cambridge Park Drive
– Meta
- 1991
|
|
53
|
Petri Nets and Algebraic Specifications
– W Reisig
- 1991
|
|
17
|
Parallel System Specification with Coloured Petri Nets
– J Vautherin
|
|
7
|
Symbolische Analysemethoden fur algebraische Petri-Netze, volume 4. Bertz Verlag, versal edition
– K Schmidt
- 1996
|
|
12
|
Parallel specification with coloured Petri nets and algebraic data types
– J Vautherin
- 1986
|
|
1412
|
A.: The Temporal Logic of Reactive and Concurrent Systems: Safety
– Z Manna, Pnueli
- 1995
|
|
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
|
