Generative Families of Positive Invariants in Coloured Nets Sub-Classes.
J. Couvreur, S. Haddad, and J. Peyre. Applications and Theory of Petri Nets, volume 674 of Lecture Notes in Computer Science, page 51-70. Springer, (1991)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/apn/CouvreurHP91
%A Couvreur, Jean-Michel
%A Haddad, Serge
%A Peyre, J. F.
%B Applications and Theory of Petri Nets
%D 1991
%E Rozenberg, Grzegorz
%I Springer
%K invariant
%P 51-70
%T Generative Families of Positive Invariants in Coloured Nets Sub-Classes.
%U http://dblp.uni-trier.de/db/conf/apn/apn91.html#CouvreurHP91
%V 674
%@ 3-540-56689-9
@inproceedings{conf/apn/CouvreurHP91,
added-at = {2014-02-11T23:24:23.000+0100},
author = {Couvreur, Jean-Michel and Haddad, Serge and Peyre, J. F.},
biburl = {https://www.bibsonomy.org/bibtex/25c8e563f94664912e525ce77ce35b9f2/eperzhand},
booktitle = {Applications and Theory of Petri Nets},
crossref = {conf/apn/1991},
description = {dblp},
editor = {Rozenberg, Grzegorz},
ee = {http://dx.doi.org/10.1007/3-540-56689-9_39},
interhash = {b6f9a1dd6d69d9172fad7a7221967595},
intrahash = {5c8e563f94664912e525ce77ce35b9f2},
isbn = {3-540-56689-9},
keywords = {invariant},
pages = {51-70},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2014-02-11T23:24:23.000+0100},
title = {Generative Families of Positive Invariants in Coloured Nets Sub-Classes.},
url = {http://dblp.uni-trier.de/db/conf/apn/apn91.html#CouvreurHP91},
volume = 674,
year = 1991
}