%0 Conference Paper %1 conf/apn/CouvreurP94 %A Couvreur, Jean-Michel %A Paviot-Adet, Emmanuel %B Application and Theory of Petri Nets %D 1994 %E Valette, Robert %I Springer %K invariant %P 199-218 %T New Structural Invariants for Petri Nets Analysis. %U http://dblp.uni-trier.de/db/conf/apn/apn1994.html#CouvreurP94 %V 815 %@ 3-540-58152-9

@inproceedings{conf/apn/CouvreurP94, added-at = {2014-02-11T23:24:12.000+0100}, author = {Couvreur, Jean-Michel and Paviot-Adet, Emmanuel}, biburl = {https://www.bibsonomy.org/bibtex/2f5a0f4713d75d3f79efad6057501bee9/eperzhand}, booktitle = {Application and Theory of Petri Nets}, crossref = {conf/apn/1994}, description = {dblp}, editor = {Valette, Robert}, ee = {http://dx.doi.org/10.1007/3-540-58152-9_12}, interhash = {6443f030ab279cda6dfe1a1399c722c9}, intrahash = {f5a0f4713d75d3f79efad6057501bee9}, isbn = {3-540-58152-9}, keywords = {invariant}, pages = {199-218}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2014-02-11T23:24:12.000+0100}, title = {New Structural Invariants for Petri Nets Analysis.}, url = {http://dblp.uni-trier.de/db/conf/apn/apn1994.html#CouvreurP94}, volume = 815, year = 1994 }