Analysing nets by the invariant method

G. Memmi; J. Vautherin

doi:10.1007/978-3-540-47919-2_11

Analysing nets by the invariant method

G. Memmi, J. Vautherin

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

Abstract

Methods for analysing P/T-systems can be roughly divided into several categories: study of the reachability set, transformation by homomorphism, and invariants. Each of these methods have advantages and disadvantages.

Original language	English
Title of host publication	Petri Nets
Subtitle of host publication	Central Models and Their Properties - Advances in Petri Nets 1986, Proceedings of an Advanced Course
Editors	W. Reisig, W. Brauer, G. Rozenberg
Publisher	Springer Verlag
Pages	300-336
Number of pages	37
ISBN (Print)	9783540179054
DOIs	https://doi.org/10.1007/978-3-540-47919-2_11
Publication status	Published - 1 Jan 1987
Externally published	Yes
Event	Advanced Course on Petri Nets, ACPN 1986 - Bad Honnef, Germany Duration: 8 Sept 1986 → 19 Sept 1986

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	254 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	Advanced Course on Petri Nets, ACPN 1986
Country/Territory	Germany
City	Bad Honnef
Period	8/09/86 → 19/09/86

Access to Document

10.1007/978-3-540-47919-2_11

Cite this

Memmi, G., & Vautherin, J. (1987). Analysing nets by the invariant method. In W. Reisig, W. Brauer, & G. Rozenberg (Eds.), Petri Nets: Central Models and Their Properties - Advances in Petri Nets 1986, Proceedings of an Advanced Course (pp. 300-336). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 254 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-540-47919-2_11

Memmi, G. ; Vautherin, J. / Analysing nets by the invariant method. Petri Nets: Central Models and Their Properties - Advances in Petri Nets 1986, Proceedings of an Advanced Course. editor / W. Reisig ; W. Brauer ; G. Rozenberg. Springer Verlag, 1987. pp. 300-336 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{e9f7e46889294a92a1079cf7d9ec5d8a,

title = "Analysing nets by the invariant method",

abstract = "Methods for analysing P/T-systems can be roughly divided into several categories: study of the reachability set, transformation by homomorphism, and invariants. Each of these methods have advantages and disadvantages.",

author = "G. Memmi and J. Vautherin",

note = "Publisher Copyright: {\textcopyright} 1987, Springer-Verlag Berlin Heidelberg.; Advanced Course on Petri Nets, ACPN 1986 ; Conference date: 08-09-1986 Through 19-09-1986",

year = "1987",

month = jan,

day = "1",

doi = "10.1007/978-3-540-47919-2\_11",

language = "English",

isbn = "9783540179054",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "300--336",

editor = "W. Reisig and W. Brauer and G. Rozenberg",

booktitle = "Petri Nets",

}

Memmi, G & Vautherin, J 1987, Analysing nets by the invariant method. in W Reisig, W Brauer & G Rozenberg (eds), Petri Nets: Central Models and Their Properties - Advances in Petri Nets 1986, Proceedings of an Advanced Course. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 254 LNCS, Springer Verlag, pp. 300-336, Advanced Course on Petri Nets, ACPN 1986, Bad Honnef, Germany, 8/09/86. https://doi.org/10.1007/978-3-540-47919-2_11

Analysing nets by the invariant method. / Memmi, G.; Vautherin, J.
Petri Nets: Central Models and Their Properties - Advances in Petri Nets 1986, Proceedings of an Advanced Course. ed. / W. Reisig; W. Brauer; G. Rozenberg. Springer Verlag, 1987. p. 300-336 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 254 LNCS).

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

TY - GEN

T1 - Analysing nets by the invariant method

AU - Memmi, G.

AU - Vautherin, J.

PY - 1987/1/1

Y1 - 1987/1/1

N2 - Methods for analysing P/T-systems can be roughly divided into several categories: study of the reachability set, transformation by homomorphism, and invariants. Each of these methods have advantages and disadvantages.

AB - Methods for analysing P/T-systems can be roughly divided into several categories: study of the reachability set, transformation by homomorphism, and invariants. Each of these methods have advantages and disadvantages.

U2 - 10.1007/978-3-540-47919-2_11

DO - 10.1007/978-3-540-47919-2_11

M3 - Conference contribution

AN - SCOPUS:0002643837

SN - 9783540179054

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 300

EP - 336

BT - Petri Nets

A2 - Reisig, W.

A2 - Brauer, W.

A2 - Rozenberg, G.

PB - Springer Verlag

T2 - Advanced Course on Petri Nets, ACPN 1986

Y2 - 8 September 1986 through 19 September 1986

ER -

Memmi G, Vautherin J. Analysing nets by the invariant method. In Reisig W, Brauer W, Rozenberg G, editors, Petri Nets: Central Models and Their Properties - Advances in Petri Nets 1986, Proceedings of an Advanced Course. Springer Verlag. 1987. p. 300-336. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-47919-2_11

Analysing nets by the invariant method

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this