-
2
-
-
84857601685
-
Formal relationship between Petri nets and graph grammars as basis for animation views in GenGED
-
Society for Design and Process Science, June
-
Roswitha Bardohl, Claudia Ermel, and Julia Padberg. Formal relationship between Petri nets and graph grammars as basis for animation views in GenGED. In Integrated Design and Process Technology IDPT 2002, Society for Design and Process Science, June 2002.
-
(2002)
Integrated Design and Process Technology IDPT 2002
-
-
Bardohl, R.1
Ermel, C.2
Padberg, J.3
-
3
-
-
35248854880
-
The Petri Net Markup Language: Concepts, technology, and tools
-
th International Conference, Springer, June 2003
-
th International Conference, LNCS 2679, pages 483-505. Springer, June 2003.
-
LNCS
, vol.2679
, pp. 483-505
-
-
Billington, J.1
Christensen, S.2
Van Hee, K.3
Kindler, E.4
Kummer, O.5
Petrucci, L.6
Post, R.7
Stehno, C.8
Weber, M.9
-
4
-
-
35048854363
-
-
Design/CPN. http://www.daimi.au.dk/designCPN/. 2004/03/12.
-
Design/CPN. http://www.daimi.au.dk/designCPN/. 2004/03/12.
-
-
-
-
8
-
-
0004483015
-
Algebraic system nets for modelling distributed algorithms
-
December
-
Ekkart Kindler and Wolfgang Reisig. Algebraic system nets for modelling distributed algorithms. Petri Net Newsletter, 51:16-31, December 1996.
-
(1996)
Petri Net Newsletter
, vol.51
, pp. 16-31
-
-
Kindler, E.1
Reisig, W.2
-
9
-
-
0034926428
-
Algebraic nets with flexible arcs
-
July
-
Ekkart Kindler and Hagen Völzer. Algebraic nets with flexible arcs. Theoretical Computer Science, 262:285-310, July 2001.
-
(2001)
Theoretical Computer Science
, vol.262
, pp. 285-310
-
-
Kindler, E.1
Völzer, H.2
-
10
-
-
84879111552
-
Modelling of features and feature interactions in Nokia mobile phones using coloured Petri nets
-
rd International Conference, Springer, June 2002
-
rd International Conference, LNCS 2360, pages 294-313. Springer, June 2002.
-
LNCS
, vol.2360
, pp. 294-313
-
-
Lorentsen, L.1
Tuovinen, A.-P.2
Xu, J.3
-
11
-
-
35048856256
-
-
The PEP Tool, http://parsys.infonnatik.uni-oldenburg.de/~pep. 2004/03/12.
-
The PEP Tool, http://parsys.infonnatik.uni-oldenburg.de/~pep. 2004/03/12.
-
-
-
-
12
-
-
35048839475
-
-
PNVis homepage. http://www.upb.de/cs/kindler/research/PNVis. 2004/03/12.
-
PNVis homepage. http://www.upb.de/cs/kindler/research/PNVis. 2004/03/12.
-
-
-
-
14
-
-
35048871796
-
ExSpect 6.4x product infromation
-
K. H. Mortensen, editor, June
-
Eric Verbeek. ExSpect 6.4x product infromation. In K. H. Mortensen, editor, Petri Nets 2000: Tool Demonstrations, pages 39-41, June 2000.
-
(2000)
Petri Nets 2000: Tool Demonstrations
, pp. 39-41
-
-
Verbeek, E.1
-
15
-
-
0348155845
-
The Petri Net Kernel
-
H. Ehrig, W. Reisig, G. Rozenberg, and H. Weber, editors, Petri Net Technologies for Modeling Communication Based Systems, Springer
-
Michael Weber and Ekkart Kindler. The Petri Net Kernel. In H. Ehrig, W. Reisig, G. Rozenberg, and H. Weber, editors, Petri Net Technologies for Modeling Communication Based Systems, LNCS 2472, pages 109-123. Springer, 2003.
-
(2003)
LNCS
, vol.2472
, pp. 109-123
-
-
Weber, M.1
Kindler, E.2
|