Causal Behaviours and Nets

Joost P. Katoen; G. De Michelis; M. Diaz

doi:10.1007/3-540-60029-9_44

Causal Behaviours and Nets

Joost P. Katoen
, G. De Michelis (Editor)
, M. Diaz (Editor)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

5 Citations (Scopus)

170 Downloads (Pure)

Original language	English
Title of host publication	Application and Theory of Petri Nets 1995
Subtitle of host publication	16th International Conference Turin, Italy, June 26–30, 1995. Proceedings
Editors	Giorgio De Michelis, Michel Diaz
Place of Publication	Berlin, Heidelberg
Publisher	Springer
Pages	258-278
Number of pages	21
ISBN (Electronic)	978-3-540-49408-9
ISBN (Print)	978-3-540-60029-9
DOIs	https://doi.org/10.1007/3-540-60029-9_44
Publication status	Published - 1995
Event	16th International Conference on Application and Theory of Petri Nets, ICATPN 1995 - Turin, Italy Duration: 26 Jun 1995 → 30 Jun 1995 Conference number: 16

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	935
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Workshop

Workshop	16th International Conference on Application and Theory of Petri Nets, ICATPN 1995
Abbreviated title	ICATPN
Country/Territory	Italy
City	Turin
Period	26/06/95 → 30/06/95

Keywords

FMT-NIM: NON-INTERLEAVING MODELS

Access to Document

10.1007/3-540-60029-9_44

Katoen1995causalFinal published version, 324 KB

5 Citations
1 Report

Causal behaviours and nets
Katoen, J.-P., 1994, Enschede: University of Twente. 28 p. (Memoranda Informatica; no. 94-70)(Memorandum TIOS; no. 94-23)
Research output: Book/Report › Report › Professional

Cite this

@inproceedings{5f76172ccc3d45389b16ae56cef7a8cc,

title = "Causal Behaviours and Nets",

keywords = "FMT-NIM: NON-INTERLEAVING MODELS",

author = "Katoen, \{Joost P.\} and \{De Michelis\}, G. and M. Diaz",

year = "1995",

doi = "10.1007/3-540-60029-9\_44",

language = "English",

isbn = "978-3-540-60029-9",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "258--278",

editor = "\{De Michelis\}, Giorgio and Michel Diaz",

booktitle = "Application and Theory of Petri Nets 1995",

address = "Germany",

note = "16th International Conference on Application and Theory of Petri Nets, ICATPN 1995, ICATPN ; Conference date: 26-06-1995 Through 30-06-1995",

}

Katoen, JP, De Michelis, G (ed.) & Diaz, M (ed.) 1995, Causal Behaviours and Nets. in G De Michelis & M Diaz (eds), Application and Theory of Petri Nets 1995: 16th International Conference Turin, Italy, June 26–30, 1995. Proceedings. Lecture Notes in Computer Science, vol. 935, Springer, Berlin, Heidelberg, pp. 258-278, 16th International Conference on Application and Theory of Petri Nets, ICATPN 1995, Turin, Italy, 26/06/95. https://doi.org/10.1007/3-540-60029-9_44

Causal Behaviours and Nets. / Katoen, Joost P.; De Michelis, G. (Editor); Diaz, M. (Editor).
Application and Theory of Petri Nets 1995: 16th International Conference Turin, Italy, June 26–30, 1995. Proceedings. ed. / Giorgio De Michelis; Michel Diaz. Berlin, Heidelberg: Springer, 1995. p. 258-278 (Lecture Notes in Computer Science; Vol. 935).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Causal Behaviours and Nets

AU - Katoen, Joost P.

A2 - De Michelis, G.

A2 - Diaz, M.

A2 - De Michelis, Giorgio

A2 - Diaz, Michel

N1 - Conference code: 16

PY - 1995

Y1 - 1995

KW - FMT-NIM: NON-INTERLEAVING MODELS

U2 - 10.1007/3-540-60029-9_44

DO - 10.1007/3-540-60029-9_44

M3 - Conference contribution

SN - 978-3-540-60029-9

T3 - Lecture Notes in Computer Science

SP - 258

EP - 278

BT - Application and Theory of Petri Nets 1995

PB - Springer

CY - Berlin, Heidelberg

T2 - 16th International Conference on Application and Theory of Petri Nets, ICATPN 1995

Y2 - 26 June 1995 through 30 June 1995

ER -

Causal Behaviours and Nets

Publication series

Workshop

Keywords

Access to Document

Research output

Causal behaviours and nets

Cite this