Petri Nets, Configuration Structures, Propositional Theories and History Preserving Process Graphs abstract)

R.J.  van Glabbeek

doi:10.4230/DagSemRep.144

Petri Nets, Configuration Structures, Propositional Theories and History Preserving Process Graphs abstract)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Semantics of Concurrent Systems---Foundations and Applications
Editors	M. Droste, E.-R. Olderog, B. Steffen, G. Winskel
Place of Publication	Postfach 15 11 50, D-66041 Saarbrücken, Germany
Publisher	Schloss Dagstuhl International Conference and Research Center for Computer Science
Pages	14-15
Number of pages	2
Volume	144
DOIs	https://doi.org/10.4230/DagSemRep.144
Publication status	Published - 3 Jul 1996
Event	Dagstuhl Seminar 9619 - Duration: 1 May 1996 → 1 May 1996

Publication series

Name	Dagstuhl-Seminar-Report
Publisher	Internationales Begegnungs- und Forschungszentrum für Informatik Schloss Dagstuhl
Volume	144
ISSN (Print)	1619-0203

Seminar

Seminar	Dagstuhl Seminar 9619
Period	1/05/96 → 1/05/96

Access to Document

10.4230/DagSemRep.144Licence: Creative Commons: Attribution-NonCommercial-NoDerivatives (CC BY-NC-ND)

https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=15031Licence: Creative Commons: Attribution-NonCommercial-NoDerivatives (CC BY-NC-ND)

Cite this

van Glabbeek, R. J. (1996). Petri Nets, Configuration Structures, Propositional Theories and History Preserving Process Graphs abstract). In M. Droste, E.-R. Olderog, B. Steffen, & G. Winskel (Eds.), Semantics of Concurrent Systems---Foundations and Applications (Vol. 144, pp. 14-15). (Dagstuhl-Seminar-Report; Vol. 144). Schloss Dagstuhl International Conference and Research Center for Computer Science. https://doi.org/10.4230/DagSemRep.144

van Glabbeek, R.J. . / Petri Nets, Configuration Structures, Propositional Theories and History Preserving Process Graphs abstract). Semantics of Concurrent Systems---Foundations and Applications. editor / M. Droste ; E.-R. Olderog ; B. Steffen ; G. Winskel. Vol. 144 Postfach 15 11 50, D-66041 Saarbrücken, Germany : Schloss Dagstuhl International Conference and Research Center for Computer Science, 1996. pp. 14-15 (Dagstuhl-Seminar-Report).

@inproceedings{e34a2f08418b45a497a776e122b085dc,

title = "Petri Nets, Configuration Structures, Propositional Theories and History Preserving Process Graphs abstract)",

author = "{van Glabbeek}, R.J.",

year = "1996",

month = jul,

day = "3",

doi = "10.4230/DagSemRep.144",

language = "English",

volume = "144",

series = "Dagstuhl-Seminar-Report",

publisher = "Schloss Dagstuhl International Conference and Research Center for Computer Science",

pages = "14--15",

editor = "M. Droste and E.-R. Olderog and B. Steffen and G. Winskel",

booktitle = "Semantics of Concurrent Systems---Foundations and Applications",

note = "Dagstuhl Seminar 9619 ; Conference date: 01-05-1996 Through 01-05-1996",

}

van Glabbeek, RJ 1996, Petri Nets, Configuration Structures, Propositional Theories and History Preserving Process Graphs abstract). in M Droste, E-R Olderog, B Steffen & G Winskel (eds), Semantics of Concurrent Systems---Foundations and Applications. vol. 144, Dagstuhl-Seminar-Report, vol. 144, Schloss Dagstuhl International Conference and Research Center for Computer Science, Postfach 15 11 50, D-66041 Saarbrücken, Germany, pp. 14-15, Dagstuhl Seminar 9619, 1/05/96. https://doi.org/10.4230/DagSemRep.144

Petri Nets, Configuration Structures, Propositional Theories and History Preserving Process Graphs abstract). / van Glabbeek, R.J. .
Semantics of Concurrent Systems---Foundations and Applications. ed. / M. Droste; E.-R. Olderog; B. Steffen; G. Winskel. Vol. 144 Postfach 15 11 50, D-66041 Saarbrücken, Germany: Schloss Dagstuhl International Conference and Research Center for Computer Science, 1996. p. 14-15 (Dagstuhl-Seminar-Report; Vol. 144).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Petri Nets, Configuration Structures, Propositional Theories and History Preserving Process Graphs abstract)

AU - van Glabbeek, R.J.

PY - 1996/7/3

Y1 - 1996/7/3

U2 - 10.4230/DagSemRep.144

DO - 10.4230/DagSemRep.144

M3 - Conference contribution

VL - 144

T3 - Dagstuhl-Seminar-Report

SP - 14

EP - 15

BT - Semantics of Concurrent Systems---Foundations and Applications

A2 - Droste, M.

A2 - Olderog, E.-R.

A2 - Steffen, B.

A2 - Winskel, G.

PB - Schloss Dagstuhl International Conference and Research Center for Computer Science

CY - Postfach 15 11 50, D-66041 Saarbrücken, Germany

T2 - Dagstuhl Seminar 9619

Y2 - 1 May 1996 through 1 May 1996

ER -

van Glabbeek RJ. Petri Nets, Configuration Structures, Propositional Theories and History Preserving Process Graphs abstract). In Droste M, Olderog ER, Steffen B, Winskel G, editors, Semantics of Concurrent Systems---Foundations and Applications. Vol. 144. Postfach 15 11 50, D-66041 Saarbrücken, Germany: Schloss Dagstuhl International Conference and Research Center for Computer Science. 1996. p. 14-15. (Dagstuhl-Seminar-Report). doi: 10.4230/DagSemRep.144