Æȷοì
Wolfgang Reisig
Wolfgang Reisig
informatik.hu-berlin.deÀÇ À̸ÞÀÏ È®ÀεÊ
Á¦¸ñ
Àοë
Àοë
¿¬µµ
Petri nets: an introduction
W Reisig
Springer Science & Business Media, 2012
5962*2012
Lectures on petri nets i: basic models: advances in petri nets
W Reisig, G Rozenberg
Springer Science & Business Media, 1998
768*1998
Understanding petri nets
W Reisig
Springer-Verlag Berlin An, 2016
6842016
A primer in Petri net design
W Reisig
Springer Science & Business Media, 2012
4872012
Petri nets and algebraic specifications
W Reisig
Theoretical Computer Science 80 (1), 1-34, 1991
4681991
Elements of distributed algorithms: modeling and analysis with Petri nets
W Reisig
Springer Science & Business Media, 2013
4452013
The non-sequential behaviour of Petri nets
U Goltz, W Reisig
Information and control 57 (2-3), 125-147, 1983
4391983
Place/transition Petri nets
J Desel, W Reisig
Advanced Course on Petri Nets, 122-173, 1996
4041996
Petri net
CA Petri, W Reisig
Scholarpedia 3 (4), 6477, 2008
3262008
Petri nets: central models and their properties: advances in petri nets 1986, part I proceedings of an advanced course bad honnef, 8.–19. September 1986
W Brauer, W Reisig, G Rozenberg
Springer, 2006
2462006
An operating guideline approach to the SOA
P Massuthe, W Reisig, K Schmidt
Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät ¡¦, 2005
2382005
Modeling in systems biology: the Petri net approach
I Koch, W Reisig, F Schreiber
Springer science & business media, 2010
2042010
The synthesis problem of Petri nets
J Desel, W Reisig
Acta informatica 33, 297-315, 1996
2021996
Systementwurf mit Netzen
W Reisig
Springer-Verlag, 2013
1652013
Lectures on Petri Nets I: Basic Models, volume 1491 of
W Reisig, G Rozenberg
Lecture Notes in Computer Science, 7-17, 1998
1521998
Inter-operability of workflow applications: Local criteria for global soundness
E Kindler, A Martens, W Reisig
Business Process Management: Models, Techniques, and Empirical Studies, 235-253, 2000
1342000
Petri nets in software engineering
W Reisig
Petri Nets: Applications and Relationships to Other Models of Concurrency ¡¦, 1987
1251987
Petri nets with individual tokens
W Reisig
Theoretical Computer Science 41, 185-213, 1985
1251985
Place/transition systems
W Reisig
Petri Nets: Central Models and Their Properties: Advances in Petri Nets 1986 ¡¦, 1987
1221987
ASM-based Semantics for BPEL: The Negative Control Flow.
D Fahland, W Reisig
Abstract State Machines, 131-152, 2005
1202005
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–20